10 December 2001
David Larochelle
16
Related Work
•Lexical
analysis
–grep,
its4, RATS, FlawFinder
•Wagner,
Foster, Brewer [NDSSS ‘00]
–Integer range constraints
–Flow
insensitive analysis
•Dor, Rodeh and Sagiv [SAS ‘01]
–Source-to-source transformation with asserts and
additional variables.