位置：成果数据库 > 会议 > 会议详情页
IntEQ: RecognizingBenign Integer Overflows via Equivalence Checking Across Multiple Precisions
  • 所属机构名称：南京大学
  • 会议名称：ICSE2016 accepted
  • 时间：2016.5
  • 成果类型：会议
  • 相关项目：基于定理证明的软件脆弱性分析方法研究
同会议论文项目
基于定理证明的软件脆弱性分析方法研究
期刊论文 24 会议论文 12
同项目会议论文
Hardware-Assisted Fine-Grained Code-Reuse Attack Detection
loop-oriented programming: a new code reuse attack to bypass modern defenses
Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis
Statically-Guided Fork-based Symbolic Execution forVulnerability Detection
Evaluating Initial Inputs for Concolic Testing
Crashmaker: An improved binary concolic testing tool for vulnerability detection
A Security Assurance Framework Combining Formal Verification and Security Functional Testing
EqualVisor: Providing Memory Protection in an Untrusted Commodity Hypervisor
Using Machine Language Model for Mimimorphic Malware Detection
Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability
ISboxing: an Instruction Substitution based Data Sandboxing for x86 Untrusted Libraries