Introspector (program)
Introspector is a software tool to explore the structure of programs 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" 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 linkIntrospector HomepageHere are a good list of related compiler projects
See also: AspectX, srcML, XWeaver
Closely Related Projects Bingeis an related patch to the Gcc [Cppx][[GccXML] is very similar][[GaSta] is basically the same project]ProgramTransformationStratego
Related Projects - SWIG is the Simplied Wrapper Interface Generator [[SWIG] ]
- to further develop coalgebraic specification techniques such that these techniques can be applied to real software VFiasco
- [[Dandelion] is for Smalltalk]
- Tunes
- PdToolkit
- http://www.splint.org/links.html SpLint
- SMatch
- MoZart
- [[CppTool] is a C++ [[Refactoring] tool]
- [[FlawFinder] is a PyThon program that analyses your C programs.]
- [[PsCan] is a C Program that parses C and checks for errors]
- Smatch
- Cqual
- [[EsCj] ExtendedStaticCheckingforJava ]
- Simplify
- JavaMarkupLanguage
- ChAse
- [[DaIkon]
- LoOp
- EauClaire
- http://www.fmi.uni-stuttgart.de/szs/tools/moped/ The Moped Project has moved to this site. The Moped (project) from Stephan Schwoon was referenced by Slam (project). Here is a paper about this project
- Blast Blast (project)
- Formal Verification Tools and Techniques for Autonomous Systems
- MOPS MOdelchecking Programs for Security properties
- JCAVE is a framework for model checking JavaCard applets on the bytecode level.
- MAGIC : Modular Analysis of proGrams In C
- BOOP
- Prosper Proof and Specification Assisted Design Environments
- Spin is a model checker
- verisoft
- Bandera tool set for model checking concurrent Java software
- Bogor is 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.
- Bounded Model Checking for ANSI-C
- Java Path Finder
- KISS project from Microsoft
- CiL
- CiNdent
- CppReflection
- CiNt - a C interpreter
- Pnet (C,C#,and other languages) - the managed C compiler from Pnet
- TreeCc - the AST lib from Pnet
- KdeBindings are using the GccDumpTranslationUnits
- GccTranslationUnit is a similar project
- PIRATE
- CSCOPE
- bane
- FermaT from Martin Ward [1 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.]
More Related projects - See this collection (I have taken the following from them)
- ArgoUml - a Java open source UML Tool that can reverse engineer java source files and folders and generate UML diagrams.
- BauHaus - Feature detecting and clustering algorithms, designed for C not object-oriented. University of Stuttgart, Germany.
- BuNch - a software clustering/modularization tool by Mancoridis, from Drexel University, Philadelphia.
- CiAo - a graphical navigator for software and document repositories. AT\\&T Labs-Research.
- StarBrowser - Smalltalk Lightweight Classification Model and the Star Browser
- CodeNavigator
- CodeCrawler
- CodeSurfer - a maintenance, understanding, and inspection tool.
- CodeWizard - a source code analysis tool that implements coding guidelines for C and C++.
- ColumbusCaN - reverse engineering framework and C++ front end of FrontEndART (free for academic purposes).
- 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.
- Synopsis is related to SDS
- 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 - 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.
- CIL - Infrastructure for C Program Analysis and Transformation (v. 1.1.2)
Non Free Software - The Meta Level Compilation Project from Stanford Meta Level Compilation
- The SLAM Project: Debugging System Software via Static Analysis [[Slam (project)] from Microsoft]
- The Vault, a programming language for reliable systems [[Vault (project)] from Microsoft] Enforcing High-Level Protocols in Low-Level Software paper and Adoption and Focus: Practical Linear Types for Imperative Programming (2002) paper
- The [[Intentional Programming] group page]
Categories
|
|
