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.
mach is an LLVM-based tool to check if a target code fulfils the upcoming MPI assertions.
MetaCG is an annotatable whole-program call-graph representation for C/C++.
OO-Lint is a static analysis tool to check operator overloading conformity of C++ codes.
PIRA is a tool for automatic instrumentation overhead reduction.
SimAnMo is an empirical performance modeling tool for programs with potentially exponential runtime.
TypeART is a memory allocation tracking type sanitizer based on LLVM.
qTESLA is a collection of practical implementation of a quantum attack resistant signature scheme.