BriefGPT.xyz
Jan, 2024
C分析器:C程序的静态程序分析工具
C Analyzer : A Static Program Analysis Tool for C Programs
HTML
PDF
Rajendra Kumar Solanki
TL;DR
基于抽象解释技术的C程序静态分析工具,支持多种抽象域,能够对声明、赋值、二进制操作、条件语句、循环等C语言构造进行分析,但不支持数组、结构体、联合体、指针或函数调用。
Abstract
In our times, when the world is increasingly becoming more dependent on software programs, writing bug-free, correct programs is crucial.
program verification
based on
formal methods
can guarantee this by detecti
→