Large-scale study on 60k firmware shows vulnerable function versions, search space, function sizes and compilation toolchains affect BCSD performance; build-aware queries raise MRR from 0.818 to 0.981 and TPL-aware two-stage search improves it by 18.5%.
Gadelha, Felipe R
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
A large open crowdsourced effort verifies substantial parts of the Rust standard library for memory safety properties by integrating complementary verification tools into CI on a forked repository.
This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.
citing papers explorer
-
Verifying the Rust Standard Library
A large open crowdsourced effort verifies substantial parts of the Rust standard library for memory safety properties by integrating complementary verification tools into CI on a forked repository.