Decorator which checks whether the function is called with the correct t...
Configurable instrumentation of LLVM bitcode