LLVM-based Interprocedural Dataflow Tracking

Master Thesis