| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
WithAbstractPredicates.ControlFlow
Contents
Description
Synopsis
- data NextRips
- next_rips :: (BinaryClass bin, Eq pred) => Lifting bin pred finit v -> Maybe Instruction -> NextRips
- resolve_call :: (BinaryClass bin, Eq pred) => Lifting bin pred finit v -> Instruction -> NextRips
- jump_is_actually_a_call :: BinaryClass bin => Lifting bin pred finit v -> Instruction -> Bool
- get_known_jump_targets :: BinaryClass bin => Lifting bin pred finit v -> Instruction -> [ResolvedJumpTarget]
- cfg_to_dot :: BinaryClass bin => bin -> FResult pred v -> String
- hex_color_of :: Key -> [IntSet] -> String
- show_block :: CFG -> Int -> String
Documentation
Constructors
| JustRips [Word64] | |
| UnresolvedTarget | |
| Terminal | |
| UnvisitedFunctionCall Word64 |
next_rips :: (BinaryClass bin, Eq pred) => Lifting bin pred finit v -> Maybe Instruction -> NextRips Source #
resolve_call :: (BinaryClass bin, Eq pred) => Lifting bin pred finit v -> Instruction -> NextRips Source #
jump_is_actually_a_call Source #
Arguments
| :: BinaryClass bin | |
| => Lifting bin pred finit v | |
| -> Instruction | The instruction |
| -> Bool |
Returns true iff the JUMP instruction is actually a CALL followed by implicit RET
get_known_jump_targets Source #
Arguments
| :: BinaryClass bin | |
| => Lifting bin pred finit v | |
| -> Instruction | The instruction |
| -> [ResolvedJumpTarget] |
cfg_to_dot :: BinaryClass bin => bin -> FResult pred v -> String Source #
Export a CFG to .dot file
Strongly connected components get the same color.
Shows the block associated to the givern blockID.