TACE
Description
Taint Assisted Concolic Execution (TACE) utilizes the concept of taint in symbolic execution to identify all sets of dependent symbols TACE can evaluate a subset of these sets with a significantly reduced testing effort by concretizing some symbols from selected subsets The remaining subsets are explored with symbolic values TACE optimizes symbolic constrain