前言

本文是angr_ctf练习的最后一篇，这次会完成剩下的6道题目，结束angr的练习，后续可能会发布angr在实际软件符号执行中的应用文章。本文为进阶篇，通过这次练习，了解angr更多的使用技巧，废话不多说，马上开始。

12_angr_veritersting

本题考查angr中veritersting选项的使用，解决路径爆炸

在创建smigr的时候设置veritersting=True，这个还不太懂，先放着后面解释。