Fetching the paper…
Reading the bibliography…
Static analysis is a powerful technique for bug detection in critical systems like operating system kernels.
Bugs as deviant behavior: A general approach to inferring errors in systems code
2001
Earlier work this paper cites.
Using static analysis to find bugs
2008
Earlier work this paper cites.
Cross-checking semantic correctness: The case of finding file system bugs
2015
Earlier work this paper cites.
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
2015
Earlier work this paper cites.
Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities
2018
Earlier work this paper cites.
Effective static analysis of concurrency Use-After-Free bugs in linux device drivers
2019
Earlier work this paper cites.
Detecting Missing-Check bugs via semantic-and Context-Aware criticalness and constraints inferences
2019
Earlier work this paper cites.
Ubitect: a precise and scalable method to detect use-before-initialization bugs in linux kernel
2020
Earlier work this paper cites.
Statically discovering high-order taint style vulnerabilities in os kernels
2021
Earlier work this paper cites.
Path-sensitive and alias-aware typestate analysis for detecting os bugs
2022
Earlier work this paper cites.
LinKRID: Vetting imbalance reference counting in linux kernel with symbolic execution
2022
Earlier work this paper cites.
Demystifying and checking silent semantic violations in large distributed systems
2022
Earlier work this paper cites.
Self-consistency improves chain of thought reasoning in language models
2022
Earlier work this paper cites.
2023
Earlier work this paper cites.
Place your locks well: understanding and detecting lock misuse bugs
2023
Earlier work this paper cites.
Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models
2023
Earlier work this paper cites.
Retrieval-augmented generation for large language models: A survey
2023
Cited alongside, same era.
Snowcat: Efficient kernel concurrency testing using a learned coverage predictor
2023
Cited alongside, same era.
One simple api can cause hundreds of bugs an analysis of refcounting bugs in all modern linux kernels
2023
Cited alongside, same era.
Verus: Verifying rust programs using linear ghost types
2023
Cited alongside, same era.
Pearl: Prompting large language models to plan and execute actions over long documents
2023
Cited alongside, same era.
Boosting static resource leak detection via llm-based resource-oriented intention inference, 2024
2024
Later among the works it cites.
Automated program repair via conversation: Fixing 162 out of 337 bugs for $0.42 each using chatgpt
2024
Later among the works it cites.
Whitefox: White-box compiler fuzzing empowered by large language models
2024
Later among the works it cites.
Prompt-enhanced software vulnerability detection using chatgpt
2024
Later among the works it cites.
Seal: Towards diverse specification inference for linux interfaces from security patches
2025
Closest in time.
Snowplow: Effective kernel fuzzing with a learned white-box test mutator
2025
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2023
Cited alongside, same era.
Automated program repair in the era of large pre-trained language models
2023
Cited alongside, same era.
Fuzzing automatic differentiation in deep-learning libraries
2023
Cited alongside, same era.
Syzretrospector: A large-scale retrospective study of syzbot, 2024
2024
Cited alongside, same era.
Vul-rag: Enhancing llm-based vulnerability detection via knowledge-level rag
2024
Cited alongside, same era.
2024
Cited alongside, same era.
Enhancing static analysis for practical bug detection: An llm-integrated approach
2024
Cited alongside, same era.
A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions
2025
Closest in time.
Artemis: Toward accurate detection of server-side request forgeries through llm-assisted inter-procedural path-sensitive taint analysis
2025
Closest in time.
Training with confidence: Catching silent errors in deep learning training with automated proactive checks
2025
Closest in time.
Automated static vulnerability detection via a holistic neuro-symbolic approach
2025
Closest in time.
Deriving semantic checkers from tests to detect silent failures in production distributed systems
2025
Closest in time.
Finetuning large language models for vulnerability detection
2025
Closest in time.
Autoverus: Automated proof generation for rust code
2025
Closest in time.
Finding bugs using your own code: detecting functionally-similar yet inconsistent code
2040
Closest in time.
Goshawk: Hunting memory corruptions via structure-aware and object-centric memory operation synopsis
2096
Closest in time.