search

static-analysis-engineering / CodeHawk-Binary

CodeHawk Binary Analyzer for malware analysis and general reverse engineering
MIT License
22 stars 10 forks source link

Annotate structured control flow with merge addrs #101

Closed brk closed 1 year ago

brk commented 1 year ago

The merge address of a structured control flow node (loop/switch/if) is the address of the first basic block "after" the statement's body. It is generally distinct from the address of the next (high level AST) statement in the containing block.

sipma commented 1 year ago

Thank you for the comprehensive change, for covering all dependencies!