VCC is a software utility which acts as a mechanical checking tool for concurrent C programs. The application will pick a C program annotated with data and loop invariants, specifications, and ghost code, and will try to demonstrate that all the annotations are correct. You can use this utility to ensure that a program really meets its specifications.
VCC will verify your programs one type definition or function at a time, allowing you to check your code thoroughly. The application also supports concurrency and can be used to check concurrency control primitives. Low-level C features (unions, bitfields, wrap-around arithmetic, etc) are supported, as well.
VCC can run as a Visual Studio plugin and supports Visual Studio 2010 and 2012. The utility can also run from command line.
- The software tool supports concurrency and low-level C features.
- Supports command line operation.
- This tool is not aimed at inexperienced users.
|Developer||VccBuildServer | see all products from this developer|
|Last Week Downloads||4|
|All Time Downloads||2,573|
|OS Support||Windows All|
100% CLEAN Certification
VCC has been tested by Download82.com team against viruses, spyware, adware, trojan, backdoors and was found to be 100% clean. Our editors will recheck this software periodically to assure that it remains clean.