VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR.

Joschua Schilling, Tilo Mller

Browse the full DIMVA paper archive.