Safe Haskell | Safe |
---|---|
Language | Haskell98 |
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