搜索结果: 1-1 共查到“操作系统与操作环境 Symbolic Execution”相关记录1条 . 查询时间(0.078 秒)
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...