8.34 Enhancing Symbolic Execution with Veritesting

简介

Previous8.33 Under-Constrained Symbolic Execution: Correctness Checking for Real Code Next8.38 TaintEraser: Protecting Sensitive Data Leaks Using Application-Level Taint Tracking

Last updated 3 years ago