摘要：
from angr import * import claripy #装载一个项目，即进程不加载Lib p = Project("./Your_Process",auto_load_libs=False) #创建一个SimState对象，即程序状态 state=p.factory.entry_state() #创建一个100*8（bit）的符号argv1 argv1 = clarip... 阅读全文
摘要：
https://arabelatso.github.io/2018/06/14/Z3%20API%20in%20Python/ 阅读全文
摘要：
/* This file contains definitions used by the Hex-Rays decompiler output. It has type definitions and convenience macros to make the output more readable. Copyright (c) 2007-2011 Hex-Rays */ #if defin 阅读全文