Systems

Analysing Snort with KLEE

Understanding usability of KLEE by trying to analyse a large Intrusion Detection System