vera
所属分类:自动编程
开发工具:C++
文件大小:135KB
下载次数:0
上传日期:2022-08-23 15:15:45
上 传 者:
sh-1993
说明: 一种用于C++源代码验证、分析和转换的可编程工具
(A programmable tool for verification, analysis and transformation of C++ source code)
文件列表:
.mailmap (213, 2020-07-28)
.sonarcloud.properties (292, 2020-07-28)
.travis.yml (323, 2020-07-28)
CMakeLists.txt (615, 2020-07-28)
CTestConfig.cmake (534, 2020-07-28)
CTestCustom.cmake (519, 2020-07-28)
LICENSE_1_0.txt (1338, 2020-07-28)
appveyor.yml (2133, 2020-07-28)
appveyorNightly.yml (1890, 2020-07-28)
cmake (0, 2020-07-28)
cmake\CMakeLists.txt (464, 2020-07-28)
cmake\test_wrapper.cmake.in (818, 2020-07-28)
cmake\use_vera++.cmake (6318, 2020-07-28)
cmake\vera++-config-version.cmake.in (836, 2020-07-28)
cmake\vera++-config.cmake (320, 2020-07-28)
doc (0, 2020-07-28)
doc\CMakeLists.txt (1874, 2020-07-28)
doc\manpage.md (226, 2020-07-28)
doc\style.css (362, 2020-07-28)
packages (0, 2020-07-28)
packages\CMakeLists.txt (2925, 2020-07-28)
profiles (0, 2020-07-28)
profiles\CMakeLists.txt (181, 2020-07-28)
profiles\boost (273, 2020-07-28)
profiles\default (395, 2020-07-28)
profiles\full (261, 2020-07-28)
profiles\legacy (385, 2020-07-28)
profiles\test (392, 2020-07-28)
rules (0, 2020-07-28)
rules\CMakeLists.txt (166, 2020-07-28)
rules\DUMP.tcl (326, 2020-07-28)
rules\F001.tcl (647, 2020-07-28)
rules\F002.tcl (1753, 2020-07-28)
rules\L001.tcl (678, 2020-07-28)
rules\L002.tcl (268, 2020-07-28)
rules\L003.tcl (462, 2020-07-28)
... ...
Description
-----------
Vera++ is a programmable tool for verification, analysis and transformation of
C++ source code. 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.
License
-------
Boost Software License
License exceptions
------------------
vera.ctest : Licensed under the Apache License, Version 2.0 (see
inside the file for the complete license and copyright)
Homepage
--------
Vera++ is hosted at http://bitbucket.org/verateam/vera and daily
replicated at http://github.com/verateam/vera
Origins
-------
Vera++ was initially hosted at:
http://www.inspirel.com/vera
近期下载者:
相关文件:
收藏者: