foxdec-0.1.0.0: Formally Verified x86-64 Decompilation (Index - G)

foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
|
_
All

Index - G

gather_pa_results	Data.VerificationCondition
generate_cfg	WithAbstractPredicates.GenerateCFG
generate_invariants	WithAbstractPredicates.GenerateInvariants
generate_pdfs	Config
generic_data_section	OutputGeneration.NASM.L0ToNASM
getNESetOf	Base
get_function_type	WithNoAbstraction.SymbolicExecution
get_indirections_per_function	OutputGeneration.NASM.L0ToNASM
get_known_jump_targets	WithAbstractPredicates.ControlFlow
get_pointer_base_set	WithNoAbstraction.Pointers
get_pointer_domain	WithNoAbstraction.Pointers
get_pointer_specifity_cpointer	OutputGeneration.Metrics
get_postcondition_for_block	WithAbstractPredicates.GenerateInvariants
get_string_from_steName	Binary.Elf
get_terminals_per_function	OutputGeneration.NASM.L0ToNASM
get_types	OutputGeneration.Metrics
GlobalAddress	Data.SymbolicExpression
GPR	Data.X86.Register
Graph	Base
graph_add_edges	Base
graph_delete	Base
graph_find_next	Algorithm.SCC
graph_is_edge	Base
graph_is_parent	Base
graph_is_vertex	Base
graph_nontrivial_scc	Algorithm.SCC
group_immediates	WithNoAbstraction.SymbolicExecution
GS	Data.X86.Register