Optimal Guard Synthesis for Memory Safety
No abstract available.
Related papers
- MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory from Illicit Native Code Access CGO 2025
- Synthesis from LTL Specifications with Mean-Payoff Objectives TACAS 2013
- RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation ICFP 2026
- 2LS: Heap Analysis and Memory Safety - (Competition Contribution) TACAS 2020
- SAT-Based Synthesis Methods for Safety Specs VMCAI 2014
- Stochastic Games with Lexicographic Reachability-Safety Objectives CAV 2020
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives CAV 2023
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018