LLVM.FFI.Analysis
Documentation
type VerifierFailureAction = CInt Source
verifyFunction :: ValueRef -> VerifierFailureAction -> IO CInt Source
verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO CInt Source
viewFunctionCFG :: ValueRef -> IO () Source
viewFunctionCFGOnly :: ValueRef -> IO () Source