dpkt
pyvex
archinfo
claripy
cooldict
ana
