Automated Inference of Library Specifications for Source-Sink Property Verification
No abstract available.
Related papers
- Scalable taint specification inference with big code PLDI 2019
- Data-driven abductive inference of library specifications OOPSLA 2021
- Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq PLDI 2024
- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs TACAS 2022
- ANT-ACE: An FHE Compiler Framework for Automating Neural Network Inference CGO 2025
- Specification Inference Using Context-Free Language Reachability POPL 2015
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification VMCAI 2026