Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
program analysis technique
|
| gptkbp:analyzes |
gptkb:law
object code |
| gptkbp:appliesTo |
compilers
integrated development environments security tools |
| gptkbp:canBe |
gptkb:music
complete incomplete unsound |
| gptkbp:contrastsWith |
dynamic program analysis
|
| gptkbp:detects |
dead code
memory leaks code smells race conditions unreachable code resource leaks null pointer dereferences potential vulnerabilities type errors |
| gptkbp:firstAppearance |
1960s
|
| https://www.w3.org/2000/01/rdf-schema#label |
Static program analysis
|
| gptkbp:implementedIn |
static analyzers
|
| gptkbp:includes |
type checking
control flow analysis data flow analysis symbolic execution abstract interpretation |
| gptkbp:limitation |
may produce false positives
scalability challenges may produce false negatives undecidability of some properties |
| gptkbp:notableContributor |
gptkb:Patrick_Cousot
gptkb:Radhia_Cousot |
| gptkbp:notableTool |
gptkb:Checkstyle
gptkb:PMD gptkb:CodeSonar gptkb:Coverity gptkb:SonarQube gptkb:ESLint gptkb:Clang_Static_Analyzer gptkb:FindBugs gptkb:PVS-Studio Infer |
| gptkbp:performedAt |
without executing the program
|
| gptkbp:relatedTo |
formal methods
model checking software testing software verification linting |
| gptkbp:usedFor |
optimization
bug detection security analysis code quality improvement |
| gptkbp:bfsParent |
gptkb:Abstract_interpretation
gptkb:lint_(UNIX_program) |
| gptkbp:bfsLayer |
8
|