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

搜索资源列表

  1. CDG-ConstructionAlgorithm:ControlDependenceGraph控制依赖图构造算法-源码

  2. 控制依赖图(CDG)控制依赖图构建算法 注意:该项目依赖 需要提前设置环境变量LLVM_DIR以及SVF_DIR 使用以下命令编译Debug Edition npm i svf-lib cmake . && make 使用以下命令编译发行版 npm i svf-lib cmake -DCMAKE_BUILD_TYPE=Debug . && make 执行以下脚本以生成示例中调试所需要的bc,ll,CFG,ICFG以及PostDominator树 ./examples/print_test_gr
  3. 所属分类:其它

    • 发布日期:2021-03-18
    • 文件大小:27kb
    • 提供者:weixin_42098830