The TBvision C-source-code verification tool provides the ability to easily see how source code performs against security vulnerabilities, fault-detection, and adherence to the required quality standards. The tool enhances collaboration between development teams and enables visibility of testing and quality metrics.
The package provides the ability to easily view results in call graphs, flow graphs, and code review reports. It supports MISRA-C:1998 and MISRA-C:2004, HIS (Herstellerinitiative Software), GJB (Chinese Military Standard), and the CERT C secure coding standard for the C language, and allows users to enforce many of the known security vulnerabilities identified in the SAMATE Reference Dataset. (License, $2,600 per seat — available now.)
LDRA , Monks Ferry , Wirral , U.K.
U.S. Sales Office 650-583-8880
Advertisement
Learn more about LDRA
