PreFast 会检测某些无效异常和内存泄漏的实例,但其分析纯粹是过程内分析。同时,JetBrains Resharper 严重依赖开发人员注释进行内存安全验证。
transportEndpointHandle; if (flowContextLocal->addressFamily == AF_INET) { // See PREfast Opaque pointer tricks PREfast. #pragma prefast ( suppress: 28193, "We are NOT ignoring this return value" ) packet->ipv4RemoteAddr
nuf-fuzzer 源代码审计工具 ITS4、RATS(Rough Auditing Tool for Security)、Flawfinder、Splint(Secure Programming Lint)、PREfast