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).
Edges:

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