DITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86 Binaries Walid J. Ghandour, Clémentine Maurice (CNRS, CRIStAL)