An llvm implementation of a memory leak analysis by contradiction.