Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach.

Sophie Lathouwers, Maarten H. Everts, Marieke Huisman

Browse the full ICISSP paper archive.