Safe Haskell | Safe |
---|
Documentation
type VerifierFailureAction = CIntSource
verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO BoolSource
viewFunctionCFG :: ValueRef -> IO ()Source
Safe Haskell | Safe |
---|
type VerifierFailureAction = CIntSource
verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO BoolSource
viewFunctionCFG :: ValueRef -> IO ()Source