extensible interpreter for LLVM dynamic analyses