This is a prototype of our decoupled binary execution tool with an aim to evaluate the efficacy of the statically derived program information from RE frameworks to provide memory safety for program binaries.
Paper Link -> http://www.ittc.ku.edu/~kulkarni/CARS/papers/21_ispec_ruturaj.pdf