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.

mach

mach is an LLVM-based tool to check if a target code fulfils the upcoming MPI assertions.

MetaCG

MetaCG is an annotatable whole-program call-graph representation for C/C++.

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.

SimAnMo

SimAnMo is an empirical performance modeling tool for programs with potentially exponential runtime.

TypeART

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

qTESLA

qTESLA is a collection of practical implementation of a quantum attack resistant signature scheme.