CN104714829B - 一种保证目标码和源代码一致性的编译链接方法 - Google Patents
一种保证目标码和源代码一致性的编译链接方法 Download PDFInfo
- Publication number
- CN104714829B CN104714829B CN201310690027.3A CN201310690027A CN104714829B CN 104714829 B CN104714829 B CN 104714829B CN 201310690027 A CN201310690027 A CN 201310690027A CN 104714829 B CN104714829 B CN 104714829B
- Authority
- CN
- China
- Prior art keywords
- code
- parameter
- compiling
- source code
- object code
- 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
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310690027.3A CN104714829B (zh) | 2013-12-15 | 2013-12-15 | 一种保证目标码和源代码一致性的编译链接方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310690027.3A CN104714829B (zh) | 2013-12-15 | 2013-12-15 | 一种保证目标码和源代码一致性的编译链接方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN104714829A CN104714829A (zh) | 2015-06-17 |
CN104714829B true CN104714829B (zh) | 2017-11-28 |
Family
ID=53414199
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310690027.3A Active CN104714829B (zh) | 2013-12-15 | 2013-12-15 | 一种保证目标码和源代码一致性的编译链接方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104714829B (pt-BR) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106293865B (zh) * | 2016-08-09 | 2019-05-31 | 中国银行股份有限公司 | 计算机源代码的编译方法及装置、认证方法、装置及系统 |
CN106611125A (zh) * | 2016-12-12 | 2017-05-03 | 中国航空工业集团公司洛阳电光设备研究所 | 一种验证编译器安全性的方法 |
CN108121285B (zh) * | 2017-12-20 | 2020-08-25 | 中国铁道科学研究院 | 基于连续功能图的应用软件协同编译方法及装置 |
US10671373B1 (en) * | 2018-12-30 | 2020-06-02 | Microsoft Technology Licensing, Llc | Mechanism for automatically incorporating software code changes into proper channels |
CN112181799A (zh) * | 2019-07-05 | 2021-01-05 | 北京新能源汽车股份有限公司 | 一种软件配置参数的测试方法、装置及汽车 |
CN114741123A (zh) * | 2022-02-11 | 2022-07-12 | 华东师范大学 | 一种机载软件形式化验证系统 |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CA2265473C (en) * | 1996-08-30 | 2002-10-22 | Intertrust Technologies Corp. | Systems and methods for secure transaction management and electronic rights protection |
CN1677364A (zh) * | 2004-03-22 | 2005-10-05 | 国际商业机器公司 | 对代码覆盖使用硬件辅助的自主测试用例反馈的方法和设备 |
CN1856759A (zh) * | 2003-08-20 | 2006-11-01 | 麦克罗维西恩欧洲公司 | 代码扰乱以及通过仿真来控制处理器 |
EP1491999A3 (en) * | 2003-06-26 | 2007-05-23 | Microsoft Corporation | Software development infrastructure |
CN103064787A (zh) * | 2012-12-21 | 2013-04-24 | 清华大学 | 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法 |
CN103440134A (zh) * | 2013-09-02 | 2013-12-11 | 电子科技大学 | 基于webkit内核的存储资源服务的本地扩展方法 |
-
2013
- 2013-12-15 CN CN201310690027.3A patent/CN104714829B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CA2265473C (en) * | 1996-08-30 | 2002-10-22 | Intertrust Technologies Corp. | Systems and methods for secure transaction management and electronic rights protection |
EP1491999A3 (en) * | 2003-06-26 | 2007-05-23 | Microsoft Corporation | Software development infrastructure |
CN1856759A (zh) * | 2003-08-20 | 2006-11-01 | 麦克罗维西恩欧洲公司 | 代码扰乱以及通过仿真来控制处理器 |
CN1677364A (zh) * | 2004-03-22 | 2005-10-05 | 国际商业机器公司 | 对代码覆盖使用硬件辅助的自主测试用例反馈的方法和设备 |
CN103064787A (zh) * | 2012-12-21 | 2013-04-24 | 清华大学 | 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法 |
CN103440134A (zh) * | 2013-09-02 | 2013-12-11 | 电子科技大学 | 基于webkit内核的存储资源服务的本地扩展方法 |
Non-Patent Citations (1)
Title |
---|
"面向可信的航空嵌入式软件开发方法框架";牛文生 等;《北京航空航天大学学报》;20121231;第38卷(第12期);第1577-1581页 * |
Also Published As
Publication number | Publication date |
---|---|
CN104714829A (zh) | 2015-06-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104714829B (zh) | 一种保证目标码和源代码一致性的编译链接方法 | |
Kinder et al. | Jakstab: a static analysis platform for binaries: tool paper | |
Feist et al. | Slither: a static analysis framework for smart contracts | |
Meng et al. | Binary code is not easy | |
CN105678169B (zh) | 一种二进制程序漏洞挖掘方法和系统 | |
CN101802792B (zh) | 用于测试航空器上的系统的操作软件的有效性的自动脚本生成方法及用于实现该方法的设备 | |
US8122440B1 (en) | Method and apparatus for enumerating external program code dependencies | |
CN104134039B (zh) | 病毒查杀方法、客户端、服务器以及病毒查杀系统 | |
CN103019799A (zh) | 具有指令签名支持的分布式编译处理 | |
Li et al. | Effective soundness-guided reflection analysis | |
CN101714118A (zh) | 一种二进制代码缓冲区溢出漏洞的检测器及其检测方法 | |
CN104375942A (zh) | 一种面向二进制的混合模糊测试方法 | |
CN105487983B (zh) | 基于智能路径引导的敏感点逼近方法 | |
Charif-Rubial et al. | MIL: A language to build program analysis tools through static binary instrumentation | |
CN102681932B (zh) | 一种检测软件异常输入处理正确性的方法 | |
CN104484266A (zh) | 一种锁使用模式自动化静态分析系统 | |
Borzykh et al. | Detecting Code Security Breaches by Means of Dataflow Analysis | |
Bandyopadhyay et al. | Poster: An efficient equivalence checking method for petri net based models of programs | |
Bandyopadhyay et al. | A path-based equivalence checking method for petri net based models of programs | |
Guarnieri et al. | Security vulnerabilities detection and protection using Eclipse | |
Küchler et al. | Representing llvm-ir in a code property graph | |
Gustafson et al. | Shimware: Toward Practical Security Retrofitting for Monolithic Firmware Images | |
Gu et al. | Vetting api usages in c programs with imchecker | |
Küster et al. | Towards explicit behavioral consistency concepts in the UML | |
Paltoglou et al. | Automated refactoring of client-side JavaScript code to ES6 modules |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |