Automatic vulnerability mining with abstract interpretation and static taint trace
Taint-based directed whitebox fuzzing