angr是一个使用python语言编写的二进制分析框架,它主要是进行静态和动态的符号分析,现已成为CTF比赛的一大利器,在一些国际比赛中经常会看到它所带来的神奇之处,比如DEFCON CTF。
angr的安装:http://whaledu.edusoho.cn/article/1
符号执行视频:https://www.youtube.com/watch?v=mffhPgsl8Ws
系列视频:https://www.coursera.org/learn/software-security/lecture/agCNF/introducing-symbolic-execution