登陆
注册
工具列表
Tool list
Clang Static Analyzer
2020-06-01
127
-
clang static analyzer源码分析（二）
今天简单介绍下 PathSensitiveChecks 的概念，以及如何对clang static analyzer进行调试。
-
clang static analyzer源码分析（一）
clang静态代码分析是clang相对于gcc一个比较能够引起关注的点，特别是clang静态代码分析基于checker的架构和大部分的静态分析工具都不相同。clang静态代码分析使用符号执行的技术执行...
-
MPI-checker: static analysis for MPI
This paper presents MPI-Checker, a static analysis checker to verify the correct usage of the MPI AP...
