SVF:基于 LLVM 的静态值流分析工具项目

Star1
0
代码
代码
Issues
Pull Requests
项目讨论
Wiki
分析
Star1
0

Static Value-Flow Analysis Framework for Source Code

分支2Tags25

项目介绍

源代码静态值流分析框架【此简介由AI生成】

Others C++4.62 K提交数abstract-interpretationbug-detectioncode-analysiscode-verificationdependency-analysisllvmpointer-analysispoints-to-analysissource-code-analysisstatic-analysisstatic-analyzerstatic-value-flow
定制我的领域
README
551.71 K496访问 GitHub