JP2020004363A - 複数の静的解析アラームを再配置するための方法およびシステム - Google Patents
複数の静的解析アラームを再配置するための方法およびシステム Download PDFInfo
- Publication number
- JP2020004363A JP2020004363A JP2018243236A JP2018243236A JP2020004363A JP 2020004363 A JP2020004363 A JP 2020004363A JP 2018243236 A JP2018243236 A JP 2018243236A JP 2018243236 A JP2018243236 A JP 2018243236A JP 2020004363 A JP2020004363 A JP 2020004363A
- Authority
- JP
- Japan
- Prior art keywords
- static analysis
- alarms
- alarm
- relocation
- relocated
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000004458 analytical method Methods 0.000 title claims abstract description 401
- 230000003068 static effect Effects 0.000 title claims abstract description 374
- 238000000034 method Methods 0.000 title claims description 77
- 230000015654 memory Effects 0.000 claims description 19
- 238000004891 communication Methods 0.000 claims description 13
- 238000005206 flow analysis Methods 0.000 claims description 9
- 230000008707 rearrangement Effects 0.000 claims description 8
- 230000008030 elimination Effects 0.000 claims 2
- 238000003379 elimination reaction Methods 0.000 claims 2
- 230000006870 function Effects 0.000 description 15
- 238000004364 calculation method Methods 0.000 description 12
- 238000010586 diagram Methods 0.000 description 8
- 230000006872 improvement Effects 0.000 description 6
- 238000012805 post-processing Methods 0.000 description 6
- 230000007547 defect Effects 0.000 description 5
- 238000012545 processing Methods 0.000 description 4
- 230000009467 reduction Effects 0.000 description 4
- 230000008569 process Effects 0.000 description 3
- 238000013459 approach Methods 0.000 description 2
- 230000008859 change Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000002474 experimental method Methods 0.000 description 2
- 238000007689 inspection Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- IZRPKIZLIFYYKR-UHFFFAOYSA-N phenyltoloxamine Chemical compound CN(C)CCOC1=CC=CC=C1CC1=CC=CC=C1 IZRPKIZLIFYYKR-UHFFFAOYSA-N 0.000 description 2
- 230000000644 propagated effect Effects 0.000 description 2
- 230000007704 transition Effects 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 230000006978 adaptation Effects 0.000 description 1
- 230000003466 anti-cipated effect Effects 0.000 description 1
- 230000001413 cellular effect Effects 0.000 description 1
- 238000013500 data storage Methods 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 238000011022 operating instruction Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000035945 sensitivity Effects 0.000 description 1
- KDYFGRWQOYBRFD-UHFFFAOYSA-N succinic acid Chemical compound OC(=O)CCC(O)=O KDYFGRWQOYBRFD-UHFFFAOYSA-N 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
- G06F11/3616—Software analysis for verifying properties of programs using software metrics
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
- G06F8/436—Semantic checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/54—Link editing before load time
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/75—Structural analysis for program understanding
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Computational Linguistics (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
本出願は、2018年6月25日に出願されたインド国非仮明細書第201821023655号からの優先権を主張し、その完全な開示は、その全体が参照により本明細書に組み込まれる。
本開示の文脈における表現「アプリケーションコード」または「アプリケーション」または「プログラム」または「プログラムコード」は、入力として与えられるソフトウェアコードを指す。
与えられた集合S⊆Lbに対して、以下を定義することができる:
ケース1: mがnの先行ノードであり、また分岐ノード(branching node)(すなわち、mのステートメントが制御条件である)である場合、entry(n)において予測可能な静的解析アラーム条件cは、exit(m)において予測できない。さらに、このケースは、cがノードnを有するブランチ以外のmから出てくるブランチのうちの1つを通して予測できないときに生じる。このケースでは、antcond cは、entry(n)で吊り上げられる。あるいは、entry(n)で吊り上げられるantcondsが以下の式(9)によって表される;
ケース2:(1)ノードnがcのオペランドの定義を含み、すなわち、cの予測可能性がnによってキルされ(killed)、(2)ノードnがcから推移的に(transitively)にantcondを生成しない場合、exit(n)において予測可能な条件cは、entry(n)において予測可能ではない。
(i) i≧0&&i≦4は、exit(n6)およびexit(n8)において、A17およびA19の両方をそれのrelアラームとして吊り上げられる。
(ii)n≠0は、exit(n26)(それぞれ、entry(n29))において、Z29(それぞれ、Z29)をそれのrelアラームとして吊り上げられる。
(iii) j≧0 && j≦4は、exit(n34)において、A37をそれのrelアラームとして吊り上げられる。さらに、行38でのインクリメント演算および推移により、j≧−1&&j≦3は、また、exit(n34)においてA39をそれのrelアラームとして吊り上げられる。ケース(i)および(ii)の各々において吊り上げられた2つの条件は、ifステートメントの異なるブランチに属し、リファインメントステップ(refinement step)中にマージ(シンキング(sinking))する候補である。ケース(iii)では、同じポイントに再配置された2つの条件がリファインメントステップ中にそれらの共起を通じてマージされる。
さらに、
中間再配置の改良のために利用されるavcondsが識別され、識別されたavcond cごとに、cの再配置条件crがcの再配置位置prに再配置され、再配置された条件crからcの各relアラームにトレーサビリティリンクが作成される。利用されるavcondsは、アプリケーションコードCA内のすべてのノードnを、式(21)および式(22)を使用して処理することによって識別され、式(21)および(式22)はそれぞれ、ノードnの入口および出口の直後にもはや利用できないavcondsを以下に示すように計算する;
さらに、改良された中間再配置された条件を単純化する間、すべてのプログラムポイントは、そのポイントで再配置される条件を単純化するために処理される。単純化は、同じ変数によって関連付けられる再配置された条件の共起で実行される。トレーサビリティリンクモジュール208による単純化の後に生じる条件に対するトレーサビリティリンクは、単純化された条件のトレーサビリティリンクをマージすることによって得られる。プログラムエンドポイント(行40)におけるavcondsを使用し、図示されたアプリケーションコードCAを使用する例を考えると、ステップ1は、exit(n34)において、j≧0&&j≦4およびj≧−1&&j≦3を、A37およびA39へのそれぞれのそれらのリンクで再配置する。単純化ステップの後、これらの2つの条件は、j≧0&&j≦3を、A37およびA39の両方へのそれのトレーサビリティリンクでもたらす。
ステップ2の後に取得された再配置された静的解析条件(静的解析アラーム)は、2つの再配置目標が互いに影響し合うため(特定のシナリオで以下に示されるように)、またはantcondsおよびavcondsの推移的な計算のため、静的解析アラームの数を増加させ得る。以下に示すアプリケーションコードCCの例を考える;
アプリケーションコードCAにおける静的解析アラームに最終的な再配置技術のセットを適用することは、以下の最終的な再配置をもたらす。この例では、後処理ステップ2および3が単純化ステップ1の後に得られる再配置を変更(改善)しない。
(1) i≧0&&i≦4は、A17およびA19へのそれのトレーサビリティリンクでentry(n11)に再配置され、再配置は、exit(n11)に適用されるとき、式22によって識別される。
(2) n≠0は、Z_27およびZ_29へのそれのトレーサビリティリンクでentry(n32)に再配置され、再配置はentry(End)が特別なケースとして処理されるときに識別される。
(3) j≧0&&j≦3は、A37およびA37へのそれのトレーサビリティリンクでexit(n34)に再配置される。
Claims (9)
- 複数の静的解析アラームを再配置するためのプロセッサ実装方法であって、
静的解析モジュールへの入力としてアプリケーションコードを提供するステップと、
静的解析アラームのセットを生成するために、前記アプリケーションコードに対して静的解析を実行するステップであって、前記静的解析アラームのセットは、前記アプリケーションコードにおけるエラーを検出する、ステップと、
前記静的解析アラームのセットの中間再配置を実行するステップであって、前記静的解析アラームのセットにおける各静的解析アラームは、前記静的解析アラームのセットによって検出されたエラーに影響を与えることなく、前記アプリケーションコードにおける最高のプログラムポイントで一時的に上方に再配置される、ステップと、
中間再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算するステップと、
前記中間再配置の改良を実行するステップと、
改良された前記中間再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算するステップと、
前記静的解析アラームのセットの最終的な再配置を得るために、改良された前記中間再配置された静的解析アラームのセットに対して最終的な再配置技術のセットを実行するステップと、
最終的な再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算するステップと、
前記最終的な再配置された静的解析アラームのセットを表示するステップと、
を備える方法。 - 静的解析、データフロー解析、抽象的解釈等などの1つ以上のコード解析技術を使用して、前記静的解析アラームのセットからの関連したオリジナルの静的解析アラームを用いて予測可能なアラーム条件を計算することによって、前記静的解析アラームのセットにおける静的解析アラームの各々は、生成のために一時的に原因ポイントにより近い上方に再配置される、請求項1に記載の方法。
- 前記静的解析アラームのセットにおける前記中間再配置された静的解析アラームと前記静的解析アラームとの間の前記トレーサビリティリンクは、予測可能なアラーム条件と、関連するオリジナルの静的解析アラームとに基づいて計算される、請求項1に記載の方法。
- 前記中間再配置の改良中に、前記中間再配置された静的解析アラームは、静的解析、データフロー解析、抽象的解釈等などの1以上のコード解析技術を使用して、前記中間再配置された静的解析アラームおよび前記静的解析アラームへのトレーサビリティリンクに基づいて、利用可能なアラーム条件を関連するオリジナルの静的解析アラームを用いて計算することに基づいて、前記アプリケーションコードにおける最高のポイントで後でマージされるか、またはマージされない、請求項1に記載の方法。
- 前記静的解析アラームのセットにおける改良された前記中間再配置された静的解析アラームと前記静的解析アラームとの間の前記トレーサビリティリンクは、利用可能なアラーム条件と、関連するオリジナルの静的解析アラームとに基づいて計算される、請求項1に記載の方法。
- 前記最終的な再配置技術のセットは、前記最終的な再配置された静的解析アラームを得るための改良された前記中間再配置された静的解析アラームの単純化、前記最終的な再配置された静的解析アラームからの冗長性の排除、および前記最終的な再配置された静的解析アラームからの前記冗長性の排除後に、静的解析アラームの全体数を増加させる再配置ケースを識別することによるフォールバックの実行を含む、請求項1に記載の方法。
- 前記静的解析アラームのセットにおける前記最終的な再配置された静的解析アラームと前記静的解析アラームとの間のトレーサビリティリンクは、前記静的解析アラームのセットにおける改良された前記中間再配置された静的解析アラームと前記静的解析アラームとの間で計算されたトレーサビリティリンクに基づいて計算される、請求項1に記載の方法。
- 複数の静的解析アラームを再配置するためのシステムであって、
命令および1以上のモジュール(108)を記憶するメモリ(102)と、
1以上の通信または入出力インターフェース(106)と、
前記1以上の通信インターフェース(106)を介して前記メモリ(102)に結合された1以上のハードウェアプロセッサ(104)と、を備え
前記1以上のハードウェアプロセッサ(104)は、前記1以上のモジュール(108)を実行するための前記命令によって構成され、
前記1以上のモジュール(108)は、
入力としてアプリケーションコードを受信し、静的解析アラームのセットを生成するために、受信された前記アプリケーションコードに対して静的解析を実行し、前記静的解析アラームのセットは、前記アプリケーションコードにおけるエラーを検出する、静的解析モジュール(202)と、
前記静的解析アラームのセットの中間再配置を実行する中間再配置モジュールであって、前記静的解析アラームのセットにおける各静的解析アラームは、前記静的解析アラームのセットによって検出されたエラーに影響を与えることなく、前記アプリケーションコードにおける最高のプログラムポイントで一時的に上方に再配置される、中間再配置モジュール(206)と、
中間再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算するトレーサビリティリンクモジュール(208)と、
前記中間再配置の改良を実行する再配置改良モジュール(210)と、
改良された前記中間再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算するトレーサビリティリンクモジュール(208)と、
前記静的解析アラームのセットの最終的な再配置を得るために、改良された前記中間再配置された静的解析アラームのセットに対して最終的な再配置技術のセットを実行する最終的な再配置モジュール(212)と、
最終的な再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算する前記トレーサビリティリンクモジュール(208)と、
前記最終的な再配置された静的解析アラームのセットを表示するための通信または入出力インターフェース(106)と、
を備える、システム。 - コンピュータ可読プログラムが具現化された非一時的コンピュータ可読媒体であって、前記コンピュータ可読プログラムは、1以上のハードウェアプロセッサによって実行されるときに、
静的解析モジュールへの入力としてアプリケーションコードを提供することと、
静的解析アラームのセットを生成するために、前記アプリケーションコードに対して静的解析を行い、前記静的解析アラームのセットは、前記アプリケーションコードにおけるエラーを検出する、ことと、
前記静的解析アラームのセットの中間再配置を実行し、前記静的解析アラームのセットにおける各静的解析アラームは、前記静的解析アラームのセットによって検出されたエラーに影響を与えることなく、前記アプリケーションコードにおける最高のプログラムポイントで一時的に上方に再配置される、ことと、
中間再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算することと、
前記中間再配置の改良を実行することと、
改良された前記中間再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算することと、
前記静的解析アラームのセットの最終的な再配置を得るために、改良された前記中間再配置された静的解析アラームのセットに対して最終的な再配置技術のセットを実行することと、
最終的な再配置された静的解析アラームと、前記静的解析アラームのセットからの対応する静的解析アラームとの間のトレーサビリティリンクを計算することと、
前記最終的な再配置された静的解析アラームのセットを表示することと、
を行わせる、非一時的コンピュータ可読媒体。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN201821023655 | 2018-06-25 | ||
IN201821023655 | 2018-06-25 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2020004363A true JP2020004363A (ja) | 2020-01-09 |
JP6710268B2 JP6710268B2 (ja) | 2020-06-17 |
Family
ID=64572117
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018243236A Active JP6710268B2 (ja) | 2018-06-25 | 2018-12-26 | 複数の静的解析アラームを再配置するための方法およびシステム |
Country Status (3)
Country | Link |
---|---|
US (1) | US10684937B2 (ja) |
EP (1) | EP3588272B1 (ja) |
JP (1) | JP6710268B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112597756B (zh) * | 2020-12-17 | 2022-11-11 | 海光信息技术股份有限公司 | 操作语句报告的生成方法、装置、设备、存储介质 |
WO2023004701A1 (zh) * | 2021-07-29 | 2023-02-02 | 西门子股份公司 | 软件安全缺陷预测方法、装置和计算机可读介质 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2012141741A (ja) * | 2010-12-28 | 2012-07-26 | Fujitsu Ltd | 解析支援プログラム,解析支援装置および解析支援方法 |
JP2014089700A (ja) * | 2012-09-27 | 2014-05-15 | Tata Consultancy Services Ltd | ランタイム実行障害のソースを識別するシステム及び方法 |
JP2015088191A (ja) * | 2013-10-31 | 2015-05-07 | タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited | 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法 |
JP2016071895A (ja) * | 2014-09-29 | 2016-05-09 | タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited | クラスタ化されたコード解析警告のレビューのための方法およびシステム |
JP2018026135A (ja) * | 2016-08-11 | 2018-02-15 | タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited | 静的解析警告の効率的な運用のための原因ポイント解析のためのシステム及び方法 |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9098616B2 (en) * | 2009-12-11 | 2015-08-04 | International Business Machines Corporation | Analyzing computer programs to identify errors |
JP5665128B2 (ja) | 2011-05-30 | 2015-02-04 | 日本電気通信システム株式会社 | 静的解析支援装置、静的解析支援方法、及びプログラム |
ES2755780T3 (es) * | 2011-09-16 | 2020-04-23 | Veracode Inc | Análisis estático y de comportamiento automatizado mediante la utilización de un espacio aislado instrumentado y clasificación de aprendizaje automático para seguridad móvil |
US8756587B2 (en) * | 2011-09-30 | 2014-06-17 | International Business Machines Corporation | Static analysis of computer software applications |
US9459986B2 (en) * | 2013-08-28 | 2016-10-04 | International Business Machines Corporation | Automatic generation of analysis-equivalent application constructs |
US10097574B2 (en) * | 2014-12-18 | 2018-10-09 | International Business Machines Corporation | Auto-tuning program analysis tools based on user feedback |
US10169191B2 (en) | 2016-04-23 | 2019-01-01 | International Business Machines Corporation | Warning data management with respect to a development phase |
US10664601B2 (en) * | 2016-10-25 | 2020-05-26 | Nanjing University | Method and system automatic buffer overflow warning inspection and bug repair |
US10586050B2 (en) * | 2016-12-05 | 2020-03-10 | International Business Machines Corporation | Consolidating static analysis tool warnings using dynamic programming |
-
2018
- 2018-11-30 EP EP18209508.3A patent/EP3588272B1/en active Active
- 2018-12-04 US US16/209,579 patent/US10684937B2/en active Active
- 2018-12-26 JP JP2018243236A patent/JP6710268B2/ja active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2012141741A (ja) * | 2010-12-28 | 2012-07-26 | Fujitsu Ltd | 解析支援プログラム,解析支援装置および解析支援方法 |
JP2014089700A (ja) * | 2012-09-27 | 2014-05-15 | Tata Consultancy Services Ltd | ランタイム実行障害のソースを識別するシステム及び方法 |
JP2015088191A (ja) * | 2013-10-31 | 2015-05-07 | タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited | 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法 |
JP2016071895A (ja) * | 2014-09-29 | 2016-05-09 | タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited | クラスタ化されたコード解析警告のレビューのための方法およびシステム |
JP2018026135A (ja) * | 2016-08-11 | 2018-02-15 | タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited | 静的解析警告の効率的な運用のための原因ポイント解析のためのシステム及び方法 |
Also Published As
Publication number | Publication date |
---|---|
EP3588272B1 (en) | 2021-03-10 |
US10684937B2 (en) | 2020-06-16 |
EP3588272A1 (en) | 2020-01-01 |
US20190391903A1 (en) | 2019-12-26 |
JP6710268B2 (ja) | 2020-06-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9026857B2 (en) | Method and system for postponed error code checks | |
US10387236B2 (en) | Processing data errors for a data processing system | |
US11835987B2 (en) | Methods and apparatus for finding long methods in code | |
US20150220332A1 (en) | Resolving merge conflicts that prevent blocks of program code from properly being merged | |
US20140130016A1 (en) | Offline type checking in programming languages | |
US9471790B2 (en) | Remediation of security vulnerabilities in computer software | |
JP6710268B2 (ja) | 複数の静的解析アラームを再配置するための方法およびシステム | |
US20160371603A1 (en) | Self-learning based crawling and rule-based data mining for automatic information extraction | |
US9613362B2 (en) | Monitoring a situation by comparing parallel data streams | |
Muske et al. | Repositioning of static analysis alarms | |
US20210216509A1 (en) | Database replication error recovery based on supervised learning | |
US20140373159A1 (en) | After-The-Fact Configuration Of Static Analysis Tools Able To Reduce User Burden | |
US20190004924A1 (en) | Optimizing automated interactions with web applications | |
US20140351677A1 (en) | Minimum cut set evaluation system, minimum cut set calculation method, and program | |
Ma et al. | Practical null pointer dereference detection via value-dependence analysis | |
Lavoie et al. | A case study of TTCN-3 test scripts clone analysis in an industrial telecommunication setting | |
Kumar et al. | Code clone detection and analysis using software metrics and neural network-a literature review | |
US9619765B2 (en) | Monitoring a situation by generating an overall similarity score | |
US10877749B1 (en) | Method and system for non-impacting control dependencies based repositioning of static analysis alarms | |
US20150112912A1 (en) | Case-based reasoning | |
US11650907B2 (en) | Systems and methods for selective path sensitive interval analysis | |
US20150112913A1 (en) | Case-based reasoning | |
Sivanandan | Fail fast-fail often: Enhancing agile methodology using dynamic regression, code bisector and code quality in Continuous Integration (CI) | |
JP2024031735A (ja) | ソースコード修正支援装置およびソースコード修正支援方法 | |
US8433668B2 (en) | Context-based failure reporting for a constraint satisfaction problem |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20190326 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20200424 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20200512 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200526 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6710268 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |