looks like a sorely needed advance in static analysis for C++. the flow checking is especially nice.

Oink aims to be

1. industrial-strength for immediate utility in finding bugs,
2. extensible for ease in adding backends, and
3. composable for ease in combining existing backends.

• Uncategorized