Software Engineering

Analysing Snort with KLEE

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

Revelio

A tool for doing static analysis of Python code for known vulnerabilities