Collection of Datalog based program analysis passes for LLVM