static program analysis
Sign in to saveAlso known as static code analysis, static analysis, static software analysis
program analysis performed without actually executing programs
Connections
operational semantics
Entity
software development process
Entity
Lint
Entity
programming style
Entity
correctness
Entity
dynamic program analysis
Entity
data-flow analysis
Entity
Isabelle
Entity
computer science
Entity
Alan Turing
Entity
software
Entity
International Standard Book Number
Entity
computer hardware
Entity
Wayback Machine
Entity
Kurt Gödel
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
compiler
Entity
software engineering
Entity
source code
Entity