Related terms:
coding standards
static code
abstract interpretation
static analysis
code analysis
formal methods
source code analysis
original author
analysis tool
systems limited
security flaws
program lifecycle phase
style guidelines
high integrity
programming style
java programming
software maintenance
code review
program analysis
Wikipedia sources:
List of tools for static code analysis
Static program analysis
Coding conventions
SPARK (programming language)
Sparse
Jtest
Cppcheck
Veracode
FxCop
Context for words:
static
code
analysis
|
|