jbaramidze / KATU

Detection of unbounded memory accesses using dynamic taint analysis

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

KATU is a tool that I developed for my Master's Thesis in TU Kaiserslautern. It detects unbounded memory accesses using dynamic taint analysis. For more information you can take a look at a presentation or report.

About

Detection of unbounded memory accesses using dynamic taint analysis


Languages

Language:C 91.6%Language:C++ 5.8%Language:CMake 1.6%Language:Shell 1.0%