static-analysis-engineering / CodeHawk-Binary

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

Improve handling of switch control flow #166

Closed brk closed 1 month ago

brk commented 1 month ago

Switch cases fall through to the next case (if it exists). This was previously not reflected in the ControlFlowContext used when constructing the ASTs for each case.