The primary result of Aegis use is less-consuming detect detection. It still requires manual code checking, but Aegis use decreases number of lines of code to check. Aegis use sound analysis algorithms, so all source code defects can be found. Aegis has the following advantages over dynamic analysis tools:

  • all stages of analysis can be automated,
  • all program traces can be analyzed.

Estimation of defect detection time through testing is 10 to 30 hours. Manual check of defect that was detected by Aegis requires from 1 to 30 minutes, and Aegis has not too much false positives.

Aegis gains more precise and sound results for industrial software system than other static analyzers.