EAAS/NFV crab-llvm 返回
项目作者： seahorn

项目描述 ：
Static Analyzer for LLVM bitcode based on Abstract Interpretation
高级语言： C
项目地址: git://github.com/seahorn/crab-llvm.git
创建时间： 2017-06-30T22:19:50Z
项目社区：https://github.com/seahorn/crab-llvm
开源协议：Apache License 2.0
下载