Program testing tools
Metaclasses and Reflection in C++ " by Detlef Vollmann
Metaclasses and Reflection in C++
Meta object protocol in C++ , Article "
Metaclasses and Reflection in C++
A metalevel architecture for dynamism and reflection in C++ " by O. Jautzy and F. Lebastard
A metalevel architecture for dynamism and reflection in C++ (ResearchIndex)
A Metaobject Protocol for C++ " by Shigeru Chiba
A Metaobject Protocol for C++ - Chiba (ResearchIndex)
C++ Front End and Transformation Tools products
OpenC++ Homepage
Welcome to OpenC++
OpenJava Homepage
OpenJava : An Extensible Java
Enjoy froola.
Escher Technologies
Escher Technologies - Building bug-free software
Perfect Developer products
Escher Technologies - Products
RAISE – Rigorous Approach to Industrial Software Engineering web terma projects raise
RAISE - Rigorous Approach to Industrial Software Engineering
RAISE Virtual Library entry raise
WWW Virtual Library: Formal Methods - RAISE
SPIN website
Home page splint
Splint Home Page
C++ front end for splint
SplintPP C++ front end for splint
Publications about checking techniques splint pubs
Splint Publications
Flawfinder , contains a good list of other static checking tools towards the bottom
Flawfinder Home Page
Previous page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
OpenC++ , OpenJava , Perfect Developer , RAISE specification language , SPIN model checker , Splint (programming tool) , Static code analysis , .
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".