| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
WithAbstractPredicates.GenerateCFG
Synopsis
- generate_cfg :: WithAbstractPredicates bin pred finit v => Lifting bin pred finit v -> Word64 -> CFG
- mk_graph :: WithAbstractPredicates bin pred finit v => Lifting bin pred finit v -> Word64 -> Set (Word64, Word64) -> CFG -> CFG
- split_graph' :: Key -> CFG -> Maybe CFG
- split_graph :: Key -> CFG -> Maybe CFG
- add_edge_to_graph :: Key -> Key -> CFG -> Maybe CFG
- add_to_intset :: Key -> Maybe IntSet -> Maybe IntSet
- append_to_list :: a -> Maybe [a] -> Maybe [a]
- add_edge :: Int -> Int -> Bool -> CFG -> CFG
- fromJust' :: (Integral a, Show a) => a -> [a] -> Maybe a -> a
- cfg_add_instrs :: WithAbstractPredicates bin pred finit v => Lifting bin pred finit v -> CFG -> CFG
- is_consecutive :: Eq a => a -> a -> [a] -> Bool
- is_edge :: CFG -> Int -> Int -> Bool
Documentation
Arguments
| :: WithAbstractPredicates bin pred finit v | |
| => Lifting bin pred finit v | |
| -> Word64 | The entry point of the function |
| -> CFG |
Produce a CFG
mk_graph :: WithAbstractPredicates bin pred finit v => Lifting bin pred finit v -> Word64 -> Set (Word64, Word64) -> CFG -> CFG Source #
append_to_list :: a -> Maybe [a] -> Maybe [a] Source #
cfg_add_instrs :: WithAbstractPredicates bin pred finit v => Lifting bin pred finit v -> CFG -> CFG Source #
is_consecutive :: Eq a => a -> a -> [a] -> Bool Source #