static-analysis-engineering / CodeHawk-Binary

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

Ensure AST includes explicit cast for shift operators #66

Closed brk closed 1 year ago

brk commented 1 year ago

AbstractSyntaxTree.py adds casts to ensure shifts will round trip cleanly through C.