How We Are Different
The inspiration for the creation of GrammaTech’s system was a situation in which there were static-analysis systems for improving software quality, but not for matching the demands of zero-tolerance development organizations. In industries like avionics and medical devices, the demands were much higher than the available static-analysis tools could meet. Out of that uncompromising environment came GrammaTech’s analysis engine.
GrammaTech typically catches twice as many critical defects, while maintaining reasonable false-positive rates. GrammaTech catches those additional defects by having a single, unified dataflow analysis that models the underlying computation of the entire program. This analysis enables GrammaTech to find the most complex bugs, including bugs that follow new or unusual patterns. In contrast, traditional static analysis has used an approach that is based on multiple pattern-matching checkers. Traditional static analysis only catches defects that happen to match the pattern of one of the checkers while GrammaTech’s more general symbolic execution catches a broad range of problems.
In summary, GrammaTech offers:
- Unified dataflow and symbolic execution analysis that examines the computation of the program.
- An approach that does not rely on pattern matching or similar approximations.
- A more general analysis that naturally finds defects with new or unusual patterns.
- Significantly better detection of the toughest defects (e.g., race conditions).
We provide a cost-free means to evaluate GrammaTech on your own code so that you can compare the results with those reported by other vendors.