angr是一个二进制分析框架,包括基本的静态分析功能(CFG、切片、VSA等)和动态分析功能(符号执行),还有基于angr进一步开发的程序分析方面的各种工具和paper,包括driller、patcherex等。
angr由UCSB shellphish团队开发的,在github上开源。