Software

Software

In our research, we develop various research tools that are available for download.

ADiMat

ADiMat is a tool for Algorithmic Differentiation in Matlab.

InstRO

InstRO is a framework for automatic, selective and extendable instrumentation of C and C++ codes.

OO-Lint

OO-Lint is a static analysis tool to check operator overloading conformity of C++ codes.

PIRA

PIRA is a tool for automatic instrumentation overhead reduction.

TypeART

TypeART is a memory allocation tracking type sanitizer based on LLVM.