Program testing tools
MOPS MOdelchecking Programs for Security properties
MOPS
Formal Verification Tools and Techniques for Autonomous Systems arc nasa tasks
NASA IS/AR Task: Verification Tools
EauClaire chess
DaIkon mit daikon
The Daikon dynamic invariant detector
Java Modeling Language
The Java Modeling Language (JML) Home Page
Simplify research esc simplify
Extended Static Checking for Java research esc esc
Smatch smatch
Smatch the Source Matcher
PsCan is a C program that parses C and checks for errors
PScan: A limited problem scanner for C source files
SMatch projects smatch
SourceForge.net: smatch source matcher
CppTool is a C++ refactoring tool
SourceForge.net: CPPRefactory
SpLint splint links
Splint - Related Links
MoZart mozart dev
Mozart
PdToolkit research
Program Database Toolkit
www.froola.com , this is it!
Dandelion is for Smalltalk
Dandelion
VFiasco dresden
The VFiasco Project
Stratego language
Stratego Program Transformation Language
ProgramTransformation program transformation
Program-Transformation.Org
GaSta is basically the same project
SourceForge.net: Gcc Abstract Syntax Tree Analysis
GccXML is very similar
Here are a good list of related compiler projects
Introspector Homepage introspector
Introspector Project
Introspection in C++ groups google
Google Groups: comp.lang.c++
Reflections in C++ groups google google
Google Groups: comp.lang.c++
C++ Reflection groups google google
Google Groups: comp.lang.c++.moderated
Bjarne Stroustrup launches 'C++0x' groups google
Google Groups: comp.lang.c++.moderated
C++ parser front end groups google deja
Google Groups: comp.lang.c++.moderated
Reflection Package for C++ by Konstantin Knizhnik
Reflection for C++
Generic: Typelists and Applications " by Andrei Alexandrescu
A system for reflection in C++ " by Duraid Madina and Russell K. Standish
A system for reflection in C++
Previous page
Next page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Introspector (program) , OpenC++ , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Program testing tools".