Monday, April 18, 2016

Code Analyzer: Graphs

Few examples on current integration of control flow graphs to Code Analyzer.

Complete graph

Entry point (green node).

Black: unconditional flow
Green: condition
Red: reverse condition
Orange: jump table (unconditional)

Exit point (red node).
This is where jump target is unknown.

Switch edges (orange).

No comments:

Post a Comment