In our research, we develop various research tools that are available for download.
InstRO is a framework for automatic, selective and extendable instrumentation of C and C++ codes.
OO-Lint is a static analysis tool to check operator overloading conformity of C++ codes.
PIRA is a tool for automatic instrumentation overhead reduction.
TypeART is a memory allocation tracking type sanitizer based on LLVM.