搜索结果: 1-1 共查到“工学 Symbolic Execution”相关记录1条 . 查询时间(0.031 秒)
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...