lisa
0.1
丽莎（用于静态分析的库）旨在根据抽象解释理论简化静态分析仪的创建和实施。丽莎提供了一个分析引擎，该引擎可用于程序分析的程序的通用和可扩展的控制流程图表示。 Lisa中的抽象口译员是为了分析这种表示形式而建立的，为所有依赖它的分析仪提供了独特的分析基础架构。
建立对丽莎的分析仪归结为编写一个旨在分析，将源代码或编译的代码转换为丽莎的控制流图表示的语言的解析器。然后，可以轻松地定义对丽莎语义分析提供的结果的简单检查，以将语义信息转化为对最终用户可能具有价值的警告。
有关更多信息，文档和有用指南，请参阅项目网站！
丽莎是由意大利威尼斯的软件和系统验证（SSV）组开发和维护的。总是欢迎外部贡献！查看我们的贡献指南，以获取有关如何为丽莎贡献的信息。
前往发布页面以获取完整的版本列表。
master分支的最后一个提交的快照始终在GitHub软件包上可用。请注意，您将需要一个个人访问令牌才能将软件包用作解决依赖项的服务器。您可以参考Maven或Gradle的官方GitHub指南以获取更多信息。
