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 程式碼的實驗。