Static Analysis of String Encoders and Decoders
No abstract available.
Related papers
- Automatic program inversion using symbolic transducers PLDI 2017
- Efficient Reflection String Analysis via Graph Coloring ECOOP 2018
- Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study VMCAI 2025
- Automatic Generation and Validation of Instruction Encoders and Decoders CAV 2021
- Narcissus: correct-by-construction derivation of decoders and encoders from binary formats ICFP 2019
- Functional pearl: every bit counts ICFP 2010
- Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System CAV 2018
- ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models POPL 2026