Loopfrog: A Static Analyzer for ANSI-C Programs
Additional information
Authors
Kröning D.,
Sharygina N.,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M.
Type
Article in conference proceedings
Year
2009
Language
English
Conference proceedings
The 24th IEEE/ACM International Conference on Automated Software Engineering
Publisher
IEEE Computer Society
Meeting place
Auckland, New Zealand
Pages (or article number)
668-670
