© 1999-2048 dssz.net 粤ICP备11031372号
[其它] mufasa:μJS有限状态自动机字符串分析器-源码
说明:μFASA静态分析仪 μFASA(μJS有限状态自动机字符串分析器)是一种基于静态解释的字符串静态分析器,用于Javascr ipt的子语言μJS的跨过程版本。 有关μFASA的完整详细信息,请参见第七届国际验证和程序转换研讨会(VPT 2019)上介绍的.μJS语法如上图所示。 如何运行工具 git clone https://github.com/SPY-Lab/mufasa 在这里,您可以找到JAR文件mufasa.jar并可以通过以下方式运行MuJS静态分析器: java -jar m<weixin_42104366> 上传 | 大小:14mb