Infer: An Automatic Program Verifier for Memory Safety of C Programs.
Cristiano CalcagnoDino DistefanoPublished in: NASA Formal Methods (2011)
Keyphrases
- computer programs
- program execution
- automatic programming
- programming environment
- prolog programs
- control program
- control flow
- java programs
- high level programming language
- computer chess
- novice programmers
- functional programs
- programming environments
- programming education
- program code
- memory size
- fault localization
- program slicing
- intermediate level
- memory usage
- hardware designs
- fully automatic
- recursive programs
- set of test cases
- real time
- high level programming
- java bytecode
- multi threaded
- software testing
- data flow
- memory requirements
- programming language
- database systems
- data sets