C/C++ Whitebox Fuzzing by Patrick Ventuzelo