Description
Represent program behavior inside the angr binary-analysis framework with an intermediate language designed for analysis passes. It helps security researchers and developers reason about binaries without working only at raw instruction level.
Binary analysis can expose proprietary code behavior or security-sensitive details. Use it only on software you are allowed to inspect.