Published January 28, 2023
| Version 1.0.2
Software
Open
[Artifact] ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis
Authors/Creators
- 1. The University of Texas at Dallas
Description
This is our artifact submission to ICSE 2023, accompanying our technical track paper, "ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis." All of the required documentation is in the ECSTATIC-artifact.zip archive. SADeltaDebugger-master.zip contains an archived version of the delta debugger, but note that if you are setting up ECSTATIC yourself, you only need the ECSTATIC source code (it will download the delta debugger from GitHub). We only include the delta debugger here for archival purposes.
Follow updates and bug fixes on GitHub: https://github.com/UTD-FAST-Lab/ECSTATIC/tree/artifact
Files
ECSTATIC-artifact.zip
Files
(437.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c652d7a0ca8000b00c0e43b2193cf564
|
427.6 MB | Preview Download |
|
md5:f54b4d28c4546ad10919f08bf48f107d
|
9.4 MB | Preview Download |