Sound and Efficient Generation of Data-Oriented Exploits via Programming Language SynthesisShare on Twitter Facebook LinkedIn Previous Next