UD Chain可以帮助进行变量分离,使得程序变为static single assignment form。UD Chain的计算也是Liveness Analysis的其中一个步骤;同时也是另外一些编译优化算法的前置条件constant propagation和common subexpression elimination。Linear Code Sequence and Jump:提出这个概念的是利物浦大学的一位专攻软件测试的教授Mich
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. - analysis-tools-dev/static-analysis
LDRA ©️ — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules. MATE ⚠️— A suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code. MAT...