Oink aims to be
- industrial-strength for immediate utility in finding bugs,
- extensible for ease in adding backends, and
- composable for ease in combining existing backends.
Oink
looks like a sorely needed advance in static analysis for C++. the flow checking is especially nice.