雅克斯塔布
zbMATH参考文献(参考
4篇文章
参考)
Beyer,Dirk;Gulwani,Sumit;Schmidt,David A.:结合模型检查和数据流分析(2018) Kinder,Johannes;Kravchenko,Dmitry:交替控制流重建(2012) Bardin,Sébastien;Herrmann,Philippe;Védrine,Franck:从非结构化程序中基于精化的CFG重构(2011) Johannes的Kinder;Helmut的Veith:Jakstab:二进制文件的静态分析平台。 工具书(2008) ioport公司