8.33 Under-Constrained Symbolic Execution: Correctness Checking for Real Code

paper

简介

Previous8.30 Preventing brute force attacks against stack canary protection on networking serversNext8.34 Enhancing Symbolic Execution with Veritesting

Last updated