LLVM-based Interprocedural Dataflow Tracking

Masterarbeit