Evaluating Shrinking (Experience Report)
2026-08-12T08:51:55Z•08a1a43c770f695ac070f5f35ff34e1ba53b8a14f5727e7e70532cb2405c6a8e
CVE awarenessDatalogLLM securityOSV.devbinary decompilationcode comprehensionconcurrencydata privacydeadlock detectionformal verificationlivenessmodel checkingproperty-based testingrace detectionreverse engineeringsecurity researchside-channel analysissoftware supply chainstatic analysis
What happened
This document is an arXiv computer science feed containing research on property-based testing, AI-assisted code comprehension, formal session-type safety, probabilistic static analysis, relational query languages, programming-language complexity, model-checking state-space estimation, and LLM-based binary decompilation. Security-relevant topics include CVE-aware code analysis, vulnerability overlays, binary reverse engineering, data privacy, race and side-channel analysis, deadlock/liveness verification, and decompilation accuracy. No specific vulnerability disclosure or exploitable condition,
Why it matters
A reviewed impact interpretation has not been published for this record.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 08a1a43c770f695ac070f5f35ff34e1ba53b8a14f5727e7e70532cb2405c6a8e
- Enrichment time
- 2026-08-12T08:51:55Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.