foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Safe HaskellNone
LanguageHaskell2010

X86.Conventions

Description

 
Synopsis

Documentation

is_exiting_function_call :: [Char] -> Bool Source #

A list of function names of functions that never return.

sections_with_instructions :: [([Char], [Char])] Source #

Overview of sections with instructions.

section_is_unwritable :: ([Char], [Char]) -> Bool Source #

Sections in the following list are assumed not to be modifiable during execution, i.e., constant.

callee_saved_registers :: [Register] Source #

A list if registers that are non-volatile, i.e., that must be preserved by a function (callee-saved)

return_registers :: [Register] Source #

A list of registers that may be used for return values

parameter_registers :: [Register] Source #

A list of registers used as parameters