JP6320475B2 - 誤検出の効率的な排除に基づく静的解析 - Google Patents
誤検出の効率的な排除に基づく静的解析 Download PDFInfo
- Publication number
- JP6320475B2 JP6320475B2 JP2016174414A JP2016174414A JP6320475B2 JP 6320475 B2 JP6320475 B2 JP 6320475B2 JP 2016174414 A JP2016174414 A JP 2016174414A JP 2016174414 A JP2016174414 A JP 2016174414A JP 6320475 B2 JP6320475 B2 JP 6320475B2
- Authority
- JP
- Japan
- Prior art keywords
- cnv
- variable
- assertion
- static analysis
- variables
- 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.)
- Active
Links
- 230000003068 static effect Effects 0.000 title claims description 90
- 238000004458 analytical method Methods 0.000 title claims description 86
- 230000008030 elimination Effects 0.000 title claims description 16
- 238000003379 elimination reaction Methods 0.000 title claims description 16
- 238000000034 method Methods 0.000 claims description 63
- 238000012795 verification Methods 0.000 claims description 58
- 230000006870 function Effects 0.000 claims description 22
- 238000005206 flow analysis Methods 0.000 claims description 14
- 238000001514 detection method Methods 0.000 claims description 11
- 238000013459 approach Methods 0.000 claims description 9
- 230000015654 memory Effects 0.000 claims description 9
- 238000004364 calculation method Methods 0.000 claims description 5
- 230000000694 effects Effects 0.000 claims description 4
- 230000001419 dependent effect Effects 0.000 claims 1
- 230000014509 gene expression Effects 0.000 description 7
- 238000010586 diagram Methods 0.000 description 5
- 238000012552 review Methods 0.000 description 4
- 238000010200 validation analysis Methods 0.000 description 4
- 230000035945 sensitivity Effects 0.000 description 3
- 238000012512 characterization method Methods 0.000 description 2
- 230000000295 complement effect Effects 0.000 description 2
- 230000007717 exclusion Effects 0.000 description 2
- 239000004065 semiconductor Substances 0.000 description 2
- 238000003491 array Methods 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000004590 computer program Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 238000004880 explosion Methods 0.000 description 1
- 239000012634 fragment Substances 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
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
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
-
- 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)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
本願は、2015年9月15日にインド国特許庁に提出された特許出願番号第3537/MUM/2015号の利益を主張し、当該インド国特許出願の開示内容の全ては、本明細書に組み込まれる。
本明細書で説明された開示は、当業者に本開示を理解させるためのいくつかの用語及び概念を定義する。
a)アサーション変数(Assertion Variables):アサーションは、演算式で生じる変数の値での制約を記述するブール演算式(boolean expression)である。アサーションで生じる変数は、アサーション変数と呼ばれる。
b)入力変数:プロシージャ(procedure)での演算は、呼び出しコンテクストからの値を取るグローバル変数及び仮引数に依存しうる。このような変数は、プロシージャの入力変数と呼ばれる。入力変数は、プロシージャ特有であり、それらは、可変変数である。これらの変数は、プロシージャトランジティブリ(procedure transitively)によって呼び出される(渡される)関数におけるパスを含むプロシージャにおけるパスのいずれかに書き込まれる前に、読み出される。
c)非決定的選択関数(Non−deterministic Choice Functions):誤検出のモデル検査ベース排除時に、アサーションは、アサーションがプロシージャ又はそのトランジティブリコールド(transitively called)関数のうちの1つのいずれかのステートメントに現れるプロシージャのコンテクストにおいて識別される。アサーション検証の拡張性のため、プロシージャは、呼び出し階層(call hierarchy)でのアサーションにできるだけ近くなるように選択されてもよく、プロシージャの呼び出し元は無視される。しかし、プロシージャの入力変数へのコード割り当て値が無視されるため、これは、不正確さのコストを強いられ、アサーションは、入力の任意の値に対して識別されるべきである。任意の値は、非決定的選択関数を用いることにより、入力変数に割り当てられる。これらの関数によって生成される非決定的な値の範囲は、それらのリターンタイプによって決定される。
d)全範囲非決定的値変数(Complete−range Non−deterministic Value Variables):非決定的選択関数によってプロシージャの入力変数に割り当てられる値は、データ依存性の結果としてプロシージャにおける他の変数に割り当てられてもよい。これらの値は、制御又はデータ依存性を通じても制約されてもよい。非決定論的値の全範囲を取る変数は、全範囲非決定的値変数(cnv変数)として分類され、プログラムステートメントにより割り当てられる固定値である他の変数のセットは、非cnv変数として分類される(これらは、部分的な範囲のみを取る又は非決定的値の範囲にない)。
e)全範囲非決定的値式(Complete−Range Non−deterministic Value Expressions):ステートメントで生じる式は、同一ポイントでの、同一コンテクストにおけるcnv変数を用いる評価が、式の値の全範囲で生じる場合、プロシージャの呼び出しコンテクストにおいてcnv式と呼ばれる。
a)コンテクスト感度(Context Sensitivity):非決定的選択関数を含む割り当ては、アサーションの検証時/検証のための考慮下で呼び出しコンテクストを開始するプロシージャのスタートでの任意の値を入力変数に割り当てるために行われてもよい。プロシージャに対するこれらの関数に基づいて、変数は、プロシージャでのプログラムポイントにおいてcnv変数かどうかを識別される。異なるプロシージャは、それらに対する異なる入力変数を有してもよい。したがって、プログラムポイントにおける変数は、特定の呼び出しコンテクスト(プロシージャ)に対するcnv変数であるが、他の呼び出しコンテクスト(プロシージャ)ではない。
b)フロー感度(Flow Sensitivity):変数により取られる非決定的値の範囲は、プログラムポイント特有であり、異なるプログラムポイントで異なってもよい。フロー感度は、以下の2つの依存により、変数のcnv状態(変数がcnv変数であるか非cnv変数であるか)に影響を与える:
i)データ依存(Data Dependence):プログラムポイントでのcnv変数は、非cnv変数の値に影響を与え、その状態に変換する又はその逆であってもよい。
ii)制御依存(Control Dependence):cnv変数を含む条件は、分岐のそれらの真又は偽に沿って変数の値を制限し、よって、条件の効果の内側で非cnv変数としてcnv変数をなす。しかし、条件の効果の外側で、非cnv変数は、その状態を取り戻し、cnv変数がちょうど条件の前である場合に、cnv変数になる。
c)May/Must到達可能性(May/Must Reachability):プログラムポイントでの変数のcnv状態は、変数がcnvであることに沿うパスに依存する。変数が、プログラムポイントに到達するパス毎に沿うcnv変数であるとき、変数は、当該ポイントにおいてmust−cnv変数であるといえる。変数が一部に沿うが、必ずしもプログラムポイントに到達する全てのパスを通じる必要はないcnv変数である場合、may−cnv変数と呼ばれる。
i)CNV:vはcnv変数である。
ii)nCNV:vは、非cnv変数又は式へのデータ依存によりcnv変数ではない。
iii)nCNVT:vは、制御依存によりcnv変数である(その値が、条件のtrueの分岐から到達可能なパスに沿って制約されるとき)。
iv)nCNVF:vは、制御依存によりcnv変数である(その値が、条件のfalseの分岐から到達可能なパスに沿って制約されるとき)。
Claims (11)
- アプリケーションコードの静的解析で生成される誤検出の効率的な排除のための方法であって、
静的アナライザーモジュールを用いて複数の静的解析警告を生成するために、前記アプリケーションコードで静的解析を行うステップと、
アノテータモジュールを用いて前記複数の静的解析警告のそれぞれに対応するアサーションを生成するステップと、
cnv変数識別モジュールを用いて静的解析により1以上の全種類非決定的値(complete−range non−deterministic value(cnv))変数のセットを演算するステップであって、前記cnv変数は、非決定論的選択関数によって生成された非決定論的値の全範囲を取る変数である、ステップと、
cnv変数チェッカーモジュールを用いて、生成された前記アサーションに関する1以上の変数が、アサーションプログラムポイントのそれぞれにおいてcnv変数であるかチェックするステップと、
冗長性呼び出し識別モジュールを用いて、生成された前記アサーション内の1つ以上のcnv変数の存在に基づいて、前記複数の静的解析警告のそれぞれに対応する各生成されたアサーションに対する1以上の検証呼び出しが冗長であるか判定するステップと、
誤検出を効率的に排除させるために、1以上の判定された冗長性検証呼び出しをスキップするステップと、
アサーション検証モジュールを用いることにより、1以上の非冗長性検証呼び出しを検証するためにモデルチェッカーを呼び出すステップと、
検証の結果に応じて、誤検出として、対応する静的解析警告を、前記アサーション検証モジュールによって排除するステップと、
を備える方法。 - プログラムポイントでの変数のcnv状態は、変数の値を割り当てる又は制限し、前記プログラムポイントに到達するパスに依存し、前記変数の前記cnv状態は、前記変数がcnv変数であるか、非cnv変数であるかを示す請求項1に記載の方法。
- 前記cnv状態の演算は、少なくとも1つの静的解析技術を用いて、制御依存及びデータ依存の効果を考慮すること、及び少なくとも1つの近似を用いてそれらを演算することを含む請求項2に記載の方法。
- 前記静的解析技術は、データフロー解析、アブストラクト‐インタープリテーション及び制御フローグラフトラバーサルを含む請求項3に記載の方法。
- 前記変数が、プログラムポイントに到達する全てのパスに沿ってcnv変数であるとき、変数は、当該プログラムポイントでのmust‐cnv変数といわれる、請求項1に記載の方法。
- 前記変数が、プログラムポイントに到達する一部のパスに沿ってcnv変数であるが、必ずしも前記プログラムポイントに到達する全てのパスに沿ってcnv変数であるというわけではないとき、変数は、当該プログラムポイントでのmay−cnv変数といわれる、請求項1に記載の方法。
- 演算で用いられる近似の性質のため、冗長性検証呼び出しの識別でのmay−cnv変数の影響は、冗長性検証呼び出しの識別でのmust‐cnv変数の影響と異なる、請求項1に記載の方法。
- 冗長性検証呼び出しの識別は、前記アサーションプログラムポイントでのcnv変数となるべき単一又は全てのアサーション変数の分類を用いる請求項1に記載の方法。
- アサーションコードの静的解析での誤検出の効率的な排除のためのシステムであって、 プロセッサと、
前記プロセッサと通信可能に結合され、前記プロセッサによって読み取り可能な命令を含むメモリと、
複数の静的解析警告を生成するために、アプリケーションコードを解析するように構成される静的アナライザーモジュールと、
前記複数の静的解析警告のそれぞれに対応するアサーションを生成するように構成されるアノテータモジュールと、
静的解析技術を用いて前記アプリケーションコードの各アサーションに対応する1以上のcnv変数のセットを演算するように構成され、前記cnv変数は、非決定論的選択関数によって生成された非決定論的値の全範囲を取る変数である、全種類非決定的値(complete−range non−deterministic value(cnv))変数識別モジュールと、
生成された前記アサーションに関する変数が、アサーションプログラムポイントのそれぞれにおいてcnv変数であるかチェックするように構成されるcnv変数チェッカーモジュールと、
生成された前記アサーション内の1つ以上のcnv変数の存在に基づいて、前記複数の静的解析警告のそれぞれに対応する、各生成されたアサーションに対する1以上の検証呼び出しが冗長であるか識別するように構成される冗長性呼び出し識別モジュールであって、前記システムは、誤検出を効率的に排除するために、1以上の判定された冗長性検証呼び出しをスキップする、冗長性呼び出し識別モジュールと、
1以上の非冗長性検証呼び出しを検証するためにモデルチェッカーを呼び出し、検証の結果に応じて、誤検出として、対応する静的解析警告を排除するように構成されるアサーション検証モジュールと、
を備えるシステム。 - 前記アサーション検証モジュールは、コンテクスト拡張又はインクリメンタル検証アプローチが用いられるかどうかに応じて、一回以上アサーションを識別する請求項9に記載のシステム。
- アプリケーションコードの静的解析における誤検出の効率的な排除のための命令を記憶するコンピュータ可読媒体であって、前記命令は、
静的アナライザーモジュールを用いて複数の静的解析警告を生成するために、前記アプリケーションコードで静的解析を行うステップと、
アノテータモジュールを用いて前記複数の静的解析警告のそれぞれに対応するアサーションを生成するステップと、
cnv変数識別モジュールを用いて静的解析により1以上の全種類非決定的値(complete−range non−deterministic value(cnv))変数のセットを演算するステップであって、前記cnv変数は、非決定論的選択関数によって生成された非決定論的値の全範囲を取る変数である、ステップと、
cnv変数チェッカーモジュールを用いて、生成された前記アサーションに関する1以上の変数が、アサーションプログラムポイントのそれぞれにおいてcnv変数であるかチェックするステップと、
冗長性呼び出し識別モジュールを用いて、生成された前記アサーション内の1つ以上のcnv変数の存在に基づいて、前記複数の静的解析警告のそれぞれに対応する各生成されたアサーションに対する1以上の検証呼び出しが冗長であるか判定するステップと、
誤検出を効率的に排除させるために、1以上の判定された冗長性検証呼び出しをスキップするステップと、
アサーション検証モジュールを用いることにより、1以上の非冗長性検証呼び出しを検証するためにモデルチェッカーを呼び出すステップと、
検証の結果に応じて、誤検出として、対応する静的解析警告を、前記アサーション検証モジュールによって排除するステップと、
を備えるコンピュータ可読媒体。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN3537/MUM/2015 | 2015-09-15 | ||
IN3537MU2015 | 2015-09-15 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2017062780A JP2017062780A (ja) | 2017-03-30 |
JP6320475B2 true JP6320475B2 (ja) | 2018-05-09 |
Family
ID=56883547
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016174414A Active JP6320475B2 (ja) | 2015-09-15 | 2016-09-07 | 誤検出の効率的な排除に基づく静的解析 |
Country Status (3)
Country | Link |
---|---|
US (1) | US10002064B2 (ja) |
EP (1) | EP3144816A1 (ja) |
JP (1) | JP6320475B2 (ja) |
Families Citing this family (179)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9250894B2 (en) * | 2012-09-07 | 2016-02-02 | National Instruments Corporation | Sequentially constructive model of computation |
US10181051B2 (en) | 2016-06-10 | 2019-01-15 | OneTrust, LLC | Data processing systems for generating and populating a data inventory for processing data access requests |
US10289867B2 (en) | 2014-07-27 | 2019-05-14 | OneTrust, LLC | Data processing systems for webform crawling to map processing activities and related methods |
US9729583B1 (en) | 2016-06-10 | 2017-08-08 | OneTrust, LLC | Data processing systems and methods for performing privacy assessments and monitoring of new versions of computer code for privacy compliance |
US10068093B2 (en) * | 2015-12-10 | 2018-09-04 | Sap Se | Machine-checkable code-annotations for static application security testing |
US20220164840A1 (en) | 2016-04-01 | 2022-05-26 | OneTrust, LLC | Data processing systems and methods for integrating privacy information management systems with data loss prevention tools or other tools for privacy design |
US10423996B2 (en) | 2016-04-01 | 2019-09-24 | OneTrust, LLC | Data processing systems and communication systems and methods for the efficient generation of privacy risk assessments |
US10706447B2 (en) | 2016-04-01 | 2020-07-07 | OneTrust, LLC | Data processing systems and communication systems and methods for the efficient generation of privacy risk assessments |
US11004125B2 (en) | 2016-04-01 | 2021-05-11 | OneTrust, LLC | Data processing systems and methods for integrating privacy information management systems with data loss prevention tools or other tools for privacy design |
US11244367B2 (en) | 2016-04-01 | 2022-02-08 | OneTrust, LLC | Data processing systems and methods for integrating privacy information management systems with data loss prevention tools or other tools for privacy design |
US10706176B2 (en) | 2016-06-10 | 2020-07-07 | OneTrust, LLC | Data-processing consent refresh, re-prompt, and recapture systems and related methods |
US10873606B2 (en) | 2016-06-10 | 2020-12-22 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US10572686B2 (en) | 2016-06-10 | 2020-02-25 | OneTrust, LLC | Consent receipt management systems and related methods |
US10997315B2 (en) | 2016-06-10 | 2021-05-04 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US11636171B2 (en) | 2016-06-10 | 2023-04-25 | OneTrust, LLC | Data processing user interface monitoring systems and related methods |
US11675929B2 (en) | 2016-06-10 | 2023-06-13 | OneTrust, LLC | Data processing consent sharing systems and related methods |
US10706131B2 (en) | 2016-06-10 | 2020-07-07 | OneTrust, LLC | Data processing systems and methods for efficiently assessing the risk of privacy campaigns |
US11138299B2 (en) | 2016-06-10 | 2021-10-05 | OneTrust, LLC | Data processing and scanning systems for assessing vendor risk |
US10796260B2 (en) | 2016-06-10 | 2020-10-06 | OneTrust, LLC | Privacy management systems and methods |
US10282692B2 (en) * | 2016-06-10 | 2019-05-07 | OneTrust, LLC | Data processing systems for identifying, assessing, and remediating data processing risks using data modeling techniques |
US10944725B2 (en) | 2016-06-10 | 2021-03-09 | OneTrust, LLC | Data processing systems and methods for using a data model to select a target data asset in a data migration |
US10853501B2 (en) | 2016-06-10 | 2020-12-01 | OneTrust, LLC | Data processing and scanning systems for assessing vendor risk |
US11151233B2 (en) | 2016-06-10 | 2021-10-19 | OneTrust, LLC | Data processing and scanning systems for assessing vendor risk |
US10430740B2 (en) | 2016-06-10 | 2019-10-01 | One Trust, LLC | Data processing systems for calculating and communicating cost of fulfilling data subject access requests and related methods |
US10496846B1 (en) | 2016-06-10 | 2019-12-03 | OneTrust, LLC | Data processing and communications systems and methods for the efficient implementation of privacy by design |
US11238390B2 (en) | 2016-06-10 | 2022-02-01 | OneTrust, LLC | Privacy management systems and methods |
US11100444B2 (en) | 2016-06-10 | 2021-08-24 | OneTrust, LLC | Data processing systems and methods for providing training in a vendor procurement process |
US10909488B2 (en) | 2016-06-10 | 2021-02-02 | OneTrust, LLC | Data processing systems for assessing readiness for responding to privacy-related incidents |
US11146566B2 (en) | 2016-06-10 | 2021-10-12 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US10565236B1 (en) | 2016-06-10 | 2020-02-18 | OneTrust, LLC | Data processing systems for generating and populating a data inventory |
US10740487B2 (en) | 2016-06-10 | 2020-08-11 | OneTrust, LLC | Data processing systems and methods for populating and maintaining a centralized database of personal data |
US10467432B2 (en) | 2016-06-10 | 2019-11-05 | OneTrust, LLC | Data processing systems for use in automatically generating, populating, and submitting data subject access requests |
US10289870B2 (en) | 2016-06-10 | 2019-05-14 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US10839102B2 (en) | 2016-06-10 | 2020-11-17 | OneTrust, LLC | Data processing systems for identifying and modifying processes that are subject to data subject access requests |
US11418492B2 (en) | 2016-06-10 | 2022-08-16 | OneTrust, LLC | Data processing systems and methods for using a data model to select a target data asset in a data migration |
US10706379B2 (en) | 2016-06-10 | 2020-07-07 | OneTrust, LLC | Data processing systems for automatic preparation for remediation and related methods |
US10509894B2 (en) | 2016-06-10 | 2019-12-17 | OneTrust, LLC | Data processing and scanning systems for assessing vendor risk |
US10949170B2 (en) | 2016-06-10 | 2021-03-16 | OneTrust, LLC | Data processing systems for integration of consumer feedback with data subject access requests and related methods |
US10282700B2 (en) | 2016-06-10 | 2019-05-07 | OneTrust, LLC | Data processing systems for generating and populating a data inventory |
US11336697B2 (en) | 2016-06-10 | 2022-05-17 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US10685140B2 (en) | 2016-06-10 | 2020-06-16 | OneTrust, LLC | Consent receipt management systems and related methods |
US10242228B2 (en) | 2016-06-10 | 2019-03-26 | OneTrust, LLC | Data processing systems for measuring privacy maturity within an organization |
US10803200B2 (en) | 2016-06-10 | 2020-10-13 | OneTrust, LLC | Data processing systems for processing and managing data subject access in a distributed environment |
US11392720B2 (en) | 2016-06-10 | 2022-07-19 | OneTrust, LLC | Data processing systems for verification of consent and notice processing and related methods |
US10586075B2 (en) | 2016-06-10 | 2020-03-10 | OneTrust, LLC | Data processing systems for orphaned data identification and deletion and related methods |
US11651106B2 (en) | 2016-06-10 | 2023-05-16 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US10783256B2 (en) | 2016-06-10 | 2020-09-22 | OneTrust, LLC | Data processing systems for data transfer risk identification and related methods |
US11343284B2 (en) | 2016-06-10 | 2022-05-24 | OneTrust, LLC | Data processing systems and methods for performing privacy assessments and monitoring of new versions of computer code for privacy compliance |
US11481710B2 (en) | 2016-06-10 | 2022-10-25 | OneTrust, LLC | Privacy management systems and methods |
US10509920B2 (en) | 2016-06-10 | 2019-12-17 | OneTrust, LLC | Data processing systems for processing data subject access requests |
US11651104B2 (en) | 2016-06-10 | 2023-05-16 | OneTrust, LLC | Consent receipt management systems and related methods |
US11416590B2 (en) | 2016-06-10 | 2022-08-16 | OneTrust, LLC | Data processing and scanning systems for assessing vendor risk |
US10614247B2 (en) | 2016-06-10 | 2020-04-07 | OneTrust, LLC | Data processing systems for automated classification of personal information from documents and related methods |
US11354435B2 (en) | 2016-06-10 | 2022-06-07 | OneTrust, LLC | Data processing systems for data testing to confirm data deletion and related methods |
US11366786B2 (en) | 2016-06-10 | 2022-06-21 | OneTrust, LLC | Data processing systems for processing data subject access requests |
US11057356B2 (en) | 2016-06-10 | 2021-07-06 | OneTrust, LLC | Automated data processing systems and methods for automatically processing data subject access requests using a chatbot |
US10510031B2 (en) * | 2016-06-10 | 2019-12-17 | OneTrust, LLC | Data processing systems for identifying, assessing, and remediating data processing risks using data modeling techniques |
US11301796B2 (en) | 2016-06-10 | 2022-04-12 | OneTrust, LLC | Data processing systems and methods for customizing privacy training |
US10776517B2 (en) | 2016-06-10 | 2020-09-15 | OneTrust, LLC | Data processing systems for calculating and communicating cost of fulfilling data subject access requests and related methods |
US11520928B2 (en) | 2016-06-10 | 2022-12-06 | OneTrust, LLC | Data processing systems for generating personal data receipts and related methods |
US10592692B2 (en) | 2016-06-10 | 2020-03-17 | OneTrust, LLC | Data processing systems for central consent repository and related methods |
US11341447B2 (en) | 2016-06-10 | 2022-05-24 | OneTrust, LLC | Privacy management systems and methods |
US11222309B2 (en) | 2016-06-10 | 2022-01-11 | OneTrust, LLC | Data processing systems for generating and populating a data inventory |
US11328092B2 (en) | 2016-06-10 | 2022-05-10 | OneTrust, LLC | Data processing systems for processing and managing data subject access in a distributed environment |
US11087260B2 (en) | 2016-06-10 | 2021-08-10 | OneTrust, LLC | Data processing systems and methods for customizing privacy training |
US10776514B2 (en) | 2016-06-10 | 2020-09-15 | OneTrust, LLC | Data processing systems for the identification and deletion of personal data in computer systems |
US10607028B2 (en) | 2016-06-10 | 2020-03-31 | OneTrust, LLC | Data processing systems for data testing to confirm data deletion and related methods |
US11586700B2 (en) | 2016-06-10 | 2023-02-21 | OneTrust, LLC | Data processing systems and methods for automatically blocking the use of tracking tools |
US11294939B2 (en) | 2016-06-10 | 2022-04-05 | OneTrust, LLC | Data processing systems and methods for automatically detecting and documenting privacy-related aspects of computer software |
US10708305B2 (en) | 2016-06-10 | 2020-07-07 | OneTrust, LLC | Automated data processing systems and methods for automatically processing requests for privacy-related information |
US11025675B2 (en) | 2016-06-10 | 2021-06-01 | OneTrust, LLC | Data processing systems and methods for performing privacy assessments and monitoring of new versions of computer code for privacy compliance |
US11038925B2 (en) | 2016-06-10 | 2021-06-15 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US11277448B2 (en) | 2016-06-10 | 2022-03-15 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US11134086B2 (en) | 2016-06-10 | 2021-09-28 | OneTrust, LLC | Consent conversion optimization systems and related methods |
US10503926B2 (en) | 2016-06-10 | 2019-12-10 | OneTrust, LLC | Consent receipt management systems and related methods |
US10565397B1 (en) | 2016-06-10 | 2020-02-18 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US10346638B2 (en) | 2016-06-10 | 2019-07-09 | OneTrust, LLC | Data processing systems for identifying and modifying processes that are subject to data subject access requests |
US10204154B2 (en) | 2016-06-10 | 2019-02-12 | OneTrust, LLC | Data processing systems for generating and populating a data inventory |
US10416966B2 (en) | 2016-06-10 | 2019-09-17 | OneTrust, LLC | Data processing systems for identity validation of data subject access requests and related methods |
US10235534B2 (en) | 2016-06-10 | 2019-03-19 | OneTrust, LLC | Data processing systems for prioritizing data subject access requests for fulfillment and related methods |
US10284604B2 (en) | 2016-06-10 | 2019-05-07 | OneTrust, LLC | Data processing and scanning systems for generating and populating a data inventory |
US11403377B2 (en) | 2016-06-10 | 2022-08-02 | OneTrust, LLC | Privacy management systems and methods |
US11138242B2 (en) | 2016-06-10 | 2021-10-05 | OneTrust, LLC | Data processing systems and methods for automatically detecting and documenting privacy-related aspects of computer software |
US11410106B2 (en) | 2016-06-10 | 2022-08-09 | OneTrust, LLC | Privacy management systems and methods |
US10437412B2 (en) | 2016-06-10 | 2019-10-08 | OneTrust, LLC | Consent receipt management systems and related methods |
US10726158B2 (en) | 2016-06-10 | 2020-07-28 | OneTrust, LLC | Consent receipt management and automated process blocking systems and related methods |
US10438017B2 (en) | 2016-06-10 | 2019-10-08 | OneTrust, LLC | Data processing systems for processing data subject access requests |
US10642870B2 (en) | 2016-06-10 | 2020-05-05 | OneTrust, LLC | Data processing systems and methods for automatically detecting and documenting privacy-related aspects of computer software |
US10346637B2 (en) | 2016-06-10 | 2019-07-09 | OneTrust, LLC | Data processing systems for the identification and deletion of personal data in computer systems |
US11416109B2 (en) | 2016-06-10 | 2022-08-16 | OneTrust, LLC | Automated data processing systems and methods for automatically processing data subject access requests using a chatbot |
US10798133B2 (en) | 2016-06-10 | 2020-10-06 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US10997318B2 (en) | 2016-06-10 | 2021-05-04 | OneTrust, LLC | Data processing systems for generating and populating a data inventory for processing data access requests |
US10353673B2 (en) | 2016-06-10 | 2019-07-16 | OneTrust, LLC | Data processing systems for integration of consumer feedback with data subject access requests and related methods |
US10896394B2 (en) | 2016-06-10 | 2021-01-19 | OneTrust, LLC | Privacy management systems and methods |
US11354434B2 (en) | 2016-06-10 | 2022-06-07 | OneTrust, LLC | Data processing systems for verification of consent and notice processing and related methods |
US11023842B2 (en) | 2016-06-10 | 2021-06-01 | OneTrust, LLC | Data processing systems and methods for bundled privacy policies |
US11295316B2 (en) | 2016-06-10 | 2022-04-05 | OneTrust, LLC | Data processing systems for identity validation for consumer rights requests and related methods |
US10353674B2 (en) | 2016-06-10 | 2019-07-16 | OneTrust, LLC | Data processing and communications systems and methods for the efficient implementation of privacy by design |
US11438386B2 (en) | 2016-06-10 | 2022-09-06 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US11366909B2 (en) | 2016-06-10 | 2022-06-21 | OneTrust, LLC | Data processing and scanning systems for assessing vendor risk |
US11228620B2 (en) | 2016-06-10 | 2022-01-18 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US10452864B2 (en) | 2016-06-10 | 2019-10-22 | OneTrust, LLC | Data processing systems for webform crawling to map processing activities and related methods |
US10885485B2 (en) | 2016-06-10 | 2021-01-05 | OneTrust, LLC | Privacy management systems and methods |
US10769301B2 (en) | 2016-06-10 | 2020-09-08 | OneTrust, LLC | Data processing systems for webform crawling to map processing activities and related methods |
US11727141B2 (en) | 2016-06-10 | 2023-08-15 | OneTrust, LLC | Data processing systems and methods for synching privacy-related user consent across multiple computing devices |
US10181019B2 (en) | 2016-06-10 | 2019-01-15 | OneTrust, LLC | Data processing systems and communications systems and methods for integrating privacy compliance systems with software development and agile tools for privacy design |
US11188862B2 (en) | 2016-06-10 | 2021-11-30 | OneTrust, LLC | Privacy management systems and methods |
US10565161B2 (en) | 2016-06-10 | 2020-02-18 | OneTrust, LLC | Data processing systems for processing data subject access requests |
US10440062B2 (en) | 2016-06-10 | 2019-10-08 | OneTrust, LLC | Consent receipt management systems and related methods |
US11544667B2 (en) | 2016-06-10 | 2023-01-03 | OneTrust, LLC | Data processing systems for generating and populating a data inventory |
US10169609B1 (en) | 2016-06-10 | 2019-01-01 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US11144622B2 (en) | 2016-06-10 | 2021-10-12 | OneTrust, LLC | Privacy management systems and methods |
US11210420B2 (en) | 2016-06-10 | 2021-12-28 | OneTrust, LLC | Data subject access request processing systems and related methods |
US11475136B2 (en) | 2016-06-10 | 2022-10-18 | OneTrust, LLC | Data processing systems for data transfer risk identification and related methods |
US10592648B2 (en) | 2016-06-10 | 2020-03-17 | OneTrust, LLC | Consent receipt management systems and related methods |
US10706174B2 (en) | 2016-06-10 | 2020-07-07 | OneTrust, LLC | Data processing systems for prioritizing data subject access requests for fulfillment and related methods |
US10606916B2 (en) | 2016-06-10 | 2020-03-31 | OneTrust, LLC | Data processing user interface monitoring systems and related methods |
US10282559B2 (en) * | 2016-06-10 | 2019-05-07 | OneTrust, LLC | Data processing systems for identifying, assessing, and remediating data processing risks using data modeling techniques |
US10776518B2 (en) | 2016-06-10 | 2020-09-15 | OneTrust, LLC | Consent receipt management systems and related methods |
US10496803B2 (en) | 2016-06-10 | 2019-12-03 | OneTrust, LLC | Data processing systems and methods for efficiently assessing the risk of privacy campaigns |
US11227247B2 (en) | 2016-06-10 | 2022-01-18 | OneTrust, LLC | Data processing systems and methods for bundled privacy policies |
US11461500B2 (en) | 2016-06-10 | 2022-10-04 | OneTrust, LLC | Data processing systems for cookie compliance testing with website scanning and related methods |
US10585968B2 (en) | 2016-06-10 | 2020-03-10 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US10713387B2 (en) | 2016-06-10 | 2020-07-14 | OneTrust, LLC | Consent conversion optimization systems and related methods |
US11416589B2 (en) | 2016-06-10 | 2022-08-16 | OneTrust, LLC | Data processing and scanning systems for assessing vendor risk |
US10452866B2 (en) | 2016-06-10 | 2019-10-22 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US10275614B2 (en) | 2016-06-10 | 2019-04-30 | OneTrust, LLC | Data processing systems for generating and populating a data inventory |
US10318761B2 (en) | 2016-06-10 | 2019-06-11 | OneTrust, LLC | Data processing systems and methods for auditing data request compliance |
US10878127B2 (en) | 2016-06-10 | 2020-12-29 | OneTrust, LLC | Data subject access request processing systems and related methods |
US11625502B2 (en) | 2016-06-10 | 2023-04-11 | OneTrust, LLC | Data processing systems for identifying and modifying processes that are subject to data subject access requests |
US10909265B2 (en) | 2016-06-10 | 2021-02-02 | OneTrust, LLC | Application privacy scanning systems and related methods |
US11222142B2 (en) | 2016-06-10 | 2022-01-11 | OneTrust, LLC | Data processing systems for validating authorization for personal data collection, storage, and processing |
US11222139B2 (en) | 2016-06-10 | 2022-01-11 | OneTrust, LLC | Data processing systems and methods for automatic discovery and assessment of mobile software development kits |
US10846433B2 (en) | 2016-06-10 | 2020-11-24 | OneTrust, LLC | Data processing consent management systems and related methods |
US11200341B2 (en) | 2016-06-10 | 2021-12-14 | OneTrust, LLC | Consent receipt management systems and related methods |
US11157600B2 (en) | 2016-06-10 | 2021-10-26 | OneTrust, LLC | Data processing and scanning systems for assessing vendor risk |
US10454973B2 (en) | 2016-06-10 | 2019-10-22 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US11416798B2 (en) | 2016-06-10 | 2022-08-16 | OneTrust, LLC | Data processing systems and methods for providing training in a vendor procurement process |
US11188615B2 (en) | 2016-06-10 | 2021-11-30 | OneTrust, LLC | Data processing consent capture systems and related methods |
US10848523B2 (en) | 2016-06-10 | 2020-11-24 | OneTrust, LLC | Data processing systems for data-transfer risk identification, cross-border visualization generation, and related methods |
US11074367B2 (en) | 2016-06-10 | 2021-07-27 | OneTrust, LLC | Data processing systems for identity validation for consumer rights requests and related methods |
US10678945B2 (en) | 2016-06-10 | 2020-06-09 | OneTrust, LLC | Consent receipt management systems and related methods |
US10762236B2 (en) | 2016-06-10 | 2020-09-01 | OneTrust, LLC | Data processing user interface monitoring systems and related methods |
US11562097B2 (en) | 2016-06-10 | 2023-01-24 | OneTrust, LLC | Data processing systems for central consent repository and related methods |
US10949565B2 (en) | 2016-06-10 | 2021-03-16 | OneTrust, LLC | Data processing systems for generating and populating a data inventory |
US10289866B2 (en) | 2016-06-10 | 2019-05-14 | OneTrust, LLC | Data processing systems for fulfilling data subject access requests and related methods |
US10241892B2 (en) * | 2016-12-02 | 2019-03-26 | International Business Machines Corporation | Issuance of static analysis complaints |
US10013577B1 (en) | 2017-06-16 | 2018-07-03 | OneTrust, LLC | Data processing systems for identifying whether cookies contain personally identifying information |
US11200144B1 (en) * | 2017-09-05 | 2021-12-14 | Amazon Technologies, Inc. | Refinement of static analysis of program code |
EP3493051A1 (en) * | 2017-11-30 | 2019-06-05 | The MathWorks, Inc. | System and methods for evaluating compliance of implementation code with a software architecture specification |
DE102018003142A1 (de) | 2017-12-13 | 2019-06-13 | The Mathworks, Inc. | Automatische Einstellung von Multitasking-Konfigurationen für ein Codeprüfsystem |
US11144675B2 (en) | 2018-09-07 | 2021-10-12 | OneTrust, LLC | Data processing systems and methods for automatically protecting sensitive data within privacy management systems |
US10803202B2 (en) | 2018-09-07 | 2020-10-13 | OneTrust, LLC | Data processing systems for orphaned data identification and deletion and related methods |
US11544409B2 (en) | 2018-09-07 | 2023-01-03 | OneTrust, LLC | Data processing systems and methods for automatically protecting sensitive data within privacy management systems |
US11474795B2 (en) * | 2018-09-11 | 2022-10-18 | Apple Inc. | Static enforcement of provable assertions at compile |
CN109491923B (zh) * | 2018-12-14 | 2021-11-12 | 东软集团股份有限公司 | 新增异常代码的确定方法、装置、介质及电子设备 |
EP3910478B1 (en) * | 2020-05-15 | 2023-03-01 | Tata Consultancy Services Limited | Method and system for classification and ranking of delta alarms |
US11314632B2 (en) * | 2020-05-19 | 2022-04-26 | Tata Consultancy Services Limited | Method and system for identification and elimination of false positives from delta alarms |
EP4179435A1 (en) | 2020-07-08 | 2023-05-17 | OneTrust LLC | Systems and methods for targeted data discovery |
EP4189569A1 (en) | 2020-07-28 | 2023-06-07 | OneTrust LLC | Systems and methods for automatically blocking the use of tracking tools |
US11475165B2 (en) | 2020-08-06 | 2022-10-18 | OneTrust, LLC | Data processing systems and methods for automatically redacting unstructured data from a data subject access request |
US11436373B2 (en) | 2020-09-15 | 2022-09-06 | OneTrust, LLC | Data processing systems and methods for detecting tools for the automatic blocking of consent requests |
US11526624B2 (en) | 2020-09-21 | 2022-12-13 | OneTrust, LLC | Data processing systems and methods for automatically detecting target data transfers and target data processing |
US11579851B2 (en) * | 2020-09-22 | 2023-02-14 | Tata Consultancy Services Limited | Method and system for identification of redundant function-level slicing calls |
EP4241173A1 (en) | 2020-11-06 | 2023-09-13 | OneTrust LLC | Systems and methods for identifying data processing activities based on data discovery results |
US11765193B2 (en) | 2020-12-30 | 2023-09-19 | International Business Machines Corporation | Contextual embeddings for improving static analyzer output |
WO2022159901A1 (en) | 2021-01-25 | 2022-07-28 | OneTrust, LLC | Systems and methods for discovery, classification, and indexing of data in a native computing system |
WO2022170047A1 (en) | 2021-02-04 | 2022-08-11 | OneTrust, LLC | Managing custom attributes for domain objects defined within microservices |
US20240111899A1 (en) | 2021-02-08 | 2024-04-04 | OneTrust, LLC | Data processing systems and methods for anonymizing data samples in classification analysis |
US20240098109A1 (en) | 2021-02-10 | 2024-03-21 | OneTrust, LLC | Systems and methods for mitigating risks of third-party computing system functionality integration into a first-party computing system |
US11775348B2 (en) | 2021-02-17 | 2023-10-03 | OneTrust, LLC | Managing custom workflows for domain objects defined within microservices |
WO2022178219A1 (en) | 2021-02-18 | 2022-08-25 | OneTrust, LLC | Selective redaction of media content |
US11533315B2 (en) | 2021-03-08 | 2022-12-20 | OneTrust, LLC | Data transfer discovery and analysis systems and related methods |
CN112699057B (zh) * | 2021-03-24 | 2021-06-18 | 广州弘一信息科技股份有限公司 | 一种软件开发过程中的预警系统 |
US11562078B2 (en) | 2021-04-16 | 2023-01-24 | OneTrust, LLC | Assessing and managing computational risk involved with integrating third party computing functionality within a computing system |
US11704226B2 (en) * | 2021-09-23 | 2023-07-18 | Intel Corporation | Methods, systems, articles of manufacture and apparatus to detect code defects |
US20230129536A1 (en) * | 2021-10-22 | 2023-04-27 | Tata Consultancy Services Limited | Method and system for identifying static analysis alarms based on semantics of changed source code |
CN114936109A (zh) * | 2022-05-25 | 2022-08-23 | 南通大学 | 一种基于模型检测的反例故障定位方法 |
US11620142B1 (en) | 2022-06-03 | 2023-04-04 | OneTrust, LLC | Generating and customizing user interfaces for demonstrating functions of interactive user environments |
Family Cites Families (20)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7430670B1 (en) * | 1999-07-29 | 2008-09-30 | Intertrust Technologies Corp. | Software self-defense systems and methods |
US7516446B2 (en) * | 2002-06-25 | 2009-04-07 | International Business Machines Corporation | Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs |
US7519952B2 (en) * | 2003-07-28 | 2009-04-14 | International Business Machines Corporation | Detecting an integrity constraint violation in a database by analyzing database schema, application and mapping and inserting a check into the database and application |
US8006233B2 (en) * | 2007-02-21 | 2011-08-23 | International Business Machines Corporation | System and method for the automatic verification of privilege-asserting and subject-executed code |
US8402439B2 (en) * | 2008-06-27 | 2013-03-19 | Microsoft Corporation | Program analysis as constraint solving |
JP4959640B2 (ja) * | 2008-07-10 | 2012-06-27 | 富士ソフト株式会社 | モデル検査支援装置及びプログラム |
US8276123B1 (en) * | 2008-07-22 | 2012-09-25 | Juniper Networks, Inc. | Adaptive regression test selection within testing environments |
US8359578B2 (en) * | 2008-10-01 | 2013-01-22 | Nec Laboratories America, Inc. | Symbolic reduction of dynamic executions of concurrent programs |
US8448145B2 (en) * | 2008-10-07 | 2013-05-21 | Nec Laboratories America, Inc. | Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions |
US8776027B2 (en) * | 2009-03-06 | 2014-07-08 | Microsoft Corporation | Extracting and collecting platform use data |
US8336034B2 (en) * | 2009-04-30 | 2012-12-18 | Nec Laboratories America, Inc. | Modular bug detection with inertial refinement |
US9389987B1 (en) * | 2010-08-22 | 2016-07-12 | Panaya Ltd. | Method and system for identifying missing test scenarios by comparing authorized processes with available test scenarios |
US8595701B2 (en) * | 2011-02-04 | 2013-11-26 | Fujitsu Limited | Symbolic execution and test generation for GPU programs |
US8732669B2 (en) * | 2011-03-11 | 2014-05-20 | Oracle International Corporation | Efficient model checking technique for finding software defects |
JP2013065258A (ja) * | 2011-09-20 | 2013-04-11 | Nec Corp | 情報処理装置、情報処理方法及び情報処理プログラム |
US8756587B2 (en) | 2011-09-30 | 2014-06-17 | International Business Machines Corporation | Static analysis of computer software applications |
US8745578B2 (en) * | 2011-12-04 | 2014-06-03 | International Business Machines Corporation | Eliminating false-positive reports resulting from static analysis of computer software |
CN103294594B (zh) | 2013-05-08 | 2016-01-06 | 南京大学 | 一种基于测试的静态分析误报消除方法 |
US9652360B2 (en) * | 2014-04-04 | 2017-05-16 | Fujitsu Limited | Crawling for extracting a model of a GUI-based application |
US9619375B2 (en) * | 2014-05-23 | 2017-04-11 | Carnegie Mellon University | Methods and systems for automatically testing software |
-
2016
- 2016-08-24 EP EP16185506.9A patent/EP3144816A1/en not_active Ceased
- 2016-08-26 US US15/249,179 patent/US10002064B2/en active Active - Reinstated
- 2016-09-07 JP JP2016174414A patent/JP6320475B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2017062780A (ja) | 2017-03-30 |
US10002064B2 (en) | 2018-06-19 |
EP3144816A1 (en) | 2017-03-22 |
US20170075787A1 (en) | 2017-03-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6320475B2 (ja) | 誤検出の効率的な排除に基づく静的解析 | |
US9569345B2 (en) | Architectural failure analysis | |
US8621441B2 (en) | System and method for software immunization based on static and dynamic analysis | |
US7770080B2 (en) | Using neighborhood functions to extract logical models of physical failures using layout based diagnosis | |
US8645761B2 (en) | Precise fault localization | |
US7971193B2 (en) | Methods for performining cross module context-sensitive security analysis | |
CN111104335B (zh) | 一种基于多层次分析的c语言缺陷检测方法及装置 | |
US10049031B2 (en) | Correlation of violating change sets in regression testing of computer software | |
JP2008089549A (ja) | 論理回路における多重故障の故障箇所推定システム、故障箇所推定方法および故障箇所推定用プログラム | |
EP3682324A1 (en) | Method and apparatus for finding long methods in code | |
US8365114B2 (en) | Logic modification synthesis | |
US20050262399A1 (en) | Aggregating and prioritizing failure signatures by a parsing program | |
CN102508766A (zh) | 一种航天嵌入式c语言软件运行时错误的静态分析方法 | |
JP2018055676A (ja) | 自動ソフトウェアプログラム修復 | |
Wotawa | Debugging VHDL designs using model-based reasoning | |
JP2016085152A (ja) | 診断装置、診断プログラム及び診断方法 | |
US8015523B2 (en) | Method and system for sequential netlist reduction through trace-containment | |
US10234502B1 (en) | Circuit defect diagnosis based on sink cell fault models | |
CN111241766B (zh) | 测试方法与测试系统 | |
Malburg et al. | Tuning dynamic data flow analysis to support design understanding | |
US7650579B2 (en) | Model correspondence method and device | |
US7689399B1 (en) | Automatic extraction of design properties | |
JP2019215867A (ja) | ソースコードのプロパティを検証するための方法およびシステム | |
JP2017041085A (ja) | プログラム仕様推定装置、推定方法、および推定プログラム | |
TWI499787B (zh) | 多重故障診斷方法和機器可讀媒體 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20170822 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20171121 |
|
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: 20180320 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20180403 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6320475 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 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |