Security
NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction
arXiv cs.CR0 views
arXiv:2606.00625v2 Announce Type: replace Abstract: Reproducing software vulnerabilities is fundamental to security researchers, open-source maintainers, and educators. Yet, vulnerabilities are often hard to reproduce, and even when they can be reproduced once, recreating a software environment where the vulnerability can be exploited becomes harder and harder over time. We present NICE, the NIx CvE reproduction framework, which uses declarative recipes to build and automatically validate vulnerable environments. In NICE, a reproduced CVE comprises one or more NixOS virtual machine configurations, a scripted exploitation scenario, and machine-checkable assertions that provide factual evidence of exploitation. This design facilitates sharing, validation, review, and long-term reproducibility. Building on NICE, we construct a public archive of 56 reproduced vulnerabilities spanning multiple CWE categories, attack vectors, and target types (user-space, system software, kernel, and graphical applications), combining manually authored recipes with recipes produced by an LLM-based automated pipeline and merged after human review. We evaluate the feasibility of the automated pipeline on 110 real-world CVEs, achieving fully automated reproduction in 54.5% of the cases, at an average cost of $0.73 per CVE. The evaluation demonstrates that NICE provides a practical target for LLM-assisted recipe generation, while also identifying where human refinement or additional automation remains necessary.
Source:https://arxiv.org/abs/2606.00625PreviousAnalyzing Linear Layers in Related-Differential CryptanalysisNextTGCM: Topic-Guided Consistency Modeling for One-Step Disentanglement of Interleaved APT Technique Sequences
Related posts
One-hot Coding-based URA with RFFI-Enabled Message Authentication
0arXiv eess.SP
A generalization of the map $\chi$
0arXiv math.IT
An Empirical Study on CVE-based Vulnerabilities Propagation from one System to another System (IntraProject vs InterProject)
0arXiv cs.CR
5 Free Website Checks to Run Before You Publish a New Page
0dev.to WebDev
Holding AI Developers Criminally Liable for Severe Model Failures and Security Breaches
0dev.to Security
![Differential Drive, Steer Drive and Omni Drive — Ch.25: Safety and Certification [KR]](https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2F5709wj88p72len0v591r.png)
Differential Drive, Steer Drive and Omni Drive — Ch.25: Safety and Certification [KR]
0dev.to