Introspector/RelatedProjects

From Wikibooks, open books for an open world
Jump to: navigation, 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)

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

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 http://sourceforge.net/projects/cpptool

FlawFinder is a PyThon program that analyses your 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/

MoPs http://www.cs.berkeley.edu/~daw/mops/

MetaLevelCompilation http://metacomp.stanford.edu/

SlAm from MicroSoft http://research.microsoft.com/SLAM/main.htm

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

SmAtch http://smatch.sourceforge.net/

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

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

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 http://root.cern.ch/root/Cint.html

Pnet (C,C#,and other languages) - the managed C compiler from Pnet 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 compilier 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 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.