Published April 29, 2021
| Version v1
Software
Open
Artifact for the ISSTA 2021 Paper: Type and Interval aware Array Constraint Solving for Symbolic Execution
Creators
Description
This is the artifact for ISSTA 2021 paper#451 "Type and Interval aware Array Constraint Solving for Symbolic Execution". The artifact contains a Docker image with source code of SE-Array, the LLVM bitcode of 75 benchmark programs, and the necessary scripts to reproduce our experimental results.
Files
ISSTA21-AE.zip
Files
(25.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:2f968b7dbb2f8388bed12a9fbfb22c22
|
25.3 kB | Preview Download |