Detecting unreachable code


Detecting unreachable code
 

The Axivion Suite detects dead code based on graph reachability analysis of call relations. The analysis of library functions for product families can also be checked for unused parts. Dead code impairs readability of the software project and significantly increases maintenance costs. Cached programming is typically responsible for creation of unreachable code.

Axivion provides configuration options to treat, for example, DLLs or interrupt service routines for the reachability analysis.