angr的大体框架和接口的分析
对analysis的cfgfast模块
(CFGfast.py,CFGbase.py,CFGfast.py,forward_analysis.py)
project
factory
simmanage
simstate
simengine
simvex
sim_procedure
exploration_techniques
state_plugins进行了注释分析
对loader.py进行了注释分析
对ast里面的bv.py,init.py,operations.py进行了注释分析
对local_callback.py和driller_main.py进行了注释分析
explore
trace
driller_core
crash_monitor.py
veritesting.py
__init__.py
进行注释分析
继承plugin.py里面的SimStatePlugin