JP7800717B2 - 脆弱性発見装置、脆弱性発見方法及び脆弱性発見プログラム - Google Patents
脆弱性発見装置、脆弱性発見方法及び脆弱性発見プログラムInfo
- Publication number
- JP7800717B2 JP7800717B2 JP2024550957A JP2024550957A JP7800717B2 JP 7800717 B2 JP7800717 B2 JP 7800717B2 JP 2024550957 A JP2024550957 A JP 2024550957A JP 2024550957 A JP2024550957 A JP 2024550957A JP 7800717 B2 JP7800717 B2 JP 7800717B2
- Authority
- JP
- Japan
- Prior art keywords
- execution
- unit
- virtual machine
- instruction
- branch
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- General Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| PCT/JP2022/037943 WO2024079803A1 (ja) | 2022-10-11 | 2022-10-11 | 脆弱性発見装置、脆弱性発見方法及び脆弱性発見プログラム |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPWO2024079803A1 JPWO2024079803A1 (https=) | 2024-04-18 |
| JP7800717B2 true JP7800717B2 (ja) | 2026-01-16 |
Family
ID=90668954
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2024550957A Active JP7800717B2 (ja) | 2022-10-11 | 2022-10-11 | 脆弱性発見装置、脆弱性発見方法及び脆弱性発見プログラム |
Country Status (2)
| Country | Link |
|---|---|
| JP (1) | JP7800717B2 (https=) |
| WO (1) | WO2024079803A1 (https=) |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2022180702A1 (ja) | 2021-02-24 | 2022-09-01 | 日本電信電話株式会社 | 解析機能付与装置、解析機能付与プログラム及び解析機能付与方法 |
-
2022
- 2022-10-11 JP JP2024550957A patent/JP7800717B2/ja active Active
- 2022-10-11 WO PCT/JP2022/037943 patent/WO2024079803A1/ja not_active Ceased
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2022180702A1 (ja) | 2021-02-24 | 2022-09-01 | 日本電信電話株式会社 | 解析機能付与装置、解析機能付与プログラム及び解析機能付与方法 |
Non-Patent Citations (3)
| Title |
|---|
| 平松 勇人 ほか,カーネル内インタプリタに特化したファジングの提案,情報処理学会 シンポジウム コンピュータセキュリティシンポジウム 2021,日本,情報処理学会,2021年10月19日,pages 395-402 |
| 碓井 利宣 ほか,スクリプト実行環境に対するマルチパス実行機能の自動付与手法,情報処理学会 シンポジウム コンピュータセキュリティシンポジウム 2019,日本,情報処理学会,2019年10月14日,pages 961-968 |
| 碓井 利宣 ほか,スクリプト実行環境に対する実行遅延・実行停止を回避する機能の自動付与手法,情報処理学会 シンポジウム コンピュータセキュリティシンポジウム 2021,日本,情報処理学会,2021年10月19日,pages 794-801 |
Also Published As
| Publication number | Publication date |
|---|---|
| JPWO2024079803A1 (https=) | 2024-04-18 |
| WO2024079803A1 (ja) | 2024-04-18 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP7517585B2 (ja) | 解析機能付与装置、解析機能付与プログラム及び解析機能付与方法 | |
| Shen et al. | Automating performance bottleneck detection using search-based application profiling | |
| US8683282B2 (en) | Automatic identification of information useful for generation-based functional verification | |
| CN106407809A (zh) | 一种Linux平台恶意软件检测方法 | |
| CN113127342B (zh) | 基于电网信息系统特征选择的缺陷预测方法及装置 | |
| CN110765459A (zh) | 一种恶意脚本检测方法、装置和存储介质 | |
| US11822463B2 (en) | Computer-implemented method and device for selecting a fuzzing method for testing a program code | |
| CN114510722A (zh) | 增量代码的静态检测方法及检测系统 | |
| Wang et al. | Conftainter: Static taint analysis for configuration options | |
| Gu et al. | Deepprof: Performance analysis for deep learning applications via mining gpu execution patterns | |
| JP7568131B2 (ja) | 解析機能付与方法、解析機能付与装置及び解析機能付与プログラム | |
| Imtiaz et al. | Predicting vulnerability for requirements | |
| Ngo et al. | Ranking warnings of static analysis tools using representation learning | |
| CN116702157A (zh) | 一种基于神经网络的智能合约漏洞检测方法 | |
| Godboley et al. | Ssg-afl: Vulnerability detection for reactive systems using static seed generator based afl | |
| JP7800717B2 (ja) | 脆弱性発見装置、脆弱性発見方法及び脆弱性発見プログラム | |
| JP7838662B2 (ja) | 脆弱性発見装置、脆弱性発見方法及び脆弱性発見プログラム | |
| JP7800718B2 (ja) | 解析機能付与装置、解析機能付与方法及び解析機能付与プログラム | |
| Mariano et al. | Analyzing graph-based algorithms employed to generate test cases from finite state machines | |
| CN114706769B (zh) | 基于日志的面向回归测试的黑盒测试用例排序方法 | |
| JP7568128B2 (ja) | 解析機能付与方法、解析機能付与装置及び解析機能付与プログラム | |
| WO2024214263A1 (ja) | 解析機能付与装置、解析機能付与方法及び解析機能付与プログラム | |
| JP2019003333A (ja) | バグ混入確率計算プログラム及びバグ混入確率計算方法 | |
| da Cruz et al. | Using a cluster analysis method for grouping classes according to their inferred testability: An investigation of CK metrics, code coverage and mutation score | |
| Duque-Torres et al. | MetaExploreX: A Visualisation Tool for Selecting and Constraining Metamorphic Relations |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20250307 |
|
| 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: 20251202 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20251215 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 7800717 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |