Theofilos Petsios
nettrino
IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
