Concolic Auto-Classify

[bannsec]

Look into auto classification of crashes using concolic tracing (probably just using angr).

This could be done after the crashes/paths are minimized and output files with info such as what buffers are controlled at the end, guessed exploit type and guessed exploitability.