Telecharger Cours

Fuzzing: State of the Art - Cheng Wen

It uses the SMT solver STP [10] by default but also supports Z3 [23], which we use as a common ground in our study. KLEE executes all user code at the IR level.



Download