Vera++ - Programmable verification and analysis tool for C++
2011-12-20 06:28
501 查看
Vera++ - Programmable verification and analysis tool for C++
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.The simplest way to learn what Vera++ can do is to see the
Vera++ Demo.
Vera++ is a tool designed for programmers - not only in the sense that it helps with everyday development work, but also in the sense that all its rules are implemented as
scripts that can be modified or added by the user. Thanks to this, programmers have complete
freedom and control over what the tool does and how it works.
Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks.
[b]Vera++ Community Edition provides syntax-oriented view on the source code and is available for free and as open source, distributed under the terms of the
Boost Software License.
Current version: 1.1.1
Supported platform: g++ (download source, 53kB).
Windows users can also try the binary version, compiled on Windows XP with VC++ 9 (download binary, 590kB)
See Vera++ online manual for more information.
The Community part in the name means that everybody is welcome to suggest their own new rules and transformations so that the whole product can be improved.
[/b]
相关文章推荐
- Connection and Configuration Verification Tool for SSL/TLS
- Smartctl – Monitoring and Analysis tool for Hard drive
- GC调优方案,步骤二:使用工具[IBM Pattern Modeling and Analysis Tool for Java Garbage Collector]分析gc信息
- Using UTF-8 as the internal representation for strings in C and C++ with Visual Studio
- Strategies for Using C++ in Objective-C Projects (and vice versa)
- Data Structures and Algorithm Analysis in c++ 第一章笔记和部分习题
- 第一章 C++ 我来了——1.3 关于注释 & 1.4 While, For and If
- error: #error This file requires compiler and library support for the ISO C++ 2011 standard.
- p3:An open source pcap packet and NetFlow file analysis tool using Hadoop MapReduce and Hive.
- Smart Rules a Tool for Building and Testing Business Rules(转载与CodeProject)
- Abandoned Object Detection via Temporal Consistency Modeling and Back-Tracing Verification for Visua
- (轉貼) Evolving a language in and for the real world C++ 1991-2006 (英文版) (by Bjarne Stroustrup) (C/C++)
- A visual analytics framework for spatio-temporal analysis and modelling
- AMD APP 2.6 OpenCL SDK available for download: Includes OpenCL 1.2 and Static C++ Kernel preview
- chapcrack – A tool for parsing and decrypting MS-CHAPv2 network handshakes.
- Clustergram: visualization and diagnostics for cluster analysis (R code)
- C++中使用array报错 requires compiler and library surpport for the ISO c++ 2011 standard
- 《Data Structure And Algorithm Analysis In C++》读书笔记二
- Some interesting hints for AntLR and tool
- (轉貼) Evolving a language in and for the real world C++ 1991-2006 (中文翻譯版) (By Bjarne Stroustrup) (C/C++)