Safe Haskell | None |
---|
LLVM.FFI.Analysis
Documentation
type VerifierFailureAction = CIntSource
verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO BoolSource
viewFunctionCFG :: ValueRef -> IO ()Source
viewFunctionCFGOnly :: ValueRef -> IO ()Source