Featured Dataset
Artifact of the paper: ProtocolGuard
This is the artifact for the paper "ProtocolGuard: Detecting Protocol Non-compliance Bugs via LLM-guided Static Analysis and Dynamic Verification". Please refer to the README.md for more instructions.
File Size6.3 MB
Data TypeDataset
Published2025
Licenseapache2.0
Total Views521
Total Downloads114
This is the artifact for the paper “ProtocolGuard: Detecting Protocol Non-compliance Bugs via LLM-guided Static Analysis and Dynamic Verification”.
Please refer to the README.md for more instructions.
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.
Xiangpu (2025). Artifact of the paper: ProtocolGuard. https://doi.org/10.5281/zenodo.17933922