• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
 
Elsa/Oink/Cqual++:Open-Source Static Analysis for C++
Scott McPeak Daniel Wilkersonwork with Rob JohnsonCodeCon 2006
 
 
Goals
•Build extensible infrastructure to•Find certain categories of bugs
 – Exhaustively, within some constraints
•At compile time•In real-world C and C++ programs•Using composable analyses
 
 
Components
•Elkhound: Generalized LR Parser Generator •Elsa: C++ Parser •Oink: Whole-program dataflow•Cqual++: Type qualifier analysis
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...