Oink is a collaboration of backends for the Elsa C and C++ frontend. It aims to be industrial-strength for immediate utility in finding bugs, extensible for ease in adding backends, and composable for ease in combining existing ones. It computes expression-level and type-level data flow, and statement-level intra-procedural control flow (by delegating to Elsa). It's easy to get started by using the two demo backends that print graphs of these flows. It also comes with a client of the data flow analysis that does type qualifier inference: Cqual++, a C/C++ frontend for Cqual. Whole-program analyses may be attempted using the linker imitator. [edit]
Oink is a collaboration of backends for the Elsa C and C++ frontend. It aims to be industr...
| OStatic Users | 0 |
| Stories | 0 |
| Questions | 0 |
Share a valuable story about oink with the OStatic Community.
Ask the OStatic community your question about this software.