Coverity Dynamic Analysis helps developers, QA, and test engineers quickly identify hard to diagnose defects in multi-threaded Java applications. With minimal impact to your team or test environment, Coverity Dynamic Analysis automatically instruments Java programs and provides reliable, accurate, and reproducible detection of concurrency errors that could result in performance degradation, system crashes, or security vulnerabilities. Coverity Dynamic Analysis’ unique defect detection capabilities identify problems that will certainly occur in limited testing environments as well as problems that have the potential to occur over extended operations in the field.

  1. [2010/11/29] 2011-05-01, Software Testing Analysis & Review Conference @ USA *1 by Mr.Jung (1771)
  2. [2010/07/14] [Paid] Understand : a static analysis tool by rhkrtngud ()
  3. [2008/12/30] Static Analysis and Statistical Analysis *1 by Hien (1975)
  4. [2010/05/27] [Paid] Checkmarx CxSuite : Source Code Analysis (SCA) by Anti_Hacker ()
  5. [2008/03/23] Interleaving Review Technique by thanhyonga (1474)