Static Analysis of String Encoders and Decoders.

Loris D'Antoni, Margus Veanes

Browse the full VMCAI paper archive.