Introspector/相关项目

SWIG 是简化的包装器接口生成器 http://www.swig.org

CpPx 是一个相关的 GccPatch http://swag.uwaterloo.ca/~cppx/

GccXml 非常相似 http://www.gccxml.org

VfIasco - 进一步开发余代数规范技术，以便这些技术可以应用于实际软件 http://os.inf.tu-dresden.de/vfiasco/

DaNdelion 适用于 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/ (链接已断开)

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

SmAtch http://smatch.sourceforge.net/

程序转换 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/

意图编程 http://groups.yahoo.com/group/intentionalprogramming/

CppTool 是一个 CppRefactorer，一个 C++ 重构 工具 http://sourceforge.net/projects/cpptool

FlawFinder 是一个 Python 程序，用于分析 C 程序。 http://www.dwheeler.com/flawfinder/

PsCan 是一个 C 程序，用于解析 C 代码并检查错误 http://www.striker.ottawa.on.ca/%7Ealand/pscan/

自主系统的形式化验证工具和技术 http://is.arc.nasa.gov/AR/tasks/VrfTools.html

MoPs 安全属性模型检查程序 http://www.cs.berkeley.edu/~daw/mops/

元级编译 http://metacomp.stanford.edu/

SLAM 项目 - 通过静态分析调试系统软件来自 MicroSoft 的 SlAm http://research.microsoft.com/SLAM/main.htm http://research.microsoft.com/slam/

来自 MicroSoft 的 VaUlt http://research.microsoft.com/projects/Vault/

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

EsCj 扩展静态检查 for Java 扩展静态检查 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 建模语言 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 一个用于模型检查 JavaCard 小程序的框架，在字节码级别上 http://www.sics.se/fdt/projects/vericode/jcave.html

MAGIC C 程序的模块化分析 http://www-2.cs.cmu.edu/~chaki/magic/

BOOP http://boop.sourceforge.net/

Prosper - 证明和规范辅助设计环境 http://www.dcs.gla.ac.uk/prosper/

Spin - 一个模型检查器 http://spinroot.com/spin/whatispin.html

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

Bandera - 用于模型检查并发 Java 软件的工具集 http://bandera.projects.cis.ksu.edu/

Bogor - 一个高度可定制和模块化的模型检查框架，旨在简化开发健壮高效的特定领域模型检查器，用于验证动态和并发软件 http://projects.cis.ksu.edu/projects/bogor

ANSI-C 的有界模型检查 http://www-2.cs.cmu.edu/%7Emodelcheck/cbmc/

Java 路径查找器 http://ase.arc.nasa.gov/visser/jpf/

KISS 项目 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 - 一个 C 解释器；是 ROOT 的一部分 http://root.cern.ch/root/Cint.html

Pnet (C、C# 和其他语言) - 来自 Pnet 的托管 C 编译器，用于 C、C# 和其他语言的托管 C 编译器 http://www.southern-storm.com.au/portable_net.html

TreeCc - 来自 Pnet 的 AST 库 http://www.southern-storm.com.au/treecc_essay.html

KdeBindings 使用 GccDumpTranslationUnits http://lists.kde.org/?l=kde-bindings&m=104703891005909&w=2

这里有一个很好的相关编译器项目的列表： http://www.ntlug.org/~cbbrowne/c.html

GccTranslationUnit 是一个类似的项目 http://www.omegahat.org/GccTranslationUnit/

参见此集合（我从中获取了以下内容） http://scgwiki.iam.unibe.ch:8080/SCG/370

ArgoUml - 一个 Java 开源 UML 工具，可以反向工程 Java 源文件和文件夹并生成 UML 图。 http://www.argouml.org/

BauHaus - 特征检测和聚类算法，专为 C 设计，而非面向对象。德国斯图加特大学。 http://www.bauhaus-stuttgart.de

BuNch - 来自费城德雷克塞尔大学的 Mancoridis 的软件聚类/模块化工具。 http://serg.mcs.drexel.edu/bunch/

CiAo - 软件和文档库的图形导航器。AT\&T Labs-Research。 http://www.research.att.com/~ciao/

StarBrowser - Smalltalk 轻量级分类模型和星形浏览器 http://iam.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 - 一个维护、理解和检查工具。 http://www.grammatech.com/products/codesurfer/index.html

CodeWizard - 一个源代码分析工具，实现了 C 和 C++ 的编码指南。 http://www.parasoft.com/jsp/products/home.jsp?product=Wizard&/cplus/index.htm

ColumbusCaN - 反向工程框架和 FrontEndART 的 C++ 前端（学术用途免费）。 http://www.frontendart.com/

SDS - 软件开发基金会 (SDS) 是一种开放架构，旨在为软件开发开发工具。基于 XML，SDS 使大多数语言和其他系统能够轻松地整合其工具。 http://sds.sourceforge.net/

Synopsis 与 SDS 相关 http://synopsis.sourceforge.net/

CADOCS - http://cadocs.sourceforge.net/index.html -- CADOCS - C/C++ API 文档系统。它使用 gccxml 作为其前端，并包含一组 Python 脚本，这些脚本将 XML 重写为更易于开发者和 API 用户使用的形式

ValGrind - http://devel-home.kde.org/~sewardj/ Valgrind 是一个 GPL 工具，可以帮助您在程序中查找内存管理问题。当程序在 Valgrind 的监督下运行时，所有内存读写都会被检查，对 malloc/new/free/delete 的调用都会被拦截。

http://manju.cs.berkeley.edu/cil/ -- CIL - C 程序分析和转换基础设施 (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 来自 Martin Ward http://www.dur.ac.uk/martin.ward/

Jerub : 一旦配备了合适的解析器和转换器，该引擎就能将编译后的 Cobol 代码转换为可读的 C 代码。 我甚至看到过 Martin 使用该引擎将自修改汇编代码转换为可读的 C 代码的实验。