LLVM.Wrapper.Analysis
verifyFunction
verifyModule