Index

AAA	Data.X86.Opcode
AAD	Data.X86.Opcode
AAM	Data.X86.Opcode
AAS	Data.X86.Opcode
ADC	Data.X86.Opcode
Adc	Data.SymbolicExpression
ADD	Data.X86.Opcode
addends	Data.SymbolicExpression
ADDPD	Data.X86.Opcode
ADDPS	Data.X86.Opcode
AddressOfLabel	Data.Symbol
AddressOfObject	Data.Symbol
address_has_external_symbol	WithNoAbstraction.Pointers
address_has_instruction	Binary.Generic
address_to_NASM	OutputGeneration.NASM.L0ToNASM
ADDSD	Data.X86.Opcode
ADDSS	Data.X86.Opcode
ADDSUBPD	Data.X86.Opcode
ADDUBPS	Data.X86.Opcode
add_base_displ	WithAbstractSymbolicValues.SymbolicExecution
add_edge	WithAbstractPredicates.GenerateCFG
add_edge_to_graph	WithAbstractPredicates.GenerateCFG
add_function_pointer	WithAbstractSymbolicValues.SymbolicExecution
add_jump_to_pred	WithAbstractSymbolicValues.SymbolicExecution
add_pa_result	WithAbstractSymbolicValues.SymbolicExecution
add_to_intset	WithAbstractPredicates.GenerateCFG
Aliassing	WithAbstractSymbolicValues.Class
allp	Base
all_bot_satisfy	Data.SymbolicExpression
all_sccs	Algorithm.SCC
AnalysisResult	WithAbstractPredicates.ContextSensitiveAnalysis
AnalyzedInternalFunction	WithNoAbstraction.SymbolicExecution
AnalyzedInternalFunctionTerminates	WithNoAbstraction.SymbolicExecution
AnalyzedInternalFunctionUnknown	WithNoAbstraction.SymbolicExecution
AnalyzedWithResult	WithAbstractPredicates.ContextSensitiveAnalysis
analyze_entry	WithAbstractPredicates.ContextSensitiveAnalysis
AND	Data.X86.Opcode
And	Data.SymbolicExpression
ANDNPD	Data.X86.Opcode
ANDNPS	Data.X86.Opcode
ANDPD	Data.X86.Opcode
ANDPS	Data.X86.Opcode
Annot	OutputGeneration.NASM.NASM
append_to_list	WithAbstractPredicates.GenerateCFG
Apply	WithNoAbstraction.SymbolicExecution
ApplyAnd	WithNoAbstraction.SymbolicExecution
ApplyCMov	WithNoAbstraction.SymbolicExecution
ApplyDec	WithNoAbstraction.SymbolicExecution
ApplyInc	WithNoAbstraction.SymbolicExecution
ApplyMinus	WithNoAbstraction.SymbolicExecution
ApplyMov	WithNoAbstraction.SymbolicExecution
ApplyNeg	WithNoAbstraction.SymbolicExecution
ApplyPlus	WithNoAbstraction.SymbolicExecution
ApplySExtend	WithNoAbstraction.SymbolicExecution
ARPL	Data.X86.Opcode
average	Base
BaseIsStatePart	Data.SymbolicExpression
base_to_expr	WithNoAbstraction.SymbolicExecution
Binary
1 (Type/Class)	Binary.Generic
2 (Data Constructor)	Binary.Generic
BinaryClass	Binary.Generic
binary_dir_name	Binary.Generic
binary_entry	Binary.Generic
binary_file_name	Binary.Generic
binary_get_global_symbols	Binary.Generic
binary_get_relocations	Binary.Generic
binary_get_sections_info	Binary.Generic
binary_get_symbols	Binary.Generic
binary_get_symbol_table	Binary.Generic
binary_pp	Binary.Generic
binary_read_bytestring	Binary.Generic
binary_read_data	Binary.Generic
binary_read_ro_data	Binary.Generic
binary_text_section_size	Binary.Generic
BitSize
1 (Type/Class)	Data.Size
2 (Data Constructor)	Data.Size
BLENDVPD	Data.X86.Opcode
BLENDVPS	Data.X86.Opcode
blocks	OutputGeneration.NASM.NASM
block_label	OutputGeneration.NASM.L0ToNASM
BotSrc	Data.SymbolicExpression
Bottom	Data.SymbolicExpression
BotTyp	Data.SymbolicExpression
BOUND	Data.X86.Opcode
BSF	Data.X86.Opcode
BSR	Data.X86.Opcode
Bsr	Data.SymbolicExpression
bss_data_section	OutputGeneration.NASM.L0ToNASM
BSWAP	Data.X86.Opcode
Bswap	Data.SymbolicExpression
BT	Data.X86.Opcode
BTC	Data.X86.Opcode
BTR	Data.X86.Opcode
BTS	Data.X86.Opcode
ByteSize
1 (Type/Class)	Data.Size
2 (Data Constructor)	Data.Size
byteSize	Data.Size
bytes_to_word	Base
calias	WithNoAbstraction.SymbolicExecution
CALL	Data.X86.Opcode
call	WithNoAbstraction.SymbolicExecution
callee_saved_registers	Conventions
CALLF	Data.X86.Opcode
canonicalize	Data.X86.Instruction
canonicalize_div	Data.X86.Instruction
canonicalize_mul	Data.X86.Instruction
canonicalize_sextend1	Data.X86.Instruction
canonicalize_sextend2	Data.X86.Instruction
CBW	Data.X86.Opcode
CDQ	Data.X86.Opcode
CDQE	Data.X86.Opcode
CFG
1 (Type/Class)	Data.CFG
2 (Data Constructor)	Data.CFG
cfg_addr_to_blockID	Data.CFG
cfg_add_instrs	WithAbstractPredicates.GenerateCFG
cfg_blocks	Data.CFG
cfg_blocks_to_NASM	OutputGeneration.NASM.L0ToNASM
cfg_block_to_NASM	OutputGeneration.NASM.L0ToNASM
cfg_edges	Data.CFG
cfg_fresh	Data.CFG
cfg_instrs	Data.CFG
cfg_to_dot	WithAbstractPredicates.ControlFlow
cflg_semantics	WithNoAbstraction.SymbolicExecution
check_regs_in_postcondition	WithNoAbstraction.SymbolicExecution
cimmediate	WithNoAbstraction.SymbolicExecution
cis_deterministic	WithNoAbstraction.SymbolicExecution
cis_local	WithNoAbstraction.SymbolicExecution
cjoin	WithNoAbstraction.SymbolicExecution
cjoin_all	WithNoAbstraction.SymbolicExecution
cjoin_pointers	WithNoAbstraction.SymbolicExecution
ckeep_for_finit	WithNoAbstraction.SymbolicExecution
CLC	Data.X86.Opcode
CLD	Data.X86.Opcode
clean_flg	WithAbstractSymbolicValues.Sstate
CLFLUSH	Data.X86.Opcode
CLI	Data.X86.Opcode
CLTS	Data.X86.Opcode
CMC	Data.X86.Opcode
cmk_init_mem_value	WithNoAbstraction.SymbolicExecution
cmk_init_reg_value	WithNoAbstraction.SymbolicExecution
cmk_mem_addresses	WithNoAbstraction.SymbolicExecution
Cmov	Data.SymbolicExpression
CMOVA	Data.X86.Opcode
CMOVAE	Data.X86.Opcode
CMOVB	Data.X86.Opcode
CMOVBE	Data.X86.Opcode
CMOVC	Data.X86.Opcode
CMOVE	Data.X86.Opcode
CMOVG	Data.X86.Opcode
CMOVGE	Data.X86.Opcode
CMOVL	Data.X86.Opcode
CMOVLE	Data.X86.Opcode
CMOVNA	Data.X86.Opcode
CMOVNAE	Data.X86.Opcode
CMOVNB	Data.X86.Opcode
CMOVNBE	Data.X86.Opcode
CMOVNC	Data.X86.Opcode
CMOVNE	Data.X86.Opcode
CMOVNG	Data.X86.Opcode
CMOVNGE	Data.X86.Opcode
CMOVNL	Data.X86.Opcode
CMOVNLE	Data.X86.Opcode
CMOVNO	Data.X86.Opcode
CMOVNP	Data.X86.Opcode
CMOVNS	Data.X86.Opcode
CMOVNZ	Data.X86.Opcode
CMOVO	Data.X86.Opcode
CMOVP	Data.X86.Opcode
CMOVPE	Data.X86.Opcode
CMOVPO	Data.X86.Opcode
CMOVS	Data.X86.Opcode
CMOVZ	Data.X86.Opcode
CMP	Data.X86.Opcode
CMPEQSD	Data.X86.Opcode
CMPLTSD	Data.X86.Opcode
CMPLTSS	Data.X86.Opcode
CMPNEQSD	Data.X86.Opcode
CMPNLESD	Data.X86.Opcode
CMPNLESS	Data.X86.Opcode
CMPS	Data.X86.Opcode
CMPSB	Data.X86.Opcode
CMPSD	Data.X86.Opcode
CMPSS	Data.X86.Opcode
CMPSW	Data.X86.Opcode
CMPXCHG	Data.X86.Opcode
CMPXCHG16B	Data.X86.Opcode
CMPXCHG8B	Data.X86.Opcode
cnecessarily_enclosed	WithNoAbstraction.SymbolicExecution
COMISD	Data.X86.Opcode
COMISS	Data.X86.Opcode
compute_all_sccs	Algorithm.SCC
Config
1 (Type/Class)	Config
2 (Data Constructor)	Config
contains_address	Binary.Elf
contains_bot	Data.SymbolicExpression
contains_bot_sp	Data.SymbolicExpression
continue_on_unknown_instruction	Config
control_flow	OutputGeneration.NASM.NASM
CPUID	Data.X86.Opcode
CQO	Data.X86.Opcode
cread_from_ro_data	WithNoAbstraction.SymbolicExecution
crossProduct	Base
crossProduct_size	Base
CS	Data.X86.Register
CSemantics	WithNoAbstraction.SymbolicExecution
csemantics	WithNoAbstraction.SymbolicExecution
csensitive	WithNoAbstraction.SymbolicExecution
cseparate	WithNoAbstraction.SymbolicExecution
ctry_immediate	WithNoAbstraction.SymbolicExecution
ctry_jump_targets	WithNoAbstraction.SymbolicExecution
ctry_resolve_error_call	WithNoAbstraction.SymbolicExecution
CVTDQ2PD	Data.X86.Opcode
CVTSD2SS	Data.X86.Opcode
CVTSI2SD	Data.X86.Opcode
CVTSI2SS	Data.X86.Opcode
CVTSS2SD	Data.X86.Opcode
CVTTPD2DQ	Data.X86.Opcode
CVTTSD2SI	Data.X86.Opcode
CVTTSS2SI	Data.X86.Opcode
CWD	Data.X86.Opcode
CWDE	Data.X86.Opcode
cwiden	WithNoAbstraction.SymbolicExecution
DAA	Data.X86.Opcode
DAS	Data.X86.Opcode
DataEntry_BSS	OutputGeneration.NASM.NASM
DataEntry_Byte	OutputGeneration.NASM.NASM
DataEntry_Pointer	OutputGeneration.NASM.NASM
DataEntry_String	OutputGeneration.NASM.NASM
data_section	OutputGeneration.NASM.L0ToNASM
DEC	Data.X86.Opcode
designations_to_percentages	OutputGeneration.Metrics
disassemble0	Disassembler.Disassembler
DIV	Data.X86.Opcode
DIVPD	Data.X86.Opcode
DIVPS	Data.X86.Opcode
DIVSD	Data.X86.Opcode
DIVSS	Data.X86.Opcode
DIV_HI	Data.X86.Opcode
DIV_LO	Data.X86.Opcode
Domain_Bases	WithNoAbstraction.Pointers
Domain_Sources	WithNoAbstraction.Pointers
domFrontier	Algorithm.Dominance
dontcare_label	OutputGeneration.NASM.L0ToNASM
do_not_modify	Data.X86.Instruction
DS	Data.X86.Register
Edges	Base
elf	Binary.Elf
elf_dir_name	Binary.Elf
elf_file_name	Binary.Elf
elf_get_relocs	Binary.Elf
elf_get_sections_info	Binary.Elf
elf_get_symbol_table	Binary.Elf
elf_max_address	Binary.Elf
elf_min_address	Binary.Elf
elf_read_bytestring	Binary.Elf
elf_read_data	Binary.Elf
elf_read_file	Binary.Elf
elf_read_ro_data	Binary.Elf
elf_relocs	Binary.Elf
elf_sections_info	Binary.Elf
elf_symbol_table	Binary.Elf
elf_text_section_size	Binary.Elf
EMMS	Data.X86.Opcode
empty_address	OutputGeneration.NASM.NASM
empty_finit	WithAbstractSymbolicValues.Class
empty_result	Data.L0
ENDBR64	Data.X86.Opcode
end_of_section_label	OutputGeneration.NASM.L0ToNASM
ENTER	Data.X86.Opcode
entry_has_been_done	WithAbstractPredicates.ContextSensitiveAnalysis
entry_to_NASM	OutputGeneration.NASM.L0ToNASM
ES	Data.X86.Register
evalSstate	WithAbstractSymbolicValues.Sstate
execSstate	WithAbstractSymbolicValues.Sstate
existsAndSatisfies	Base
exploreDanglingFunctionPointers	WithAbstractPredicates.ContextSensitiveAnalysis
exploreDanglingRelocations	WithAbstractPredicates.ContextSensitiveAnalysis
exploreFunctionEntries	WithAbstractPredicates.ContextSensitiveAnalysis
exploreFunctionEntry	WithAbstractPredicates.ContextSensitiveAnalysis
expr_highly_likely_pointer	WithNoAbstraction.Pointers
expr_is_global_immediate	WithNoAbstraction.Pointers
expr_is_highly_likely_global_pointer	WithNoAbstraction.Pointers
expr_is_highly_likely_local_pointer	WithNoAbstraction.Pointers
expr_is_maybe_global_pointer	WithNoAbstraction.Pointers
expr_is_maybe_local_pointer	WithNoAbstraction.Pointers
expr_size	Data.SymbolicExpression
expr_to_addends	WithNoAbstraction.SymbolicExecution
External	Data.JumpTarget
ExternalDeref	Data.JumpTarget
ExternalFunction	WithNoAbstraction.SymbolicExecution
ExternalFunctionBehavior
1 (Type/Class)	WithNoAbstraction.SymbolicExecution
2 (Data Constructor)	WithNoAbstraction.SymbolicExecution
ExternalFunctionOutput	WithNoAbstraction.SymbolicExecution
externals	OutputGeneration.NASM.L0ToNASM
external_function_behavior	WithNoAbstraction.SymbolicExecution
external_objects	OutputGeneration.NASM.L0ToNASM
EXTRACTPS	Data.X86.Opcode
FABS	Data.X86.Opcode
FADD	Data.X86.Opcode
FADDP	Data.X86.Opcode
FBLD	Data.X86.Opcode
FBSTP	Data.X86.Opcode
FCHS	Data.X86.Opcode
FCLEX	Data.X86.Opcode
FCMOVB	Data.X86.Opcode
FCMOVBE	Data.X86.Opcode
FCMOVE	Data.X86.Opcode
FCMOVNB	Data.X86.Opcode
FCMOVNBE	Data.X86.Opcode
FCMOVNE	Data.X86.Opcode
FCMOVNU	Data.X86.Opcode
FCMOVU	Data.X86.Opcode
FCOM	Data.X86.Opcode
FCOMI	Data.X86.Opcode
FCOMIP	Data.X86.Opcode
FCOMP	Data.X86.Opcode
FCOMPI	Data.X86.Opcode
FCOMPP	Data.X86.Opcode
FCOS	Data.X86.Opcode
FDIV	Data.X86.Opcode
FDIVP	Data.X86.Opcode
FDIVR	Data.X86.Opcode
FDIVRP	Data.X86.Opcode
fetch_block	Data.CFG
fetch_instruction	Binary.Generic
FFREE	Data.X86.Opcode
FIADD	Data.X86.Opcode
FICOM	Data.X86.Opcode
FICOMP	Data.X86.Opcode
FIDIV	Data.X86.Opcode
FIDIVR	Data.X86.Opcode
FILD	Data.X86.Opcode
FIMUL	Data.X86.Opcode
findString	Base
find_element_not_in	OutputGeneration.NASM.L0ToNASM
find_section_ending_at	Binary.Generic
find_section_for_address	Binary.Generic
find_unused_register	OutputGeneration.NASM.L0ToNASM
finishExploration	WithAbstractPredicates.ContextSensitiveAnalysis
FINIT	Data.X86.Opcode
FInit
1 (Type/Class)	WithAbstractSymbolicValues.Class
2 (Data Constructor)	WithAbstractSymbolicValues.Class
finit_to_init_pred	WithAbstractPredicates.Class
finit_to_init_sstate	WithAbstractSymbolicValues.FInit
firstJustsM	Base
FIST	Data.X86.Opcode
FISTP	Data.X86.Opcode
FISTPP	Data.X86.Opcode
FISTTP	Data.X86.Opcode
FISUB	Data.X86.Opcode
FISUBR	Data.X86.Opcode
FlagStatus	Data.SymbolicExpression
FLD	Data.X86.Opcode
FLD1	Data.X86.Opcode
FLDCW	Data.X86.Opcode
FLDENV	Data.X86.Opcode
FLDL2E	Data.X86.Opcode
FLDL2T	Data.X86.Opcode
FLDLG2	Data.X86.Opcode
FLDLN2	Data.X86.Opcode
FLDPI	Data.X86.Opcode
FLDZ	Data.X86.Opcode
FMUL	Data.X86.Opcode
FMULP	Data.X86.Opcode
FNINIT	Data.X86.Opcode
FNOP	Data.X86.Opcode
FNSTCW	Data.X86.Opcode
FoundNewCalls	WithAbstractPredicates.ContextSensitiveAnalysis
FPREM1	Data.X86.Opcode
FPUReg	Data.X86.Register
FreshPointer	WithNoAbstraction.SymbolicExecution
FResult
1 (Type/Class)	Data.L0
2 (Data Constructor)	Data.L0
FRNDINT	Data.X86.Opcode
FromBitMode	Data.SymbolicExpression
FromCall	Data.SymbolicExpression
fromJust'	WithAbstractPredicates.GenerateCFG
FromMemWrite	Data.SymbolicExpression
FromNonDeterminism	Data.SymbolicExpression
FromOverlap	Data.SymbolicExpression
FromPointerBases	Data.SymbolicExpression
FromSemantics	Data.SymbolicExpression
FromSources	Data.SymbolicExpression
FromUninitializedMemory	Data.SymbolicExpression
FRSTOR	Data.X86.Opcode
FS	Data.X86.Register
FSAVE	Data.X86.Opcode
FSCALE	Data.X86.Opcode
FSIN	Data.X86.Opcode
FSINCOS	Data.X86.Opcode
FSQRT	Data.X86.Opcode
FST	Data.X86.Opcode
FSTCW	Data.X86.Opcode
FSTENV	Data.X86.Opcode
FSTP	Data.X86.Opcode
FSTSW	Data.X86.Opcode
FSUB	Data.X86.Opcode
FSUBP	Data.X86.Opcode
FSUBR	Data.X86.Opcode
FSUBRP	Data.X86.Opcode
FS_CMP	Data.SymbolicExpression
FTST	Data.X86.Opcode
FUCOM	Data.X86.Opcode
FUCOMI	Data.X86.Opcode
FUCOMIP	Data.X86.Opcode
FUCOMP	Data.X86.Opcode
FUCOMPI	Data.X86.Opcode
FUCOMPP	Data.X86.Opcode
FunctionPointers	Data.VerificationCondition
FunctionType	WithNoAbstraction.SymbolicExecution
function_name_of_entry	Binary.FunctionNames
function_name_of_instruction	Binary.FunctionNames
FXAM	Data.X86.Opcode
FXCH	Data.X86.Opcode
FXRSTOR	Data.X86.Opcode
FXSAVE	Data.X86.Opcode
FXTRACT	Data.X86.Opcode
f_inputs	WithNoAbstraction.SymbolicExecution
f_output	WithNoAbstraction.SymbolicExecution
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
HADDPD	Data.X86.Opcode
HADDPS	Data.X86.Opcode
HalfH	Data.X86.Register
HalfL	Data.X86.Register
halting_label	OutputGeneration.NASM.L0ToNASM
HasUnresolvedIndirections	Data.L0
hex_colors	Base
hex_color_of	WithAbstractPredicates.ControlFlow
hex_color_of_text	Base
hipart	Data.X86.Instruction
HLT	Data.X86.Opcode
HSUBPD	Data.X86.Opcode
HSUBPS	Data.X86.Opcode
IDIV	Data.X86.Opcode
IDIV_HI	Data.X86.Opcode
IDIV_LO	Data.X86.Opcode
Immediate
1 (Type/Class)	Data.X86.Instruction
2 (Data Constructor)	Data.X86.Instruction
ImmediateAddress	Data.JumpTarget
IMUL	Data.X86.Opcode
IMulHi	Data.SymbolicExpression
IMulLo	Data.SymbolicExpression
IMUL_HI	Data.X86.Opcode
IMUL_LO	Data.X86.Opcode
im_lookup	Base
IN	Data.X86.Opcode
inAddress	Data.X86.Instruction
INC	Data.X86.Opcode
inDest	Data.X86.Instruction
Indirection	Data.Indirection
Indirections	Data.Indirection
Indirection_JumpTable	Data.Indirection
Indirection_Resolved	Data.Indirection
Indirection_Unresolved	Data.Indirection
init_cfg	Data.CFG
init_scc_state	Algorithm.SCC
inOperands	Data.X86.Instruction
inOperation	Data.X86.Instruction
inPrefix	Data.X86.Instruction
Input	WithNoAbstraction.SymbolicExecution
INS	Data.X86.Opcode
INSD	Data.X86.Opcode
inSize	Data.X86.Instruction
Instruction
1 (Type/Class)	Data.X86.Instruction
2 (Data Constructor)	Data.X86.Instruction
instr_to_NASM	OutputGeneration.NASM.L0ToNASM
INT	Data.X86.Opcode
INT3	Data.X86.Opcode
intDiv	OutputGeneration.Metrics
internal_labels_outside_of_sections	OutputGeneration.NASM.L0ToNASM
IntGraph	Base
intgraph_post	Base
intgraph_V	Base
INTO	Data.X86.Opcode
InvalidOpcode	Data.X86.Opcode
Invariants	WithAbstractPredicates.ContextSensitiveAnalysis
INVD	Data.X86.Opcode
INVLPG	Data.X86.Opcode
INVPCID	Data.X86.Opcode
invs_to_PA	WithAbstractPredicates.GenerateInvariants
invs_to_post	WithAbstractPredicates.GenerateInvariants
IRET	Data.X86.Opcode
IRETD	Data.X86.Opcode
IRETQ	Data.X86.Opcode
isAllocated	Binary.Elf
isCall	Data.X86.Opcode
isCondJump	Data.X86.Opcode
isHalt	Data.X86.Opcode
iSize	Data.X86.Instruction
isJump	Data.X86.Opcode
isRelevantElfSection	Binary.Elf
isRet	Data.X86.Opcode
is_address_of_symbol	OutputGeneration.NASM.L0ToNASM
is_bss_data_section	OutputGeneration.NASM.L0ToNASM
is_consecutive	WithAbstractPredicates.GenerateCFG
is_data_section	OutputGeneration.NASM.L0ToNASM
is_edge	WithAbstractPredicates.GenerateCFG
is_end_node	Data.CFG
is_exiting_function_call	Conventions
is_function_pointer	WithNoAbstraction.SymbolicExecution
is_global_pointer_domain	WithNoAbstraction.Pointers
is_immediate	Data.SymbolicExpression
is_instruction_address	OutputGeneration.NASM.L0ToNASM
is_internal_symbol	OutputGeneration.NASM.L0ToNASM
is_local_pointer_domain	WithNoAbstraction.Pointers
is_mem_sp	Data.SymbolicExpression
is_reg_sp	Data.SymbolicExpression
is_roughly_an_address	Binary.Generic
is_ro_data_section	OutputGeneration.NASM.L0ToNASM
is_start_of_block_anywhere	OutputGeneration.NASM.L0ToNASM
is_terminal_call	OutputGeneration.NASM.L0ToNASM
is_top_stackframe	WithNoAbstraction.SymbolicExecution
is_weaker_than	WithAbstractPredicates.Class
iValue	Data.X86.Instruction
JA	Data.X86.Opcode
JAE	Data.X86.Opcode
JB	Data.X86.Opcode
JBE	Data.X86.Opcode
JC	Data.X86.Opcode
JCXZ	Data.X86.Opcode
JE	Data.X86.Opcode
JECXZ	Data.X86.Opcode
JG	Data.X86.Opcode
JGE	Data.X86.Opcode
JL	Data.X86.Opcode
JLE	Data.X86.Opcode
JMP	Data.X86.Opcode
JMPF	Data.X86.Opcode
JMPN	Data.X86.Opcode
JNA	Data.X86.Opcode
JNAE	Data.X86.Opcode
JNB	Data.X86.Opcode
JNBE	Data.X86.Opcode
JNC	Data.X86.Opcode
JNE	Data.X86.Opcode
JNG	Data.X86.Opcode
JNGE	Data.X86.Opcode
JNL	Data.X86.Opcode
JNLE	Data.X86.Opcode
JNO	Data.X86.Opcode
JNP	Data.X86.Opcode
JNS	Data.X86.Opcode
JNZ	Data.X86.Opcode
JO	Data.X86.Opcode
join_finit	WithAbstractSymbolicValues.FInit
join_finits	WithAbstractPredicates.Class
join_preds	WithAbstractPredicates.Class
JP	Data.X86.Opcode
JPE	Data.X86.Opcode
JPO	Data.X86.Opcode
JRCXZ	Data.X86.Opcode
JS	Data.X86.Opcode
JSON_NASM_Function
1 (Type/Class)	OutputGeneration.NASM.NASM
2 (Data Constructor)	OutputGeneration.NASM.NASM
jtbl_bound	Data.Indirection
jtbl_index	Data.Indirection
jtbl_table	Data.Indirection
jtbl_target	Data.Indirection
jump	WithNoAbstraction.SymbolicExecution
JumpTable
1 (Type/Class)	Data.Indirection
2 (Data Constructor)	Data.Indirection
jump_is_actually_a_call	WithAbstractPredicates.ControlFlow
jump_target_for_instruction	Binary.FunctionNames
JustRips	WithAbstractPredicates.ControlFlow
JZ	Data.X86.Opcode
L0
1 (Type/Class)	Data.L0
2 (Data Constructor)	Data.L0
l0_adjust_result	Data.L0
l0_functions	Data.L0
l0_get_cfgs	Data.L0
l0_get_function_entries	Data.L0
l0_get_pars	Data.L0
l0_indirections	Data.L0
l0_insert_indirection	Data.L0
l0_insert_new_entry	Data.L0
l0_lookup_entry	Data.L0
l0_lookup_indirection	Data.L0
l0_time	Data.L0
Label	OutputGeneration.NASM.NASM
label_jump_table_redirect_data	OutputGeneration.NASM.L0ToNASM
label_jump_table_temp_storage	OutputGeneration.NASM.L0ToNASM
label_to_eff_operand	OutputGeneration.NASM.NASM
label_to_mem_operand	OutputGeneration.NASM.NASM
label_to_operand	OutputGeneration.NASM.NASM
LAHF	Data.X86.Opcode
LAR	Data.X86.Opcode
LDDQU	Data.X86.Opcode
LDMXCSR	Data.X86.Opcode
LDS	Data.X86.Opcode
LEA	Data.X86.Opcode
LEAVE	Data.X86.Opcode
LES	Data.X86.Opcode
LFENCE	Data.X86.Opcode
LFS	Data.X86.Opcode
LGDT	Data.X86.Opcode
LGS	Data.X86.Opcode
LIDT	Data.X86.Opcode
LiftedC	OutputGeneration.NASM.L0ToNASM
Lifting	Data.L0
LiftingEntry	Data.L0
lift_L0_to_NASM	OutputGeneration.NASM.L0ToNASM
lift_to_L0	WithAbstractPredicates.ContextSensitiveAnalysis
LLDT	Data.X86.Opcode
LMSW	Data.X86.Opcode
LODS	Data.X86.Opcode
LODSB	Data.X86.Opcode
LODSD	Data.X86.Opcode
LODSW	Data.X86.Opcode
lookup_finit	WithNoAbstraction.SymbolicExecution
LOOP	Data.X86.Opcode
LOOPE	Data.X86.Opcode
LOOPNE	Data.X86.Opcode
lowpart	Data.X86.Instruction
LSL	Data.X86.Opcode
LSS	Data.X86.Opcode
LTR	Data.X86.Opcode
macho_read_file	Binary.Macho
Macro	OutputGeneration.NASM.NASM
macro_name	OutputGeneration.NASM.L0ToNASM
Malloc	Data.SymbolicExpression
mapMaybeNES	WithNoAbstraction.SymbolicExecution
mapMaybeS	WithNoAbstraction.SymbolicExecution
mark_mutual_recursive_calls	WithAbstractPredicates.ContextSensitiveAnalysis
mASize	Data.X86.Instruction
MASKMOVQ	Data.X86.Opcode
MAXPD	Data.X86.Opcode
MAXPS	Data.X86.Opcode
MAXSD	Data.X86.Opcode
MAXSS	Data.X86.Opcode
max_expr_size	Config
max_jump_table_size	Config
max_num_of_bases	Config
max_num_of_cases	Config
max_num_of_sources	Config
max_time	Config
maybe_operand_size	WithAbstractSymbolicValues.SymbolicExecution
mDisp	Data.X86.Instruction
MemRelation	WithAbstractSymbolicValues.Class
mem_operand_to_NASM	OutputGeneration.NASM.L0ToNASM
MFENCE	Data.X86.Opcode
mIdx	Data.X86.Instruction
MINPD	Data.X86.Opcode
MINPS	Data.X86.Opcode
MINSD	Data.X86.Opcode
MINSS	Data.X86.Opcode
Minus	Data.SymbolicExpression
mk_annots	OutputGeneration.NASM.L0ToNASM
mk_concrete	WithNoAbstraction.SymbolicExecution
mk_concreteS	WithNoAbstraction.SymbolicExecution
mk_expr	WithNoAbstraction.SymbolicExecution
mk_GOT_entry_instr	OutputGeneration.NASM.L0ToNASM
mk_graph	WithAbstractPredicates.GenerateCFG
mk_jmp_call_instr	OutputGeneration.NASM.L0ToNASM
mk_jump_table	OutputGeneration.NASM.L0ToNASM
mk_macros	OutputGeneration.NASM.L0ToNASM
mk_metrics	OutputGeneration.Metrics
mk_metric_pointerDesignations	OutputGeneration.Metrics
mk_nasm_instr	OutputGeneration.NASM.NASM
mk_NASM_prefix	OutputGeneration.NASM.L0ToNASM
mk_normal_instr	OutputGeneration.NASM.L0ToNASM
mk_RSP_mem_operand	Data.X86.Instruction
mk_saddends	WithNoAbstraction.SymbolicExecution
mk_safe_label	OutputGeneration.NASM.L0ToNASM
mk_static	WithAbstractPredicates.ContextSensitiveAnalysis
mk_top	WithNoAbstraction.SymbolicExecution
mnemonic_reads_from_all_but_first_operands	Data.X86.Instruction
mnemonic_reads_from_all_operands	Data.X86.Instruction
mnemonic_to_semantics	WithNoAbstraction.SymbolicExecution
MONITOR	Data.X86.Opcode
MOV	Data.X86.Opcode
MOVABS	Data.X86.Opcode
MOVAPD	Data.X86.Opcode
MOVAPS	Data.X86.Opcode
MOVD	Data.X86.Opcode
MOVDDUP	Data.X86.Opcode
MOVDQA	Data.X86.Opcode
MOVDQU	Data.X86.Opcode
MOVHLPS	Data.X86.Opcode
MOVHPD	Data.X86.Opcode
MOVHPS	Data.X86.Opcode
MOVLHPS	Data.X86.Opcode
MOVLPD	Data.X86.Opcode
MOVLPS	Data.X86.Opcode
MOVLSDUP	Data.X86.Opcode
MOVMSKPD	Data.X86.Opcode
MOVMSKPS	Data.X86.Opcode
MOVNTDQ	Data.X86.Opcode
MOVNTPD	Data.X86.Opcode
MOVNTPS	Data.X86.Opcode
MOVNTQ	Data.X86.Opcode
MOVQ	Data.X86.Opcode
MOVS	Data.X86.Opcode
MOVSB	Data.X86.Opcode
MOVSD	Data.X86.Opcode
MOVSLDUP	Data.X86.Opcode
MOVSQ	Data.X86.Opcode
MOVSS	Data.X86.Opcode
MOVSW	Data.X86.Opcode
MOVSX	Data.X86.Opcode
MOVSXB	Data.X86.Opcode
MOVSXD	Data.X86.Opcode
MOVSXW	Data.X86.Opcode
MOVUPD	Data.X86.Opcode
MOVUPS	Data.X86.Opcode
MOVZX	Data.X86.Opcode
MOVZXB	Data.X86.Opcode
MOVZXW	Data.X86.Opcode
mReg	Data.X86.Instruction
mScale	Data.X86.Instruction
mSeg	Data.X86.Instruction
mSize	Data.X86.Instruction
MUL	Data.X86.Opcode
MULPD	Data.X86.Opcode
MULPS	Data.X86.Opcode
MULSD	Data.X86.Opcode
MULSS	Data.X86.Opcode
MUL_HI	Data.X86.Opcode
MUL_LO	Data.X86.Opcode
MWAIT	Data.X86.Opcode
name	OutputGeneration.NASM.NASM
NamedElf
1 (Type/Class)	Binary.Elf
2 (Data Constructor)	Binary.Elf
NASM
1 (Type/Class)	OutputGeneration.NASM.NASM
2 (Data Constructor)	OutputGeneration.NASM.NASM
NASM_Address	OutputGeneration.NASM.NASM
NASM_Address_Computation
1 (Type/Class)	OutputGeneration.NASM.NASM
2 (Data Constructor)	OutputGeneration.NASM.NASM
NASM_Addr_Compute	OutputGeneration.NASM.NASM
NASM_Addr_Label	OutputGeneration.NASM.NASM
NASM_Addr_Symbol	OutputGeneration.NASM.NASM
nasm_annot	OutputGeneration.NASM.NASM
nasm_base	OutputGeneration.NASM.NASM
nasm_blocks	OutputGeneration.NASM.NASM
nasm_cfg	OutputGeneration.NASM.NASM
NASM_Comment	OutputGeneration.NASM.NASM
nasm_comment	OutputGeneration.NASM.NASM
NASM_DataEntry	OutputGeneration.NASM.NASM
NASM_DataSection
1 (Type/Class)	OutputGeneration.NASM.NASM
2 (Data Constructor)	OutputGeneration.NASM.NASM
nasm_data_section	OutputGeneration.NASM.NASM
nasm_data_section_align	OutputGeneration.NASM.NASM
nasm_data_section_data	OutputGeneration.NASM.NASM
nasm_data_section_labels	OutputGeneration.NASM.NASM
nasm_displace	OutputGeneration.NASM.NASM
nasm_externals	OutputGeneration.NASM.NASM
nasm_footer	OutputGeneration.NASM.NASM
nasm_function_name	OutputGeneration.NASM.NASM
nasm_globals	OutputGeneration.NASM.NASM
nasm_index	OutputGeneration.NASM.NASM
NASM_Instruction
1 (Type/Class)	OutputGeneration.NASM.NASM
2 (Data Constructor)	OutputGeneration.NASM.NASM
NASM_JumpTarget	OutputGeneration.NASM.NASM
NASM_Label
1 (Data Constructor)	OutputGeneration.NASM.NASM
2 (Type/Class)	OutputGeneration.NASM.NASM
NASM_Line
1 (Type/Class)	OutputGeneration.NASM.NASM
2 (Data Constructor)	OutputGeneration.NASM.NASM
nasm_mnemonic	OutputGeneration.NASM.NASM
NASM_Operand	OutputGeneration.NASM.NASM
nasm_operands	OutputGeneration.NASM.NASM
NASM_Operand_Address	OutputGeneration.NASM.NASM
NASM_Operand_EffectiveAddress	OutputGeneration.NASM.NASM
NASM_Operand_Immediate	OutputGeneration.NASM.NASM
NASM_Operand_Memory	OutputGeneration.NASM.NASM
NASM_Operand_Reg	OutputGeneration.NASM.NASM
nasm_prefix	OutputGeneration.NASM.NASM
nasm_scale	OutputGeneration.NASM.NASM
NASM_Section	OutputGeneration.NASM.NASM
nasm_sections	OutputGeneration.NASM.NASM
NASM_Section_Data	OutputGeneration.NASM.NASM
NASM_Section_Text	OutputGeneration.NASM.NASM
nasm_segment	OutputGeneration.NASM.NASM
NASM_SizeDir	OutputGeneration.NASM.NASM
NASM_TextSection
1 (Type/Class)	OutputGeneration.NASM.NASM
2 (Data Constructor)	OutputGeneration.NASM.NASM
nasm_with_safe_labels	Config
necessarily_enclosed	WithNoAbstraction.Pointers
necessarily_equal	WithNoAbstraction.Pointers
necessarily_separate	WithNoAbstraction.Pointers
necessarily_separate_expressions	WithNoAbstraction.Pointers
necessarily_separate_no_size	WithNoAbstraction.Pointers
neFromList	Base
NEG	Data.X86.Opcode
neSetToList	Base
new_finit	WithAbstractPredicates.Class
NextRips	WithAbstractPredicates.ControlFlow
next_rips	WithAbstractPredicates.ControlFlow
None	Data.SymbolicExpression
NOP	Data.X86.Opcode
NoSemantics	WithNoAbstraction.SymbolicExecution
NOT	Data.X86.Opcode
Not	Data.SymbolicExpression
no_finit	WithNoAbstraction.Pointers
num_of_instructions	Data.CFG
onlyWhen	Base
Opcode	Data.X86.Opcode
opcode_to_NASM	OutputGeneration.NASM.L0ToNASM
Operand	Data.X86.Instruction
operand_size	Data.X86.Instruction
operand_static_resolve	Binary.FunctionNames
operand_to_NASM	OutputGeneration.NASM.L0ToNASM
Operator	Data.SymbolicExpression
Op_Const	Data.X86.Instruction
Op_Far	Data.X86.Instruction
Op_Imm	Data.X86.Instruction
Op_Jmp	Data.X86.Instruction
Op_Mem	Data.X86.Instruction
Op_Near	Data.X86.Instruction
Op_Reg	Data.X86.Instruction
OR	Data.X86.Opcode
Or	Data.SymbolicExpression
orElse	Base
orElseM	Base
ORPD	Data.X86.Opcode
ORPS	Data.X86.Opcode
orTry	Base
orTryM	Base
OUT	Data.X86.Opcode
OUTS	Data.X86.Opcode
out_edges	WithAbstractPredicates.GenerateInvariants
PACKSSDW	Data.X86.Opcode
PACKSSWB	Data.X86.Opcode
PADDB	Data.X86.Opcode
PADDD	Data.X86.Opcode
PADDQ	Data.X86.Opcode
PADDSB	Data.X86.Opcode
PADDSW	Data.X86.Opcode
PADDUSB	Data.X86.Opcode
PADDUSW	Data.X86.Opcode
PADDW	Data.X86.Opcode
pair	Base
PALIGNR	Data.X86.Opcode
PAND	Data.X86.Opcode
PANDN	Data.X86.Opcode
param	WithNoAbstraction.SymbolicExecution
parameter_registers	Conventions
parse_config	Config
partitionWith	Base
PAUSE	Data.X86.Opcode
PAVGB	Data.X86.Opcode
PAVGW	Data.X86.Opcode
pa_mem_reads	Data.VerificationCondition
pa_mem_write	Data.VerificationCondition
PBLENDW	Data.X86.Opcode
PCLMULQDQ	Data.X86.Opcode
PCMPEQB	Data.X86.Opcode
PCMPEQD	Data.X86.Opcode
PCMPGTB	Data.X86.Opcode
PCMPGTD	Data.X86.Opcode
Pextr	Data.SymbolicExpression
PEXTRB	Data.X86.Opcode
PEXTRD	Data.X86.Opcode
PEXTRQ	Data.X86.Opcode
PHADDD	Data.X86.Opcode
PINSRB	Data.X86.Opcode
PINSRD	Data.X86.Opcode
PINSRQ	Data.X86.Opcode
Plus	Data.SymbolicExpression
PMADDWD	Data.X86.Opcode
PMAXSD	Data.X86.Opcode
PMAXSW	Data.X86.Opcode
PMAXUB	Data.X86.Opcode
PMAXUD	Data.X86.Opcode
PMAXUQ	Data.X86.Opcode
PMINSD	Data.X86.Opcode
PMINSW	Data.X86.Opcode
PMINUB	Data.X86.Opcode
PMINUD	Data.X86.Opcode
PMOVMSKB	Data.X86.Opcode
PMOVSXBD	Data.X86.Opcode
PMOVSXDQ	Data.X86.Opcode
PMOVZXBD	Data.X86.Opcode
PMOVZXDQ	Data.X86.Opcode
PMULHUW	Data.X86.Opcode
PMULHW	Data.X86.Opcode
PMULLD	Data.X86.Opcode
PMULLQ	Data.X86.Opcode
PMULLW	Data.X86.Opcode
PMULUDQ	Data.X86.Opcode
PointerAnalysis	Data.VerificationCondition
PointerAnalysisResult
1 (Type/Class)	Data.VerificationCondition
2 (Data Constructor)	Data.VerificationCondition
PointerBase	Data.SymbolicExpression
PointerDomain	WithNoAbstraction.Pointers
pointers_from_different_global_section	WithNoAbstraction.Pointers
PointerToLabel	Data.Symbol
PointerToObject	Data.Symbol
pointer_bases_separate	WithNoAbstraction.Pointers
pointer_bases_separate_necessarily	WithNoAbstraction.Pointers
pointer_bases_separate_possibly	WithNoAbstraction.Pointers
POP	Data.X86.Opcode
POPA	Data.X86.Opcode
POPAD	Data.X86.Opcode
POPF	Data.X86.Opcode
POPFD	Data.X86.Opcode
POPFQ	Data.X86.Opcode
pop_and_return	Algorithm.SCC
POR	Data.X86.Opcode
post	Data.CFG
Postcondition	Data.L0
pp_elf	Binary.Elf
pp_elf_section	Binary.Elf
pp_expr	Data.SymbolicExpression
pp_finit	WithAbstractPredicates.Class
pp_finitC	WithAbstractSymbolicValues.FInit
pred_to_finit	WithAbstractPredicates.Class
PREFETCHNTA	Data.X86.Opcode
PREFETCHT0	Data.X86.Opcode
PREFETCHT1	Data.X86.Opcode
PREFETCHT2	Data.X86.Opcode
Prefix	Data.X86.Instruction
PrefixA32	Data.X86.Instruction
PrefixLock	Data.X86.Instruction
PrefixO16	Data.X86.Instruction
PrefixRep	Data.X86.Instruction
PrefixRepNE	Data.X86.Instruction
PrefixRex	Data.X86.Instruction
PrefixSeg	Data.X86.Instruction
propagate	WithAbstractPredicates.GenerateInvariants
PSADBW	Data.X86.Opcode
PSHUFB	Data.X86.Opcode
PSHUFD	Data.X86.Opcode
PSHUFLW	Data.X86.Opcode
PSLLD	Data.X86.Opcode
PSLLDQ	Data.X86.Opcode
PSLLQ	Data.X86.Opcode
PSLLW	Data.X86.Opcode
PSRAD	Data.X86.Opcode
PSRAW	Data.X86.Opcode
PSRLD	Data.X86.Opcode
PSRLDQ	Data.X86.Opcode
PSRLQ	Data.X86.Opcode
PSRLW	Data.X86.Opcode
PSUBB	Data.X86.Opcode
PSUBD	Data.X86.Opcode
PSUBQ	Data.X86.Opcode
PSUBSB	Data.X86.Opcode
PSUBSQ	Data.X86.Opcode
PSUBUSB	Data.X86.Opcode
PSUBUSW	Data.X86.Opcode
PSUBW	Data.X86.Opcode
PTEST	Data.X86.Opcode
Ptr_Base	Data.SPointer
Ptr_Concrete	Data.SPointer
Ptr_Top	Data.SPointer
PUNPCKLBW	Data.X86.Opcode
PUNPCKLDQ	Data.X86.Opcode
PUNPCKLQDQ	Data.X86.Opcode
PUNPCKLWD	Data.X86.Opcode
pure_and_fresh	WithNoAbstraction.SymbolicExecution
pure_and_unknown	WithNoAbstraction.SymbolicExecution
PUSH	Data.X86.Opcode
push	Algorithm.SCC
PUSHA	Data.X86.Opcode
PUSHAD	Data.X86.Opcode
PUSHF	Data.X86.Opcode
PUSHFD	Data.X86.Opcode
PUSHFQ	Data.X86.Opcode
putNESetOf	Base
PXOR	Data.X86.Opcode
quotientBy	Base
quotientByL	Base
R10	Data.X86.Register
R11	Data.X86.Register
R12	Data.X86.Register
R13	Data.X86.Register
R14	Data.X86.Register
R15	Data.X86.Register
R8	Data.X86.Register
R9	Data.X86.Register
RAX	Data.X86.Register
RBP	Data.X86.Register
RBX	Data.X86.Register
RCL	Data.X86.Opcode
RCPPS	Data.X86.Opcode
RCPSS	Data.X86.Opcode
RCR	Data.X86.Opcode
RCX	Data.X86.Register
RDI	Data.X86.Register
RDMSR	Data.X86.Opcode
RDPMC	Data.X86.Opcode
RDTSC	Data.X86.Opcode
RDX	Data.X86.Register
readHex'	Base
read_binary	Binary.Read
read_bytes_section	Binary.Elf
read_from_ro_datasection	Binary.Generic
read_opcode	Data.X86.Opcode
read_sp	WithAbstractSymbolicValues.Sstate
real_reg	Data.X86.Register
reconsider_mutual_recursive_call	WithAbstractPredicates.ContextSensitiveAnalysis
reconstruct	OutputGeneration.Reconstruction
Recursions	WithAbstractPredicates.ContextSensitiveAnalysis
Reg128	Data.X86.Register
Reg16	Data.X86.Register
Reg32	Data.X86.Register
Reg64	Data.X86.Register
Reg8	Data.X86.Register
RegFPU	Data.X86.Register
RegHalf	Data.X86.Register
Register	Data.X86.Register
register_set	OutputGeneration.NASM.L0ToNASM
RegNone	Data.X86.Register
RegSeg	Data.X86.Register
regSize	Data.X86.Register
regs_of_op	OutputGeneration.NASM.L0ToNASM
regs_of_ops	OutputGeneration.NASM.L0ToNASM
RegTemp	Data.X86.Register
reg_of_size	OutputGeneration.NASM.L0ToNASM
relocatable_symbol	OutputGeneration.NASM.L0ToNASM
Relocated_ResolvedObject	Data.Symbol
Relocation
1 (Type/Class)	Binary.Generic
2 (Data Constructor)	Binary.Generic
reloc_for	OutputGeneration.NASM.L0ToNASM
remove_destination	Data.X86.Instruction
render_annot	OutputGeneration.NASM.NASM
render_NASM
1 (Function)	OutputGeneration.NASM.NASMToC
2 (Function)	OutputGeneration.NASM.L0ToNASM
render_NASM_to_JSON	OutputGeneration.NASM.NASM
replace_rip_in_operand	WithNoAbstraction.SymbolicExecution
ResolvedJumpTarget	Data.JumpTarget
resolved_relocs_section	OutputGeneration.NASM.L0ToNASM
resolve_call	WithAbstractPredicates.ControlFlow
resolve_indirection	WithAbstractPredicates.Class
result_calls	Data.L0
result_cfg	Data.L0
result_pa	Data.L0
result_post	Data.L0
result_vcs	Data.L0
RET	Data.X86.Opcode
RETF	Data.X86.Opcode
RETN	Data.X86.Opcode
Returns	Data.JumpTarget
ReturnsWith	Data.L0
return_registers	Conventions
RIP	Data.X86.Register
rip_relative_to_immediate	OutputGeneration.NASM.L0ToNASM
RockBottom	Data.SymbolicExpression
ROL	Data.X86.Opcode
Rol	Data.SymbolicExpression
ROR	Data.X86.Opcode
Ror	Data.SymbolicExpression
round2dp	Base
ROUNDSD	Data.X86.Opcode
ROUNDSS	Data.X86.Opcode
ro_data_section	OutputGeneration.NASM.L0ToNASM
RSI	Data.X86.Register
RSM	Data.X86.Opcode
RSP	Data.X86.Register
RSQRTPS	Data.X86.Opcode
RSQRTSS	Data.X86.Opcode
SAddends	Data.SValue
saddress_has_instruction	WithAbstractSymbolicValues.Class
SAHF	Data.X86.Opcode
SAL	Data.X86.Opcode
salias	WithAbstractSymbolicValues.Class
SAR	Data.X86.Opcode
Sar	Data.SymbolicExpression
SBB	Data.X86.Opcode
Sbb	Data.SymbolicExpression
scall	WithAbstractSymbolicValues.Class
SCAS	Data.X86.Opcode
SCASB	Data.X86.Opcode
SCASD	Data.X86.Opcode
scc_index	Algorithm.SCC
scc_indices	Algorithm.SCC
scc_lowlinks	Algorithm.SCC
scc_of	Algorithm.SCC
scc_return	Algorithm.SCC
scc_stack	Algorithm.SCC
SCC_State	Algorithm.SCC
SCC_state	Algorithm.SCC
scheck_regs_in_postcondition	WithAbstractSymbolicValues.Class
SConcrete	Data.SValue
Sdiv	Data.SymbolicExpression
SdivHi	Data.SymbolicExpression
SdivLo	Data.SymbolicExpression
SectionsInfo
1 (Type/Class)	Binary.Generic
2 (Data Constructor)	Binary.Generic
sections_bss	Binary.Elf
sections_data	Binary.Elf
sections_ro_data	Binary.Elf
sections_text	Binary.Elf
sections_with_instructions	Conventions
section_is_unwritable	Conventions
section_label	OutputGeneration.NASM.L0ToNASM
section_name	OutputGeneration.NASM.NASM
senclosed	WithAbstractSymbolicValues.Class
Separate	WithAbstractSymbolicValues.Class
separate_pointer_domains	WithNoAbstraction.Pointers
SETA	Data.X86.Opcode
SETAE	Data.X86.Opcode
SETB	Data.X86.Opcode
SETBE	Data.X86.Opcode
SETC	Data.X86.Opcode
SETE	Data.X86.Opcode
SETG	Data.X86.Opcode
SETGE	Data.X86.Opcode
SETL	Data.X86.Opcode
SETLE	Data.X86.Opcode
SETNA	Data.X86.Opcode
SETNAE	Data.X86.Opcode
SETNB	Data.X86.Opcode
SETNBE	Data.X86.Opcode
SETNC	Data.X86.Opcode
SETNE	Data.X86.Opcode
SETNG	Data.X86.Opcode
SETNGE	Data.X86.Opcode
SETNL	Data.X86.Opcode
SETNLE	Data.X86.Opcode
SETNO	Data.X86.Opcode
SETNP	Data.X86.Opcode
SETNS	Data.X86.Opcode
SETNZ	Data.X86.Opcode
SETO	Data.X86.Opcode
SETP	Data.X86.Opcode
SETPE	Data.X86.Opcode
SETPO	Data.X86.Opcode
SETS	Data.X86.Opcode
SetXX	WithNoAbstraction.SymbolicExecution
SETZ	Data.X86.Opcode
set_index	Algorithm.SCC
set_index_of	Algorithm.SCC
set_lowlink_of	Algorithm.SCC
sexec_block	WithAbstractSymbolicValues.SymbolicExecution
sexec_cinstr	WithAbstractSymbolicValues.SymbolicExecution
sexec_instr	WithAbstractSymbolicValues.SymbolicExecution
sextend_16_32	Base
sextend_16_64	Base, Data.SymbolicExpression
sextend_32_64	Base, Data.SymbolicExpression
sextend_8_16	Base
sextend_8_32	Base
sextend_8_64	Base, Data.SymbolicExpression
SExtension_HI	WithNoAbstraction.SymbolicExecution
SExtHi	Data.SymbolicExpression
SE_Bit	Data.SymbolicExpression
SE_Immediate	Data.SymbolicExpression
SE_Malloc	Data.SymbolicExpression
SE_Op	Data.SymbolicExpression
SE_Overwrite	Data.SymbolicExpression
SE_SExtend	Data.SymbolicExpression
SE_StatePart	Data.SymbolicExpression
SE_Var	Data.SymbolicExpression
SFENCE	Data.X86.Opcode
sflags	WithAbstractSymbolicValues.Class
sflg_semantics	WithAbstractSymbolicValues.Class
SGDT	Data.X86.Opcode
sgeneric_cinstr	WithAbstractSymbolicValues.SymbolicExecution
SHL	Data.X86.Opcode
Shl	Data.SymbolicExpression
SHLD	Data.X86.Opcode
showHex	Base
showHex_list	Base
showHex_option	Base
showHex_set	Base
show_annots	OutputGeneration.NASM.L0ToNASM
show_block	WithAbstractPredicates.ControlFlow
show_displacement	OutputGeneration.NASM.NASM
show_ex	Data.Symbol
show_indirections	Data.L0
show_macro_name	OutputGeneration.NASM.NASM
show_nasm_sizedir	OutputGeneration.NASM.NASM
show_pars	Data.VerificationCondition
show_set	Base
show_symbol	OutputGeneration.NASM.NASM
SHR	Data.X86.Opcode
Shr	Data.SymbolicExpression
SHRD	Data.X86.Opcode
SHUFPS	Data.X86.Opcode
SIDT	Data.X86.Opcode
simmediate	WithAbstractSymbolicValues.Class
simp	Data.SymbolicExpression
SimpleExpr	Data.SymbolicExpression
simplies	WithAbstractSymbolicValues.SymbolicExecution
sis_deterministic	WithAbstractSymbolicValues.Class
size_directive_to_NASM	OutputGeneration.NASM.L0ToNASM
si_max_address	Binary.Generic
si_min_address	Binary.Generic
si_sections	Binary.Generic
sjoin_mem	WithAbstractSymbolicValues.SymbolicExecution
sjoin_pointers	WithAbstractSymbolicValues.Class
sjoin_regs	WithAbstractSymbolicValues.SymbolicExecution
sjoin_states	WithAbstractSymbolicValues.SymbolicExecution
sjoin_values	WithAbstractSymbolicValues.Class
sjump	WithAbstractSymbolicValues.Class
skeep_for_finit	WithAbstractSymbolicValues.Class
SLDT	Data.X86.Opcode
slea	WithAbstractSymbolicValues.SymbolicExecution
smem	WithAbstractSymbolicValues.Class
smk_init_mem_value	WithAbstractSymbolicValues.Class
smk_init_reg_value	WithAbstractSymbolicValues.Class
smk_mem_addresses	WithAbstractSymbolicValues.Class
smov	WithAbstractSymbolicValues.SymbolicExecution
SMSW	Data.X86.Opcode
some_operand_reads_GOT_entry	OutputGeneration.NASM.L0ToNASM
sources_separate	WithNoAbstraction.Pointers
sources_separate_necessarily	WithNoAbstraction.Pointers
sources_separate_possibly	WithNoAbstraction.Pointers
source_sets_separate	WithNoAbstraction.Pointers
soverwrite_reg	WithAbstractSymbolicValues.Sstate
SO_Bit	WithAbstractSymbolicValues.Class
SO_Minus	WithAbstractSymbolicValues.Class
SO_Op	WithAbstractSymbolicValues.Class
SO_Overwrite	WithAbstractSymbolicValues.Class
SO_Plus	WithAbstractSymbolicValues.Class
SO_SExtend	WithAbstractSymbolicValues.Class
SO_Times	WithAbstractSymbolicValues.Class
split_graph	WithAbstractPredicates.GenerateCFG
split_graph'	WithAbstractPredicates.GenerateCFG
SPointer	Data.SPointer
SP_Mem	Data.SymbolicExpression
SP_Reg	Data.SymbolicExpression
SQRTPD	Data.X86.Opcode
SQRTPS	Data.X86.Opcode
SQRTSD	Data.X86.Opcode
SQRTSS	Data.X86.Opcode
SR6	Data.X86.Register
SR7	Data.X86.Register
srcs	Data.X86.Instruction
srcs_of_base	WithNoAbstraction.Pointers
srcs_of_bottyp	WithNoAbstraction.Pointers
srcs_of_expr	WithNoAbstraction.Pointers
Src_Function	Data.SymbolicExpression
Src_ImmediateAddress	Data.SymbolicExpression
Src_ImmediateConstants	Data.SymbolicExpression
Src_Malloc	Data.SymbolicExpression
Src_Mem	Data.SymbolicExpression
Src_StackPointer	Data.SymbolicExpression
Src_Var	Data.SymbolicExpression
sread_from_ro_data	WithAbstractSymbolicValues.Class
sread_mem	WithAbstractSymbolicValues.Sstate
sread_mem_from_ptr	WithAbstractSymbolicValues.Sstate
sread_operand	WithAbstractSymbolicValues.SymbolicExecution
sread_reg	WithAbstractSymbolicValues.Sstate
sread_rreg	WithAbstractSymbolicValues.Sstate
SReg	Data.X86.Register
sregs	WithAbstractSymbolicValues.Class
sresolve_address	WithAbstractSymbolicValues.SymbolicExecution
sreturn	WithAbstractSymbolicValues.SymbolicExecution
SS	Data.X86.Register
ssemantics	WithAbstractSymbolicValues.Class
ssensitive	WithAbstractSymbolicValues.Class
sseparate	WithAbstractSymbolicValues.Class
SSEReg	Data.X86.Register
sset_rip	WithAbstractSymbolicValues.SymbolicExecution
SSP_Mem	WithAbstractSymbolicValues.Class
SSP_Reg	WithAbstractSymbolicValues.Class
Sstate
1 (Type/Class)	WithAbstractSymbolicValues.Class
2 (Data Constructor)	WithAbstractSymbolicValues.Class
SStatePart	WithAbstractSymbolicValues.Class
sstate_to_finit	WithAbstractSymbolicValues.FInit
ST0	Data.X86.Register
ST1	Data.X86.Register
ST2	Data.X86.Register
ST3	Data.X86.Register
ST4	Data.X86.Register
ST5	Data.X86.Register
ST6	Data.X86.Register
ST7	Data.X86.Register
StackPointer	Data.SymbolicExpression
start_address_of_block	OutputGeneration.NASM.L0ToNASM
StatePart	Data.SymbolicExpression
Static	WithNoAbstraction.SymbolicExecution
STC	Data.X86.Opcode
STD	Data.X86.Opcode
STI	Data.X86.Opcode
STMXCSR	Data.X86.Opcode
store_assertions_in_L0	Config
store_preconditions_in_L0	Config
STOS	Data.X86.Opcode
STOSB	Data.X86.Opcode
STOSD	Data.X86.Opcode
STOSQ	Data.X86.Opcode
STOSW	Data.X86.Opcode
STR	Data.X86.Opcode
strip_GLIBC	Conventions
strip_parentheses	Base
strongconnect	Algorithm.SCC
stry_immediate	WithAbstractSymbolicValues.Class
stry_jump_targets	WithAbstractSymbolicValues.Class
stry_resolve_error_call	WithAbstractSymbolicValues.Class
stry_resolve_indirection	WithAbstractSymbolicValues.ResolveIndirections
SUB	Data.X86.Opcode
SUBPD	Data.X86.Opcode
SUBPS	Data.X86.Opcode
SUBSD	Data.X86.Opcode
SUBSS	Data.X86.Opcode
supremum	WithAbstractSymbolicValues.SymbolicExecution
SValue	Data.SValue
svalue_and	WithNoAbstraction.SymbolicExecution
svalue_apply	WithNoAbstraction.SymbolicExecution
svalue_minus	WithNoAbstraction.SymbolicExecution
svalue_plus	WithNoAbstraction.SymbolicExecution
svalue_sextend	WithNoAbstraction.SymbolicExecution
svalue_takebits	WithNoAbstraction.SymbolicExecution
svalue_unop	WithNoAbstraction.SymbolicExecution
sverify_postcondition	WithAbstractSymbolicValues.SymbolicExecution
SWAPGS	Data.X86.Opcode
swiden_values	WithAbstractSymbolicValues.Class
swrite_flags	WithAbstractSymbolicValues.Sstate
swrite_mem	WithAbstractSymbolicValues.Sstate
swrite_mem_to_ptr	WithAbstractSymbolicValues.Sstate
swrite_operand	WithAbstractSymbolicValues.SymbolicExecution
swrite_reg	WithAbstractSymbolicValues.Sstate
swrite_rreg	WithAbstractSymbolicValues.Sstate
Symbol	Data.Symbol
symbolically_execute	WithAbstractPredicates.Class
SymbolicOperation	WithAbstractSymbolicValues.Class
symbolize_address	OutputGeneration.NASM.L0ToNASM
symbolize_immediate	OutputGeneration.NASM.L0ToNASM
SymbolTable
1 (Type/Class)	Binary.Generic
2 (Data Constructor)	Binary.Generic
symboltable_exterbals	Binary.Generic
symboltable_symbols	Binary.Generic
symbol_to_name	Binary.Generic
SYSCALL	Data.X86.Opcode
SYSENTER	Data.X86.Opcode
SYSEXIT	Data.X86.Opcode
SYSRET	Data.X86.Opcode
takeUntilString	Base
Terminal	WithAbstractPredicates.ControlFlow
Terminates	Data.L0
terminating_label	OutputGeneration.NASM.L0ToNASM
TEST	Data.X86.Opcode
ThreadLocalStorage	Data.SymbolicExpression
TimeOut	Data.L0
Times	Data.SymbolicExpression
toJSON_line	OutputGeneration.NASM.NASM
toJSON_section	OutputGeneration.NASM.NASM
toJSON_text_section	OutputGeneration.NASM.NASM
Top	Data.SValue
top	WithAbstractSymbolicValues.Class
traceTop	WithNoAbstraction.SymbolicExecution
transpose_bw_addends	WithNoAbstraction.SymbolicExecution
transpose_bw_e	WithNoAbstraction.SymbolicExecution
transpose_bw_mem	WithNoAbstraction.SymbolicExecution
transpose_bw_reg	WithNoAbstraction.SymbolicExecution
transpose_bw_sp	WithNoAbstraction.SymbolicExecution
transpose_bw_spointer	WithNoAbstraction.SymbolicExecution
transpose_bw_svalue	WithNoAbstraction.SymbolicExecution
try_find_end_node_from_node	Base
try_get_base	WithNoAbstraction.SymbolicExecution
try_operand_reads_GOT_entry	OutputGeneration.NASM.L0ToNASM
try_plt_target_for_entry	Binary.FunctionNames
try_read_function_pointer	Binary.FunctionNames
try_symbolize_base	OutputGeneration.NASM.L0ToNASM
try_symbolize_imm	OutputGeneration.NASM.L0ToNASM
UCOMISD	Data.X86.Opcode
UCOMISS	Data.X86.Opcode
UD2	Data.X86.Opcode
Udiv	Data.SymbolicExpression
UdivHi	Data.SymbolicExpression
UdivLo	Data.SymbolicExpression
Unknown	WithAbstractSymbolicValues.Class
UnknownReturnValue	WithNoAbstraction.SymbolicExecution
unknownSize	WithAbstractSymbolicValues.Class
UNPCKHPD	Data.X86.Opcode
UNPCKHPS	Data.X86.Opcode
UNPCKLPD	Data.X86.Opcode
UNPCKLPS	Data.X86.Opcode
Unresolved	Data.JumpTarget
UnresolvedTarget	WithAbstractPredicates.ControlFlow
UnvisitedFunctionCall	WithAbstractPredicates.ControlFlow
VADDPD	Data.X86.Opcode
VADDPS	Data.X86.Opcode
VANDPD	Data.X86.Opcode
VANDPS	Data.X86.Opcode
VBLENDPS	Data.X86.Opcode
VCS	Data.VerificationCondition
verbose_logs	Config
VerificationCondition	Data.VerificationCondition
VerificationError	Data.L0
verify_postcondition	WithAbstractPredicates.Class
VERR	Data.X86.Opcode
VERW	Data.X86.Opcode
VEXTRACTF128	Data.X86.Opcode
VEXTRACTI128	Data.X86.Opcode
VINSERTF128	Data.X86.Opcode
VMCALL	Data.X86.Opcode
VMCLEAR	Data.X86.Opcode
VMLAUNCH	Data.X86.Opcode
VMOVAPD	Data.X86.Opcode
VMOVAPS	Data.X86.Opcode
VMOVD	Data.X86.Opcode
VMOVDQA	Data.X86.Opcode
VMOVDQU	Data.X86.Opcode
VMOVHPS	Data.X86.Opcode
VMOVLHPS	Data.X86.Opcode
VMPTRLD	Data.X86.Opcode
VMPTRST	Data.X86.Opcode
VMREAD	Data.X86.Opcode
VMRESUME	Data.X86.Opcode
VMULPD	Data.X86.Opcode
VMULPS	Data.X86.Opcode
VMWRITE	Data.X86.Opcode
VMXOFF	Data.X86.Opcode
VMXON	Data.X86.Opcode
VPALIGNR	Data.X86.Opcode
VPAND	Data.X86.Opcode
VPANDN	Data.X86.Opcode
VPCMPEQB	Data.X86.Opcode
VPCMPEQW	Data.X86.Opcode
VPERM2F128	Data.X86.Opcode
VPERM2I128	Data.X86.Opcode
VPERMILPS	Data.X86.Opcode
VPOR	Data.X86.Opcode
VPSHUFB	Data.X86.Opcode
VPSHUFD	Data.X86.Opcode
VPSLLW	Data.X86.Opcode
VPUNPCKHWD	Data.X86.Opcode
VPUNPCKLWD	Data.X86.Opcode
VPXOR	Data.X86.Opcode
VSHUFPD	Data.X86.Opcode
VSHUFPS	Data.X86.Opcode
VSUBPD	Data.X86.Opcode
VSUBPS	Data.X86.Opcode
VUNPCKHPS	Data.X86.Opcode
VUNPCKLPS	Data.X86.Opcode
VXORPD	Data.X86.Opcode
VXORPS	Data.X86.Opcode
VZEROUPPER	Data.X86.Opcode
WAIT	Data.X86.Opcode
WBINVD	Data.X86.Opcode
WithAbstractPredicates	WithAbstractPredicates.Class
WithAbstractSymbolicValues	WithAbstractSymbolicValues.Class
withAnnot	OutputGeneration.NASM.NASM
withComment	OutputGeneration.NASM.NASM
withEntry	WithAbstractPredicates.GenerateInvariants
WithLifting	WithAbstractPredicates.ContextSensitiveAnalysis
withoutEntry	WithAbstractPredicates.GenerateInvariants
with_start_global	OutputGeneration.NASM.L0ToNASM
word8s_to_string	OutputGeneration.NASM.NASM
word_to_sint	Base
WRFSBASE	Data.X86.Opcode
WRGSBASE	Data.X86.Opcode
write_sp	WithAbstractSymbolicValues.Sstate
WRMSR	Data.X86.Opcode
XADD	Data.X86.Opcode
XCHG	Data.X86.Opcode
XGETBV	Data.X86.Opcode
XLAT	Data.X86.Opcode
XLATB	Data.X86.Opcode
XMM0	Data.X86.Register
XMM1	Data.X86.Register
XMM10	Data.X86.Register
XMM11	Data.X86.Register
XMM12	Data.X86.Register
XMM13	Data.X86.Register
XMM14	Data.X86.Register
XMM15	Data.X86.Register
XMM2	Data.X86.Register
XMM3	Data.X86.Register
XMM4	Data.X86.Register
XMM5	Data.X86.Register
XMM6	Data.X86.Register
XMM7	Data.X86.Register
XMM8	Data.X86.Register
XMM9	Data.X86.Register
XOR	Data.X86.Opcode
Xor	Data.SymbolicExpression
XORPD	Data.X86.Opcode
XORPS	Data.X86.Opcode
XRSTOR	Data.X86.Opcode
XSAVEOPT	Data.X86.Opcode
XSETBV	Data.X86.Opcode
ZeroOne	Data.SymbolicExpression
__gmon_start_implementation	OutputGeneration.NASM.L0ToNASM
\|\|\|	OutputGeneration.NASM.L0ToNASM