Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
type VerifierFailureAction = CInt Source #
verifyFunction :: ValueRef -> VerifierFailureAction -> IO Bool Source #
verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO Bool Source #
viewFunctionCFG :: ValueRef -> IO () Source #
viewFunctionCFGOnly :: ValueRef -> IO () Source #