Tools and Services: Static Analysis

AgitarOne helps you work safer, better, and smarter as you develop and maintain Java applications. AgitarOne JUnit Generator creates thorough JUnit tests on your code, with 80% coverage out of the box! It helps find regressions and makes it safer and easier to improve code, reducing maintenance costs. AgitarOne Agitator helps you understand the behavior of your code as it is written, aiding the prevention of bugs and code complexity. AgitarOne also now provides functional coverage capabilities in and out of the JUnit environment.

Clover identifies the riskiest code in your projects so you can focus on testing where it'll have the most impact.

Testwell CMTJava calculates the basic McCabe, Halstead, lines-of-code and maintainability Index metrics on Java. Configurable alarm limits. Very fast. Can manage huge code volumes. Can be used a Java development environment. Easy to read and compact textual and HTML reporting (hierarchical, color-coded, mapped to source files). Can produce Excel and XML data file for customer specific further processing and analysis.

CodeSonar, GrammaTech's flagship product, identifies programming bugs that can result in system crashes, memory corruption, and other serious problems. CodeSonar's powerful static analysis engine works out-of-the-box, requiring no changes to your existing build system or code. It performs whole-program analysis on codebases over 10 million lines of code. CodeSonar also includes workflow automation features, like an API for custom integrations and support for extensions that add custom checks.

Automating complex analysis and modification tasks on software code requires compiler-accurate processing. DMS provides language-precise parsing for some 30 languages (including tough languages such as C++11, Java and C#), basic language analysis such as symbol tables and control/data flow analysis, pattern matching and transformation, and regeneration of code from transformed structures. Tool builders use the DMS as a foundation for building custom code processing tools; this can literally save years of elapsed development time.

IncrediBuild accelerates development via efficient parallel computing, transforming a local or cloud-based network into a “virtual supercomputer.” Processes are distributed to remote CPU resources for parallel processing, speeding all development tasks, including builds, unit testing, QA scripts, code analysis, code generation, image processing, video and graphics rendering, platform conversion, physical and lighting engine management, compression, etc. IncrediBuild is tuned for development with Visual Studio, Make, MSBuild, Gmake, VSimake, Jam, nAnt, Jom, Python, VsiMake, BJam, Jam+, etc., and on Xbox, Wii, Nintendo, and PlayStation.

Static analysis and code coverage tool for C, C++, Java, Ada83/Ada95 and Assembler (Intel, Freescale, Texas Instruments). Static analysis features include code visualisation, programming standards checking and complexity metrics. Code coverage is available for different coverage levels including MC/DC level A for the DO-178B standard, regression testing and available for any host/target environment.

Parasoft C++test is an integrated solution for automating a broad range of best practices proven to improve software development team productivity and software quality. C++test enables coding policy enforcement, static analysis, comprehensive code review, and unit and component testing to provide teams a practical way to ensure that their C and C++ code works as expected. For embedded and cross-platform development, C++test can be used in both host-based and target-based code analysis and test flows.

Project Analyzer is a Visual Basic source code analyzer, optimizer, and documentor. Detect dead code and remove it. Diagram your systems. Surf your code as hypertext and graphical call trees. Document your work with a large selection of reports. Project Analyzer does an automatic code review to enforce configurable programming standards. It detects problems such as dead code and possible memory leaks. Supports VB 3-6, VBA and VB.NET.

Currently available for C, C++, Java, C#, COBOL and PHP

Test Coverage and Execution Profiler tools determine branch/code coverage for software suites. Low probe overhead enables real time coverage data collection, enabling coverage analysis of both application and embedded software. Vectors from multiple runs can be combined and displayed graphically over the source program to enable a test engineer to see what and/or how often a block of code has/has not been executed. Delta computation is included.

TBvision provides transparency into source code, enabling managers, teams and developers to better monitor testing, quality metrics, memory errors and security vulnerabilities.

Recognising the increased need for graphical ability to show code quality, fault detection and avoidance measures, TBvision incorporates next-generation reporting capabilities. As a highly flexible solution, TBvision provides users with the ability to quickly and easily view results in call graphs, flow graphs and code review reports for graphical feedback.