搜索结果: 1-1 共查到“计算机科学技术 Towards Automated Detection”相关记录1条 . 查询时间(0.062 秒)
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities
Towards Automated Detection Buffer Overrun Vulnerabilities
2016/5/24
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection of buffer overruns as...