CN103559125B - 一种利用图同构验证编译器的方法 - Google Patents
一种利用图同构验证编译器的方法 Download PDFInfo
- Publication number
- CN103559125B CN103559125B CN201310512437.9A CN201310512437A CN103559125B CN 103559125 B CN103559125 B CN 103559125B CN 201310512437 A CN201310512437 A CN 201310512437A CN 103559125 B CN103559125 B CN 103559125B
- Authority
- CN
- China
- Prior art keywords
- node
- program
- information
- statement
- graph
- 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
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
Description
Claims (7)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310512437.9A CN103559125B (zh) | 2013-10-25 | 2013-10-25 | 一种利用图同构验证编译器的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310512437.9A CN103559125B (zh) | 2013-10-25 | 2013-10-25 | 一种利用图同构验证编译器的方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103559125A CN103559125A (zh) | 2014-02-05 |
CN103559125B true CN103559125B (zh) | 2015-12-09 |
Family
ID=50013376
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310512437.9A Active CN103559125B (zh) | 2013-10-25 | 2013-10-25 | 一种利用图同构验证编译器的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103559125B (zh) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103914657B (zh) * | 2014-04-16 | 2016-10-19 | 南京大学 | 一种基于函数特征的恶意程序检测方法 |
CN104021346B (zh) * | 2014-06-06 | 2017-02-22 | 东南大学 | 基于程序流程图的Android恶意软件检测方法 |
CN106611125A (zh) * | 2016-12-12 | 2017-05-03 | 中国航空工业集团公司洛阳电光设备研究所 | 一种验证编译器安全性的方法 |
CN107391368B (zh) * | 2017-07-13 | 2021-02-09 | 中国航发控制系统研究所 | 一种航空机载软件中源代码与目标代码一致性的分析方法 |
CN109344576B (zh) * | 2018-09-17 | 2023-04-25 | 三六零科技集团有限公司 | 一种应用程序处理方法、装置、电子设备及可读存储介质 |
CN110716855B (zh) * | 2019-08-23 | 2021-05-14 | 中国科学院信息工程研究所 | 处理器指令集测试方法及装置 |
CN116680447A (zh) * | 2020-08-18 | 2023-09-01 | 上海帆格网络科技有限公司 | 高效稳定的(子)图(矩阵)同构算法 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101216803A (zh) * | 2008-01-09 | 2008-07-09 | 四川大学 | 基于基路径的测试程序控制流路径集生成方法 |
CN102521008A (zh) * | 2011-12-28 | 2012-06-27 | 用友软件股份有限公司 | 程序编译装置和程序编译方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8381204B2 (en) * | 2008-04-30 | 2013-02-19 | International Business Machines Corporation | Compiler driven mechanism for registration and deregistration of memory pages |
-
2013
- 2013-10-25 CN CN201310512437.9A patent/CN103559125B/zh active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101216803A (zh) * | 2008-01-09 | 2008-07-09 | 四川大学 | 基于基路径的测试程序控制流路径集生成方法 |
CN102521008A (zh) * | 2011-12-28 | 2012-06-27 | 用友软件股份有限公司 | 程序编译装置和程序编译方法 |
Also Published As
Publication number | Publication date |
---|---|
CN103559125A (zh) | 2014-02-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103559125B (zh) | 一种利用图同构验证编译器的方法 | |
Feist et al. | Slither: a static analysis framework for smart contracts | |
Schäfer et al. | An empirical evaluation of using large language models for automated unit test generation | |
JP5042315B2 (ja) | ソースコード内のセキュリティ脆弱性の検出 | |
Nogueira et al. | Test generation from state based use case models | |
IL97177A (en) | Method for creating a consecutive circle | |
Jiang et al. | RULF: Rust library fuzzing via API dependency graph traversal | |
Kim et al. | Software vulnerability detection methodology combined with static and dynamic analysis | |
Zhang et al. | BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation | |
Walkinshaw et al. | Inferring computational state machine models from program executions | |
Semeráth et al. | Diversity of graph models and graph generators in mutation testing | |
Yoshida et al. | FSX: Fine-grained incremental unit test generation for C/C++ programs | |
Green et al. | Graphfuzz: Library API fuzzing with lifetime-aware dataflow graphs | |
Kästner et al. | Variability mining with leadt | |
Mansky et al. | Verifying dynamic race detection | |
Zhang et al. | Detecting vulnerabilities in C programs using trace-based testing | |
Andriushchenko et al. | Search and explore: symbiotic policy synthesis in POMDPs | |
Gonzalez et al. | Almost rerere: Learning to resolve conflicts in distributed projects | |
CN113868136A (zh) | 一种基于Go语言可执行形式化语义的程序漏洞分析方法 | |
Garavel et al. | State space reduction for process algebra specifications | |
Gabor et al. | High-accuracy software fault injection in source code with clang | |
Lal et al. | Reachability modulo theories | |
Khalil et al. | Optimizing the symbolic execution of evolving rhapsody statecharts | |
CN111488558B (zh) | 脚本保护方法、装置、计算机可读存储介质和计算机设备 | |
CN115310095A (zh) | 一种区块链智能合约混合形式化验证方法及系统 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
CB03 | Change of inventor or designer information |
Inventor after: Feng Sumei Inventor after: Zhao Yunfei Inventor after: Jiang Guojin Inventor after: Bai Tao Inventor after: Sun Yongbin Inventor after: Liu Jianlong Inventor after: Li Youyuan Inventor after: Yuan Jintao Inventor after: Yang Xiaoyu Inventor after: Ning Dai Inventor before: Feng Sumei Inventor before: Liu Jianlong Inventor before: Li Youyuan Inventor before: Yuan Jintao Inventor before: Yang Xiaoyu Inventor before: Zhao Yunfei |
|
CB03 | Change of inventor or designer information |