Scientific Computing @ TU Darmstadt

Results 3 repositories owned by Scientific Computing @ TU Darmstadt

MetaCG

30
Stars
4
Forks
Watchers

MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.

TypeART

29
Stars
5
Forks
Watchers

LLVM-based type and memory allocation tracking sanitizer

PIRA

15
Stars
1
Forks
Watchers

PIRA - Automatic Instrumentation Refinement