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
-
Understanding Binary Code Similarity for Real-World Vulnerability Detection: A Large-Scale Empirical Study
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%.
-
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.
-
ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.