Source code analysis leader - Coverity Inc

The Software DNA Map™ Analysis System

Coverity Prevent for Java automatically achieves a comprehensive understanding of large, complex Java code bases, including 100% of the execution paths, without requiring any changes to your code or build system. Through sophisticated byte code analysis, Coverity Prevent for Java gives developers a precise, unified representation of all relevant code data and all data used to generate an application. Prevent for Java leverages Coverity’s proprietary Software DNA Map™ system to better understand your Java code base and provide an complete representation of your code for highly accurate defect detection.

The build monitor observes every operation performed by your build system.

  • Prevent for Java integrates deeply with the JVM and incorporates a monitoring layer between your build system and operating system to track every touch point between the two.
  • It automatically determines the location of all source code, and it ensures that the application has debugging information built in for analysis purposes.

The authentic compiler collects detailed knowledge of your code’s syntax, semantics and dependencies.

  • When your build system makes a call to the compiler, Prevent for Java performs multiple steps to understand every action of that call and its implications on the compiled code.
  • Prevent for Java translates all command lines to thoroughly understand code generators and the compiler.

A complete compiler representation equips the analysis engines with perfect information about the code.

  • Prevent for Java not only analyzes byte code but also libraries in the code and the way they interact with the application. With this accurate representation of the code, development teams can begin the process of triaging and eliminating discovered defects.

Contact us to find out how Coverity Prevent for Java can shorten your development cycles and improve the quality of your critical Java code.

Email

sales@coverity.com

Phone

1-415-321-5237 (International)
1-800-873-8193 (US, toll-free)