|
About:
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.
Author:
OrganicOrange [contact developer]
Homepage:
http://www.cubewano.org/oink
Trove categories:
[change]
| [Development Status] | | 3 - Alpha | | [Environment] | | Console (Text Based), MacOS X | | [Intended Audience] | | Developers, Quality Engineers, System Administrators | | [License] | | OSI Approved :: BSD License (revised) | | [Operating System] | | MacOS X, Microsoft :: Windows :: Cygwin, POSIX :: Linux | | [Programming Language] | | C, C++ | | [Topic] | | Security, Software Development, Software Development :: Build Tools, Software Development :: Compilers, Software Development :: Quality Assurance, Software Development :: Testing |
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
(not rated)
» Vitality: 0.00% (Rank 25478)
» Popularity: 0.32% (Rank 17343)
 
(click to enlarge graphs)
Record hits: 4,901
URL hits: 563
Subscribers: 6
|
|
