μ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