Télécharger la liste

Description du projet

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.

Système requise

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2004-11-23 01:42
2004.11.19

Tags: Initial freshmeat announcement

Project Resources