首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏张善友的专栏

    Infer#:将 Facebook 的静态分析器带工具带到 C# 和 .NET

    PreFast 会检测某些无效异常和内存泄漏的实例,但其分析纯粹是过程内分析。同时,JetBrains Resharper 严重依赖开发人员注释进行内存安全验证。

    1.7K10发布于 2020-12-29
  • 来自专栏Eureka的技术时光轴

    Windows驱动_WFP之四WFP代码基本流程的剖析

    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

    3.4K20发布于 2020-06-01
  • 来自专栏FreeBuf

    Hacking Tools搜罗大集合

    nuf-fuzzer 源代码审计工具 ITS4、RATS(Rough Auditing Tool for Security)、Flawfinder、Splint(Secure Programming Lint)、PREfast

    2.1K91发布于 2018-02-24
领券