Introspector (program)
|
|
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.
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
- Introspector Homepage (http://introspector.sourceforge.net/)
- Here are a good list of related compiler projects (http://www.ntlug.org/~cbbrowne/c.html)
See also: AspectX, srcML, XWeaver
Closely related projects
- Binge (http://wiki.dotgnu.org/Binge)
- CPPX (http://swag.uwaterloo.ca/~cppx/)
- GccXML (http://www.gccxml.org) is very similar
- GaSta (http://sourceforge.net/projects/gasta/) is basically the same project
- ProgramTransformation (http://www.program-transformation.org/twiki/bin/view/Transform)
- Stratego (http://www.stratego-language.org/twiki/bin/view/Stratego/WebHome)
Related software
- SWIG
- VFiasco (http://os.inf.tu-dresden.de/vfiasco/)
- Dandelion (http://www.mars.dti.ne.jp/~umejava/smalltalk/stClasses/dandelion/) is for Smalltalk
- Tunes (http://cliki.tunes.org)
- PdToolkit (http://www.cs.uoregon.edu/research/paracomp/pdtoolkit/)
- SpLint (http://www.splint.org/links.html)
- SMatch (http://sourceforge.net/projects/smatch/)
- MoZart (http://mozart-dev.sourceforge.net/)
- CppTool (http://sourceforge.net/projects/cpptool) is a C++ refactoring tool
- FlawFinder (http://www.dwheeler.com/flawfinder/) is a PyThon program that analyses C programs
- PsCan (http://www.striker.ottawa.on.ca/%7Ealand/pscan/) is a C program that parses C and checks for errors
- Smatch (http://smatch.sourceforge.net/)
- Cqual (http://www.cs.berkeley.edu/~jfoster/cqual/)
- Extended Static Checking for Java (http://www.research.compaq.com/SRC/esc/Esc.html)
- Simplify (http://www.research.compaq.com/SRC/esc/Simplify.html)
- JavaMarkupLanguage (http://www.cs.iastate.edu/~leavens/JML.html)
- ChAse (http://www-sop.inria.fr/lemme/verificard/modifSpec/index.html)
- DaIkon (http://pag.lcs.mit.edu/daikon/)
- LoOp (http://www.cs.kun.nl/~bart/LOOP/)
- EauClaire (http://sctest.cse.ucsc.edu/chess/EauClaire/)
- Moped (http://www.fmi.uni-stuttgart.de/szs/tools/moped/)
- Blast (http://www-cad.eecs.berkeley.edu/~rupak/blast/)
- Formal Verification Tools and Techniques for Autonomous Systems (http://is.arc.nasa.gov/AR/tasks/VrfTools.html)
- MOPS (http://www.cs.berkeley.edu/~daw/mops/) MOdelchecking Programs for Security properties
- JCAVE (http://www.sics.se/fdt/projects/vericode/jcave.html) - a framework for model checking JavaCard applets on the bytecode level
- MAGIC (http://www-2.cs.cmu.edu/~chaki/magic/) - Modular Analysis of proGrams In C
- BOOP (http://boop.sourceforge.net/)
- Prosper (http://www.dcs.gla.ac.uk/prosper/) - Proof and Specification Assisted Design Environments
- Spin (http://spinroot.com/spin/whatispin.html) - a model checker
- VeriSoft (http://cm.bell-labs.com/who/god/verisoft/)
- Bandera (http://bandera.projects.cis.ksu.edu/) - a tool set for model checking concurrent Java software
- Bogor (http://projects.cis.ksu.edu/projects/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 (http://www-2.cs.cmu.edu/%7Emodelcheck/cbmc/)
- Java Path Finder (http://ase.arc.nasa.gov/visser/jpf/)
- KISS project (http://research.microsoft.com/kiss/)
- CiL (http://raw.cs.berkeley.edu/ccured/cil/index.html)
- CiNdent (http://www.uvm.edu/~ashawley/c/indent/)
- CppReflection (http://www.garret.ru/~knizhnik/cppreflection/docs/reflect.html)
- CiNt (http://root.cern.ch/root/Cint.html) - a C interpreter
- Pnet (http://www.southern-storm.com.au/portable_net.html) - a managed C compiler for C, C#, and other languages
- GccTranslationUnit (http://www.omegahat.org/GccTranslationUnit/)
- PIRATE (http://pirate.tangentcode.com/)
- CSCOPE (http://cscope.sourceforge.net/)
- bane (http://www.cs.berkeley.edu/Research/Aiken/)
- FermaT (http://www.dur.ac.uk/martin.ward/fermat.html)
- Meta-Level Compilation (http://metacomp.stanford.edu/)
- The SLAM Project (http://research.microsoft.com/slam/) - Debugging System Software via Static Analysis