Google
 
   
Login
Username:

Password:


Lost Password?

Register now!
Search

Advanced Search
Main Menu
top books
Polls
What do you think about php-deluxe.net?
Excellent!
Cool
Hmm..not bad
What the hell is this?
encyclopedia
Computer ethics
Marvin Minsky
Oekaki
Washington Post Company
ATI Technologies
TEBR
Corel
recommendation
compare webbrowser
Freenet DSL
Who's Online
5 user(s) are online (5 user(s) are browsing encyclopedia)

Members: 0
Guests: 5

more...
browser tip
Unix Befehle
manual of unix befehle
recommendation!
Sponsored
partner

Introspector (program)

Introspector is a software tool to explore the structure of Computer program 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 (informatics) for higher speed transfer of the data. The ice cube is a compressed data cube, a set of vectors describing the compiler graphs efficiently.

=External links=

*[http://introspector.sourceforge.net/ Introspector Homepage] *[http://www.ntlug.org/~cbbrowne/c.html Here are a good list of related compiler projects]

See also: AspectX, srcML, XWeaver

=Closely related projects=

*[http://wiki.dotgnu.org/Binge Binge] *[http://swag.uwaterloo.ca/~cppx/ CPPX] *[http://www.gccxml.org GccXML] is very similar *[http://sourceforge.net/projects/gasta/ GaSta] is basically the same project *[http://www.program-transformation.org ProgramTransformation] *[http://www.stratego-language.org Stratego]

=Related software=

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