Introspector (program)
From Free net encyclopedia
←Older revision | Newer revision→
Introspector is a software tool to explore the structure of programs that can be compiled with the GNU Compiler Collection. The project was started in early 2002, and made a release in November 2003. It has been restarted in November 2004 and is gaining new form.
The introspector is being described in more detail on the introspector wikibook http://en.wikibooks.org/wiki/Introspector
It works by using a version of GCC modified to output data in Resource Description Framework format via the Redland API from its abstract semantic graph, then uses the special data structure "ice cube" for higher speed transfer of the data. The ice cube is a compressed data cube, a set of vectors describing the compiler graphs efficiently.
Contents |
External links
See also: AspectX, srcML, XWeaver
Closely related projects
- Binge
- CPPX
- GccXML is very similar
- GaSta is basically the same project
- ProgramTransformation
- Stratego
Related software
- SWIG
- VFiasco
- Dandelion is for Smalltalk
- Tunes
- PdToolkit
- SpLint
- SMatch
- MoZart
- CppTool is a C++ refactoring tool
- FlawFinder is a Python program that analyses C programs
- PsCan is a C program that parses C and checks for errors
- Smatch
- Cqual
- Extended Static Checking for Java
- Simplify
- Java Modeling Language
- ChAse
- DaIkon
- LoOp
- EauClaire
- Moped
- Blast
- Formal Verification Tools and Techniques for Autonomous Systems
- MOPS MOdelchecking Programs for Security properties
- JCAVE - a framework for model checking JavaCard applets on the bytecode level
- MAGIC - Modular Analysis of proGrams In C
- BOOP
- Prosper - Proof and Specification Assisted Design Environments
- Spin - a model checker
- VeriSoft
- Bandera - a tool set for model checking concurrent Java software
- Bogor - a highly customizable and modular model checking framework aimed to ease the development of robust and efficient domain-specific model checkers for verification of dynamic and concurrent software
- Bounded Model Checking for ANSI-C
- Java Path Finder
- KISS project
- CiL
- CiNdent
- CppReflection
- CiNt - a C interpreter
- Pnet - a managed C compiler for C, C#, and other languages
- GccTranslationUnit
- PIRATE
- CSCOPE
- bane
- FermaT
- Meta-Level Compilation
- The SLAM Project - Debugging System Software via Static Analysis