Published January 16, 2024 | Version v3
Dataset Open

Concrete Constraint Guided Symbolic Execution

Authors/Creators

  • 1. ROR icon Chinese Academy of Sciences

Description

Decompress the "reproduction.zip" and refer to README.md to reproduce our work.

Files

README .md

Files (971.8 MB)

Name Size
md5:83803bbaa5ad43941e033d7d84277bf6
8.7 kB Preview Download
md5:4b3025528c521619bf1a40ee0278ad51
971.8 MB Preview Download

Additional details

Dates

Accepted
2024-10-10