Static Analysis: C Code Error Checking for Reliable and Secure Programming.
S. KarthikH. G. JayakumarPublished in: IEC (Prague) (2005)
Keyphrases
- static analysis
- malicious code
- source code
- dynamic analysis
- symbolic execution
- java card
- error rate
- test generation
- programming language
- regular expressions
- open source
- error detection
- object oriented
- abstract interpretation
- high level
- program code
- code examples
- security analysis
- test suite
- decision trees
- program understanding
- key management
- security requirements
- operating system