由于毕设需要，这几天在使用angr符号执行自动化挖掘格式化字符串漏洞，但是对angr的了解不多，导致在使用的时候屡屡碰壁，在此记录一下。本来写了一个简单的通用检测脚本，但是在使用脚本对CWE-134的一个样例（SARD）进行分析时，发现无法找出漏洞点。检测脚本测试格式化字符串漏洞的逻辑很简单

关联数据的认证加密Aead(authenticatedencryptionwithassociateddata)，是一种同时具备保密性，完整性和可认证性的加密形式，加密过程采用数据分组形式，对同一个密钥，每次加密需要使用不重复的Nonce（NumberusedonlyOnce），加密后生成验证数据标签(Tag)用于解密时验证，并且可以附加一段

sqlserverinsert时，字符串长度超出表字段限定的长度，报错写一个限定字符串长度的函数createfunctionGetLimitStr(@strvarchar(8000),@lenint)returnsvarchar(8000)asbeginifdatalength(@str)<=@lenreturn@strdeclare@cvarchar(2)declare@

参考：https://zhuanlan.zhihu.com/p/613157262一、准备工作（参考上一篇）安装VS2019 安装pycharm下载 http://help.tdx.com.cn/book.asp《通达信DLL函数编程规范.rar》二、下载python3.x的32位版本，http://www.python.org，随便找个32位版就行了。我准备下载Windowsembeddabl

packageJavaSE.Lesson18;importjava.io.FileNotFoundException;importjava.io.FileReader;importjava.io.IOException;publicclassReaderDemo{publi

packageJavaSE.Lesson18;importjava.io.FileReader;importjava.io.IOException;publicclassReaderDemo02{publicstaticvoidmain(String[]args){