目录

最高级的接口(interfaces)
装载一个二进制文件(loding)
解算器引擎(solver)
程序的状态(state)
模拟器的管理(simulation)
执行引擎
分析
注意事项