software engineering

Analysing Snort with KLEE

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

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