搜索结果: 1-2 共查到“工学 Automatically Generating”相关记录2条 . 查询时间(0.088 秒)
EXE:Automatically Generating Inputs of Death
Bug finding test case generation constraint solving symbolic execution dynamic analysis attack generation
2015/8/7
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input, EXE runs it on symbo...
Automatically Generating Malicious Disks using Symbolic Execution
Automatically Generating Malicious Disks Symbolic Execution
2015/8/7
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant violations before usin...