Introspector/RelatedProjects

From Wikibooks, open books for an open world
Jump to navigation Jump to search

SWIG is the Simplied Wrapper Interface Generator http://www.swig.org

CpPx is an related GccPatch http://swag.uwaterloo.ca/~cppx/

GccXml is very similar http://www.gccxml.org

VfIasco - to further develop coalgebraic specification techniques such that these techniques can be applied to real software http://os.inf.tu-dresden.de/vfiasco/

DaNdelion is for Smalltalk http://www.mars.dti.ne.jp/~umejava/smalltalk/stClasses/dandelion/

TunesProject http://cliki.tunes.org

PdToolkit http://www.cs.uoregon.edu/research/paracomp/pdtoolkit/

GaSta : http://sourceforge.net/projects/gasta/

SpLint : http://www.splint.org/links.html

BiNge http://wiki.dotgnu.org/Binge


GccXRef http://sourceforge.net/projects/gccxref/ (link broken)

SMatch http://sourceforge.net/projects/smatch/

SmAtch http://smatch.sourceforge.net/

ProgramTransformation http://www.program-transformation.org/twiki/bin/view/Transform

StRatego http://www.stratego-language.org/twiki/bin/view/Stratego/WebHome

MoZart http://mozart-dev.sourceforge.net/

IntentionalProgramming http://groups.yahoo.com/group/intentionalprogramming/

CppTool is a CppRefactorer, a C++ refactoring tool http://sourceforge.net/projects/cpptool

FlawFinder is a Python program that analyses C programs. http://www.dwheeler.com/flawfinder/

PsCan is a C Program that parses C and checks for errors http://www.striker.ottawa.on.ca/%7Ealand/pscan/

Formal Verification Tools and Techniques for Autonomous Systems http://is.arc.nasa.gov/AR/tasks/VrfTools.html

MoPs MOdelchecking Programs for Security properties http://www.cs.berkeley.edu/~daw/mops/

MetaLevelCompilation http://metacomp.stanford.edu/

The SLAM Project - Debugging System Software via Static Analysis SlAm from MicroSoft http://research.microsoft.com/SLAM/main.htm http://research.microsoft.com/slam/


VaUlt from MicroSoft http://research.microsoft.com/projects/Vault/

CqUal http://www.cs.berkeley.edu/~jfoster/cqual/

EsCj ExtendedStaticCheckingforJava 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

Java Modeling Language http://www.jmlspecs.org

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://web.archive.org/20020105044046/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/

JCAVE a framework for model checking JavaCard applets on the bytecode level http://www.sics.se/fdt/projects/vericode/jcave.html

MAGIC Modular Analysis of proGrams In C http://www-2.cs.cmu.edu/~chaki/magic/

BOOP http://boop.sourceforge.net/

Prosper - Proof and Specification Assisted Design Environments http://www.dcs.gla.ac.uk/prosper/

Spin - a model checker http://spinroot.com/spin/whatispin.html

VeriSoft http://cm.bell-labs.com/who/god/verisoft/

Bandera - a tool set for model checking concurrent Java software http://bandera.projects.cis.ksu.edu/

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://projects.cis.ksu.edu/projects/bogor

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 - a C interpreter; part of ROOT http://root.cern.ch/root/Cint.html

Pnet (C,C#,and other languages) - the managed C compiler from Pnet a managed C compiler for C, C#, and other languages http://www.southern-storm.com.au/portable_net.html


TreeCc - the AST lib from Pnet http://www.southern-storm.com.au/treecc_essay.html

KdeBindings are using the GccDumpTranslationUnits http://lists.kde.org/?l=kde-bindings&m=104703891005909&w=2

Here are a good list of related complier projects : http://www.ntlug.org/~cbbrowne/c.html

GccTranslationUnit is a similar project http://www.omegahat.org/GccTranslationUnit/

See this collection (I have taken the following from them) http://scgwiki.iam.unibe.ch:8080/SCG/370

ArgoUml - a Java open source UML Tool that can reverse engineer java source files and folders and generate UML diagrams. http://www.argouml.org/

BauHaus - Feature detecting and clustering algorithms, designed for C not object-oriented. University of Stuttgart, Germany. http://www.bauhaus-stuttgart.de

BuNch - a software clustering/modularization tool by Mancoridis, from Drexel University, Philadelphia. http://serg.mcs.drexel.edu/bunch/

CiAo - a graphical navigator for software and document repositories. AT\&T Labs-Research. http://www.research.att.com/~ciao/

StarBrowser - Smalltalk Lightweight Classification Model and the Star Browser http://iamwww.unibe.ch/~wuyts/StarBrowser/index.html

CodeNavigator http://sources.redhat.com/sourcenav/index.html

CodeCrawler http://www.iam.unibe.ch/~lanza/CodeCrawler/codecrawler.html

CodeSurfer - a maintenance, understanding, and inspection tool. http://www.grammatech.com/products/codesurfer/index.html

CodeWizard - a source code analysis tool that implements coding guidelines for C and C++. http://www.parasoft.com/jsp/products/home.jsp?product=Wizard&/cplus/index.htm

ColumbusCaN - reverse engineering framework and C++ front end of FrontEndART (free for academic purposes). http://www.frontendart.com/

SDS - The Software Development Foundation (SDS) is an open architecture designed for developing tools for software development. Based on XML, the SDS makes it easy for most languages and other systems to incorporate its tools. http://sds.sourceforge.net/

Synopsis is related to SDS http://synopsis.sourceforge.net/

CADOCS - http://cadocs.sourceforge.net/index.html -- CADOCS - C/C++ API Documentation System. It uses gccxml as its front end and consists of a bunch of Python scripts that rewrite the XML into a more tractable form for developers and users of APIs

ValGrind - http://devel-home.kde.org/~sewardj/ Valgrind is a GPL'd tool to help you find memory-management problems in your programs. When a program is run under Valgrind's supervision, all reads and writes of memory are checked, and calls to malloc/new/free/delete are intercepted.


http://manju.cs.berkeley.edu/cil/ -- CIL - Infrastructure for C Program Analysis and Transformation (v. 1.1.2)

http://pirate.tangentcode.com/ PIRATE

http://cscope.sourceforge.net/ CSCOPE

bane http://www.cs.berkeley.edu/Research/Aiken/

metacomp Meta-Level Compilation http://metacomp.stanford.edu/


FermaT http://www.dur.ac.uk/martin.ward/fermat.html from Martin Ward http://www.dur.ac.uk/martin.ward/

Jerub : once properly equipped with parsers and transformations, that engine is capable of turning compiled cobol into readable C. I've even seen an experiement where martin took self modifying asm and turned it into readable C.