mufasa:μJS有限状态自动机字符串分析器 源码

μFASA静态分析仪 μFASA(μJS有限状态自动机字符串分析器)是一种基于静态解释的字符串静态分析器,用于JavaScript的子语言μJS的跨过程版本。 有关μFASA的完整详细信息,请参见第七届国际验证和程序转换研讨会(VPT 2019)上介绍的.μJS语法如上图所示。 如何运行工具 git clone https://github.com/SPY-Lab/mufasa 在这里,您可以找到JAR文件mufasa.jar并可以通过以下方式运行MuJS静态分析器: java -jar mufasa.jar filename.js 一些选项可用: -widening n :将参数扩展设置