本软件包包含了 1.提取二进制文件的VEX IR 2.解析VEX IR,将VEX IR 转化为datalog形式 3.生成下列文件:
this is my package about my VEX ir -> Datalog
