文件名称：tarsis:Tarsis抽象域的实现
文件大小：128KB
文件格式：ZIP
更新时间：2024-06-15 08:59:10
static-analysis automaton abstract-interpretation abstract-domain string-analysis
TARSIS用于静态字符串分析的抽象域 孪生自动机和用于字符串静态分析的正则表达式的实现，作者：Luca Negrini，Vincenzo Arceri，Pietro Ferrara和Agostino Cortesi。 链接： 如何使用抽象域 类是使用域的入口点。 使用其无参数构造函数来构建表示通用未知字符串的自动机，并使用接受字符串参数的自动机来构建识别给定字符串的自动机。 如何建立专案 Tarsis是gradle 6.0项目。 对于使用Eclipse进行开发，请从Eclipse市场上安装插件，并确保将项目作为Gradle项目导入到工作区中。
【文件预览】：
tarsis-master
----.gitignore(2KB)
----settings.gradle(28B)
----build.gradle(2KB)
----src()
--------main()
--------test()
----.classpath(1KB)
----spotless-formatting.xml(43KB)
----gradlew(6KB)
----LICENSE(1KB)
----.github()
--------workflows()
----code-style.gradle(2KB)
----publishing.gradle(3KB)
----README.md(1KB)
----gradlew.bat(3KB)
----.project(615B)
----gradle()
--------wrapper()
----checkstyle-config.xml(1KB)
----.gitattributes(154B)