您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. kubo:结合使用按需控制数据流切片,污点分析和符号执行,为Linux内核提供可扩展且精确的UB检测-源码

  2. KUBO:适用于OS内核的精确且可扩展的静态UB检测器 要求: Ubuntu 16.04、18.04、20.04 Python3 第三方软件包:networkx,matploitlib,argparse,termcolor,ipython cmake 在里面 LLVM 9.0:cd llvm && ./init.sh 因为我们修改了一些源代码,所以这将准备一个预构建的以及本机构建的llvm 9.0。 各种依赖项目:cd deps && ./build.sh 久保通行证:cd work
  3. 所属分类:其它

    • 发布日期:2021-02-26
    • 文件大小:23068672
    • 提供者:weixin_42121905