Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (via scottatgalois) — discussion

#formalmethods #release #reversing #security