overflow-analyzer

A very simple static analyzer designed for buffer overflows in C

Final project for ECE455 by Jonathan Lam and Daniel Tsarev

Report | Slides

---

Build instructions

$ # debug target includes much more analysis information
$ make -j12 debug

---

Run instructions

Analyze a LLVM bitcode file.

$ target/overflow_analyzer [LLVM_BC]

See sample bitcode files in res/llvm (these files are built from the files in res/c when running the build or debug target).