搜索结果: 1-1 共查到“计算机科学技术 symbolic execution”相关记录1条 . 查询时间(0.08 秒)
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...