angr
load_shellcode()
Project
Project.arch
Project.analyses
Project.hook()
Project.is_hooked()
Project.hooked_by()
Project.unhook()
Project.hook_symbol()
Project.is_symbol_hooked()
Project.unhook_symbol()
Project.rehook_symbol()
Project.execute()
Project.terminate_execution()
AngrObjectFactory
AngrObjectFactory.snippet()
AngrObjectFactory.successors()
AngrObjectFactory.blank_state()
AngrObjectFactory.entry_state()
AngrObjectFactory.full_init_state()
AngrObjectFactory.call_state()
AngrObjectFactory.simulation_manager()
AngrObjectFactory.simgr()
AngrObjectFactory.callable()
AngrObjectFactory.cc()
AngrObjectFactory.block()
AngrObjectFactory.fresh_block()
DisassemblerBlock
DisassemblerBlock.addr
DisassemblerBlock.insns
DisassemblerBlock.thumb
DisassemblerBlock.arch
DisassemblerBlock.pp()
DisassemblerInsn
DisassemblerInsn.size
DisassemblerInsn.address
DisassemblerInsn.mnemonic
DisassemblerInsn.op_str
CapstoneBlock
CapstoneInsn
CapstoneInsn.insn
CapstoneInsn.size
CapstoneInsn.address
CapstoneInsn.mnemonic
CapstoneInsn.op_str
Block
Block.BLOCK_MAX_SIZE
Block.arch
Block.thumb
Block.addr
Block.size
Block.pp()
Block.set_initial_regs()
Block.reset_initial_regs()
Block.vex
Block.vex_nostmt
Block.disassembly
Block.capstone
Block.codenode
Block.bytes
Block.instructions
Block.instruction_addrs
Block.serialize_to_cmessage()
Block.parse_from_cmessage()
SootBlock
SootBlock.soot
SootBlock.size
SootBlock.codenode
PluginHub
PluginHub.register_default()
PluginHub.register_preset()
PluginHub.plugin_preset
PluginHub.has_plugin_preset
PluginHub.use_plugin_preset()
PluginHub.discard_plugin_preset()
PluginHub.get_plugin()
PluginHub.has_plugin()
PluginHub.register_plugin()
PluginHub.release_plugin()
PluginPreset
PluginPreset.activate()
PluginPreset.deactivate()
PluginPreset.add_default_plugin()
PluginPreset.list_default_plugins()
PluginPreset.request_plugin()
PluginPreset.copy()
PluginVendor
PluginVendor.release_plugin()
PluginVendor.register_plugin()
VendorPreset
arch_overrideable()
SimState
SimState.solver
SimState.posix
SimState.registers
SimState.regs
SimState.memory
SimState.callstack
SimState.mem
SimState.history
SimState.inspect
SimState.jni_references
SimState.scratch
SimState.plugins
SimState.se
SimState.ip
SimState.addr
SimState.arch
SimState.T
SimState.get_plugin()
SimState.has_plugin()
SimState.register_plugin()
SimState.javavm_memory
SimState.javavm_registers
SimState.simplify()
SimState.add_constraints()
SimState.satisfiable()
SimState.downsize()
SimState.step()
SimState.block()
SimState.copy()
SimState.merge()
SimState.widen()
SimState.reg_concrete()
SimState.mem_concrete()
SimState.stack_push()
SimState.stack_pop()
SimState.stack_read()
SimState.make_concrete_int()
SimState.prepare_callsite()
SimState.dbg_print_stack()
SimState.set_mode()
SimState.thumb
SimState.with_condition
StateOption
StateOption.name
StateOption.types
StateOption.default
StateOption.description
StateOption.has_default_value
StateOption.one_type()
SimStateOptions
SimStateOptions.OPTIONS
SimStateOptions.add()
SimStateOptions.update()
SimStateOptions.remove()
SimStateOptions.discard()
SimStateOptions.difference()
SimStateOptions.copy()
SimStateOptions.tally()
SimStateOptions.register_option()
SimStateOptions.register_bool_option()
SimStatePlugin
SimStatePlugin.STRONGREF_STATE
SimStatePlugin.set_state()
SimStatePlugin.set_strongref_state()
SimStatePlugin.copy()
SimStatePlugin.memo()
SimStatePlugin.merge()
SimStatePlugin.widen()
SimStatePlugin.register_default()
SimStatePlugin.init_state()
BP
BP.check()
BP.fire()
SimInspector
SimInspector.BP_AFTER
SimInspector.BP_BEFORE
SimInspector.BP_BOTH
SimInspector.action()
SimInspector.make_breakpoint()
SimInspector.b()
SimInspector.add_breakpoint()
SimInspector.remove_breakpoint()
SimInspector.copy()
SimInspector.downsize()
SimInspector.merge()
SimInspector.widen()
SimInspector.set_state()
SimInspector.state
SimStateLibc
SimStateLibc.LOCALE_ARRAY
SimStateLibc.TOLOWER_LOC_ARRAY
SimStateLibc.TOUPPER_LOC_ARRAY
SimStateLibc.copy()
SimStateLibc.merge()
SimStateLibc.widen()
SimStateLibc.errno
SimStateLibc.ret_errno()
SimStateLibc.state
PosixDevFS
PosixDevFS.get()
PosixDevFS.insert()
PosixDevFS.delete()
PosixDevFS.lookup()
PosixDevFS.merge()
PosixDevFS.widen()
PosixDevFS.copy()
PosixDevFS.state
PosixProcFS
PosixProcFS.get()
PosixProcFS.insert()
PosixProcFS.delete()
PosixProcFS.lookup()
PosixProcFS.merge()
PosixProcFS.widen()
PosixProcFS.copy()
PosixProcFS.state
SimSystemPosix
SimSystemPosix.SIG_BLOCK
SimSystemPosix.SIG_UNBLOCK
SimSystemPosix.SIG_SETMASK
SimSystemPosix.EPERM
SimSystemPosix.ENOENT
SimSystemPosix.ESRCH
SimSystemPosix.EINTR
SimSystemPosix.EIO
SimSystemPosix.ENXIO
SimSystemPosix.E2BIG
SimSystemPosix.ENOEXEC
SimSystemPosix.EBADF
SimSystemPosix.ECHILD
SimSystemPosix.EAGAIN
SimSystemPosix.ENOMEM
SimSystemPosix.EACCES
SimSystemPosix.EFAULT
SimSystemPosix.ENOTBLK
SimSystemPosix.EBUSY
SimSystemPosix.EEXIST
SimSystemPosix.EXDEV
SimSystemPosix.ENODEV
SimSystemPosix.ENOTDIR
SimSystemPosix.EISDIR
SimSystemPosix.EINVAL
SimSystemPosix.ENFILE
SimSystemPosix.EMFILE
SimSystemPosix.ENOTTY
SimSystemPosix.ETXTBSY
SimSystemPosix.EFBIG
SimSystemPosix.ENOSPC
SimSystemPosix.ESPIPE
SimSystemPosix.EROFS
SimSystemPosix.EMLINK
SimSystemPosix.EPIPE
SimSystemPosix.EDOM
SimSystemPosix.ERANGE
SimSystemPosix.copy()
SimSystemPosix.closed_fds
SimSystemPosix.init_state()
SimSystemPosix.set_brk()
SimSystemPosix.set_state()
SimSystemPosix.open()
SimSystemPosix.open_socket()
SimSystemPosix.get_fd()
SimSystemPosix.close()
SimSystemPosix.fstat()
SimSystemPosix.sigmask()
SimSystemPosix.sigprocmask()
SimSystemPosix.merge()
SimSystemPosix.widen()
SimSystemPosix.dump_file_by_path()
SimSystemPosix.dumps()
SimSystemPosix.state
Stat
Stat.st_atime
Stat.st_atimensec
Stat.st_blksize
Stat.st_blocks
Stat.st_ctime
Stat.st_ctimensec
Stat.st_dev
Stat.st_gid
Stat.st_ino
Stat.st_mode
Stat.st_mtime
Stat.st_mtimensec
Stat.st_nlink
Stat.st_rdev
Stat.st_size
Stat.st_uid
SimFilesystem
SimFilesystem.copy()
SimFilesystem.unlinks
SimFilesystem.set_state()
SimFilesystem.merge()
SimFilesystem.widen()
SimFilesystem.chdir()
SimFilesystem.get()
SimFilesystem.insert()
SimFilesystem.delete()
SimFilesystem.mount()
SimFilesystem.unmount()
SimFilesystem.get_mountpoint()
SimFilesystem.state
SimMount
SimMount.get()
SimMount.insert()
SimMount.delete()
SimMount.lookup()
SimMount.state
SimConcreteFilesystem
SimConcreteFilesystem.get()
SimConcreteFilesystem.insert()
SimConcreteFilesystem.delete()
SimConcreteFilesystem.lookup()
SimConcreteFilesystem.copy()
SimConcreteFilesystem.set_state()
SimConcreteFilesystem.merge()
SimConcreteFilesystem.widen()
SimConcreteFilesystem.state
SimHostFilesystem
SimHostFilesystem.copy()
SimHostFilesystem.state
timed_function()
enable_timing()
disable_timing()
error_converter()
concrete_path_bool()
concrete_path_not_bool()
concrete_path_scalar()
concrete_path_tuple()
concrete_path_list()
SimSolver
SimSolver.reload_solver()
SimSolver.get_variables()
SimSolver.register_variable()
SimSolver.describe_variables()
SimSolver.Unconstrained()
SimSolver.BVS()
SimSolver.copy()
SimSolver.merge()
SimSolver.widen()
SimSolver.downsize()
SimSolver.constraints
SimSolver.eval_to_ast()
SimSolver.max()
SimSolver.min()
SimSolver.solution()
SimSolver.is_true()
SimSolver.is_false()
SimSolver.unsat_core()
SimSolver.satisfiable()
SimSolver.add()
SimSolver.T
SimSolver.CastTarget
SimSolver.eval_upto()
SimSolver.eval()
SimSolver.eval_one()
SimSolver.eval_atmost()
SimSolver.eval_atleast()
SimSolver.eval_exact()
SimSolver.min_int()
SimSolver.max_int()
SimSolver.unique()
SimSolver.symbolic()
SimSolver.single_valued()
SimSolver.simplify()
SimSolver.variables()
SimSolver.state
SimStateLog
SimStateLog.actions
SimStateLog.add_event()
SimStateLog.add_action()
SimStateLog.extend_actions()
SimStateLog.events_of_type()
SimStateLog.actions_of_type()
SimStateLog.fresh_constraints
SimStateLog.copy()
SimStateLog.merge()
SimStateLog.widen()
SimStateLog.clear()
SimStateLog.state
CallStack
CallStack.state
CallStack.copy()
CallStack.set_state()
CallStack.merge()
CallStack.widen()
CallStack.current_function_address
CallStack.current_stack_pointer
CallStack.current_return_target
CallStack.stack_suffix_to_string()
CallStack.top
CallStack.push()
CallStack.pop()
CallStack.call()
CallStack.ret()
CallStack.dbg_repr()
CallStack.stack_suffix()
CallStackAction
SimLightRegisters
SimLightRegisters.copy()
SimLightRegisters.set_state()
SimLightRegisters.resolve_register()
SimLightRegisters.load()
SimLightRegisters.store()
SimLightRegisters.state
SimStateHistory
SimStateHistory.STRONGREF_STATE
SimStateHistory.init_state()
SimStateHistory.set_strongref_state()
SimStateHistory.addr
SimStateHistory.merge()
SimStateHistory.widen()
SimStateHistory.copy()
SimStateHistory.trim()
SimStateHistory.filter_actions()
SimStateHistory.demote()
SimStateHistory.reachable()
SimStateHistory.add_event()
SimStateHistory.add_action()
SimStateHistory.extend_actions()
SimStateHistory.subscribe_actions()
SimStateHistory.recent_constraints
SimStateHistory.recent_actions
SimStateHistory.block_count
SimStateHistory.lineage
SimStateHistory.parents
SimStateHistory.events
SimStateHistory.actions
SimStateHistory.jumpkinds
SimStateHistory.jump_guards
SimStateHistory.jump_targets
SimStateHistory.jump_sources
SimStateHistory.descriptions
SimStateHistory.bbl_addrs
SimStateHistory.ins_addrs
SimStateHistory.stack_actions
SimStateHistory.closest_common_ancestor()
SimStateHistory.constraints_since()
SimStateHistory.make_child()
SimStateHistory.state
TreeIter
TreeIter.hardcopy
TreeIter.count()
HistoryIter
LambdaAttrIter
LambdaIterIter
GDB
GDB.set_stack()
GDB.set_heap()
GDB.set_data()
GDB.set_regs()
GDB.copy()
GDB.state
SimStateCGC
SimStateCGC.EBADF
SimStateCGC.EFAULT
SimStateCGC.EINVAL
SimStateCGC.ENOMEM
SimStateCGC.ENOSYS
SimStateCGC.EPIPE
SimStateCGC.FD_SETSIZE
SimStateCGC.max_allocation
SimStateCGC.copy()
SimStateCGC.peek_input()
SimStateCGC.discard_input()
SimStateCGC.peek_output()
SimStateCGC.discard_output()
SimStateCGC.addr_invalid()
SimStateCGC.merge()
SimStateCGC.widen()
SimStateCGC.get_max_sinkhole()
SimStateCGC.add_sinkhole()
SimStateCGC.state
FormatInfo
FormatInfo.copy()
FormatInfo.compute()
FormatInfo.get_type()
FormatInfoStrToInt
FormatInfoStrToInt.copy()
FormatInfoStrToInt.compute()
FormatInfoStrToInt.get_type()
FormatInfoIntToStr
FormatInfoIntToStr.copy()
FormatInfoIntToStr.compute()
FormatInfoIntToStr.get_type()
FormatInfoDontConstrain
FormatInfoDontConstrain.copy()
FormatInfoDontConstrain.compute()
FormatInfoDontConstrain.get_type()
int2base()
generic_info_hook()
end_info_hook()
exit_hook()
syscall_hook()
constraint_hook()
ChallRespInfo
ChallRespInfo.copy()
ChallRespInfo.merge()
ChallRespInfo.widen()
ChallRespInfo.get_byte()
ChallRespInfo.lookup_original()
ChallRespInfo.pop_from_backup()
ChallRespInfo.get_stdin_indices()
ChallRespInfo.get_stdout_indices()
ChallRespInfo.get_real_len()
ChallRespInfo.get_possible_len()
ChallRespInfo.get_same_length_constraints()
ChallRespInfo.atoi_dumps()
ChallRespInfo.prep_tracer()
ChallRespInfo.state
zen_hook()
zen_memory_write()
zen_register_write()
ZenPlugin
ZenPlugin.get_flag_rand_args()
ZenPlugin.get_expr_depth()
ZenPlugin.copy()
ZenPlugin.merge()
ZenPlugin.widen()
ZenPlugin.get_flag_bytes()
ZenPlugin.filter_constraints()
ZenPlugin.analyze_transmit()
ZenPlugin.prep_tracer()
ZenPlugin.state
SimStateGlobals
SimStateGlobals.set_state()
SimStateGlobals.merge()
SimStateGlobals.widen()
SimStateGlobals.keys()
SimStateGlobals.values()
SimStateGlobals.items()
SimStateGlobals.get()
SimStateGlobals.pop()
SimStateGlobals.copy()
SimStateGlobals.state
SimUCManager
SimUCManager.assign()
SimUCManager.copy()
SimUCManager.get_alloc_depth()
SimUCManager.is_bounded()
SimUCManager.state
SimUCManager.set_state()
SimStateScratch
SimStateScratch.state
SimStateScratch.priv
SimStateScratch.push_priv()
SimStateScratch.pop_priv()
SimStateScratch.set_tyenv()
SimStateScratch.tmp_expr()
SimStateScratch.store_tmp()
SimStateScratch.copy()
SimStateScratch.merge()
SimStateScratch.widen()
SimStateScratch.clear()
SimStatePreconstrainer
SimStatePreconstrainer.merge()
SimStatePreconstrainer.widen()
SimStatePreconstrainer.copy()
SimStatePreconstrainer.preconstrain()
SimStatePreconstrainer.preconstrain_file()
SimStatePreconstrainer.preconstrain_flag_page()
SimStatePreconstrainer.remove_preconstraints()
SimStatePreconstrainer.reconstrain()
SimStatePreconstrainer.state
MEM_PATCH
MEM_PATCH.address
MEM_PATCH.length
MEM_PATCH.next
TRANSMIT_RECORD
TRANSMIT_RECORD.count
TRANSMIT_RECORD.data
TRANSMIT_RECORD.fd
TaintEntityEnum
TaintEntityEnum.TAINT_ENTITY_REG
TaintEntityEnum.TAINT_ENTITY_TMP
TaintEntityEnum.TAINT_ENTITY_MEM
TaintEntityEnum.TAINT_ENTITY_NONE
MemoryValue
MemoryValue.address
MemoryValue.is_value_set
MemoryValue.is_value_symbolic
MemoryValue.value
RegisterValue
RegisterValue.offset
RegisterValue.size
RegisterValue.value
VEXStmtDetails
VEXStmtDetails.has_memory_dep
VEXStmtDetails.memory_values
VEXStmtDetails.memory_values_count
VEXStmtDetails.stmt_idx
BlockDetails
BlockDetails.block_addr
BlockDetails.block_size
BlockDetails.block_trace_ind
BlockDetails.has_symbolic_exit
BlockDetails.register_values
BlockDetails.register_values_count
BlockDetails.symbolic_vex_stmts
BlockDetails.symbolic_vex_stmts_count
STOP
STOP.STOP_NORMAL
STOP.STOP_STOPPOINT
STOP.STOP_ERROR
STOP.STOP_SYSCALL
STOP.STOP_EXECNONE
STOP.STOP_ZEROPAGE
STOP.STOP_NOSTART
STOP.STOP_SEGFAULT
STOP.STOP_ZERO_DIV
STOP.STOP_NODECODE
STOP.STOP_HLT
STOP.STOP_VEX_LIFT_FAILED
STOP.STOP_SYMBOLIC_PC
STOP.STOP_SYMBOLIC_READ_ADDR
STOP.STOP_SYMBOLIC_READ_SYMBOLIC_TRACKING_DISABLED
STOP.STOP_SYMBOLIC_WRITE_ADDR
STOP.STOP_SYMBOLIC_BLOCK_EXIT_CONDITION
STOP.STOP_SYMBOLIC_BLOCK_EXIT_TARGET
STOP.STOP_UNSUPPORTED_STMT_PUTI
STOP.STOP_UNSUPPORTED_STMT_STOREG
STOP.STOP_UNSUPPORTED_STMT_LOADG
STOP.STOP_UNSUPPORTED_STMT_CAS
STOP.STOP_UNSUPPORTED_STMT_LLSC
STOP.STOP_UNSUPPORTED_STMT_DIRTY
STOP.STOP_UNSUPPORTED_EXPR_GETI
STOP.STOP_UNSUPPORTED_STMT_UNKNOWN
STOP.STOP_UNSUPPORTED_EXPR_UNKNOWN
STOP.STOP_UNKNOWN_MEMORY_WRITE_SIZE
STOP.STOP_SYSCALL_ARM
STOP.STOP_X86_CPUID
STOP.stop_message
STOP.symbolic_stop_reasons
STOP.unsupported_reasons
STOP.name_stop()
STOP.get_stop_msg()
StopDetails
StopDetails.block_addr
StopDetails.block_size
StopDetails.stop_reason
SimOSEnum
SimOSEnum.SIMOS_CGC
SimOSEnum.SIMOS_LINUX
SimOSEnum.SIMOS_OTHER
MemoryMappingError
AccessingZeroPageError
FetchingZeroPageError
SegfaultError
MixedPermissonsError
AggressiveConcretizationAnnotation
Uniwrapper
Uniwrapper.hook_add()
Uniwrapper.hook_del()
Uniwrapper.mem_map()
Uniwrapper.mem_map_ptr()
Uniwrapper.mem_unmap()
Uniwrapper.mem_reset()
Uniwrapper.hook_reset()
Uniwrapper.reset()
Unicorn
Unicorn.UC_CONFIG
Unicorn.copy()
Unicorn.merge()
Unicorn.widen()
Unicorn.set_state()
Unicorn.uc
Unicorn.delete_uc()
Unicorn.set_last_block_details()
Unicorn.set_stops()
Unicorn.set_tracking()
Unicorn.hook()
Unicorn.uncache_region()
Unicorn.clear_page_cache()
Unicorn.setup()
Unicorn.start()
Unicorn.get_recent_bbl_addrs()
Unicorn.get_stop_details()
Unicorn.finish()
Unicorn.destroy()
Unicorn.set_regs()
Unicorn.setup_flags()
Unicorn.setup_gdt()
Unicorn.read_msr()
Unicorn.write_msr()
Unicorn.get_regs()
Unicorn.state
SimStateLoopData
SimStateLoopData.merge()
SimStateLoopData.widen()
SimStateLoopData.copy()
SimStateLoopData.state
Concrete
Concrete.copy()
Concrete.merge()
Concrete.widen()
Concrete.set_state()
Concrete.sync()
Concrete.state
SimJavaVmClassloader
SimJavaVmClassloader.get_class()
SimJavaVmClassloader.get_superclass()
SimJavaVmClassloader.get_class_hierarchy()
SimJavaVmClassloader.is_class_initialized()
SimJavaVmClassloader.init_class()
SimJavaVmClassloader.initialized_classes
SimJavaVmClassloader.copy()
SimJavaVmClassloader.merge()
SimJavaVmClassloader.widen()
SimJavaVmClassloader.state
SimStateJNIReferences
SimStateJNIReferences.lookup()
SimStateJNIReferences.create_new_reference()
SimStateJNIReferences.clear_local_references()
SimStateJNIReferences.delete_reference()
SimStateJNIReferences.copy()
SimStateJNIReferences.merge()
SimStateJNIReferences.widen()
SimStateJNIReferences.state
SimHeapBase
SimHeapBase.copy()
SimHeapBase.init_state()
SimHeapBase.state
SimHeapBrk
SimHeapBrk.copy()
SimHeapBrk.allocate()
SimHeapBrk.release()
SimHeapBrk.merge()
SimHeapBrk.widen()
SimHeapBrk.state
Chunk
Chunk.get_size()
Chunk.get_data_size()
Chunk.set_size()
Chunk.data_ptr()
Chunk.is_free()
Chunk.next_chunk()
Chunk.prev_chunk()
Chunk.fwd_chunk()
Chunk.set_fwd_chunk()
Chunk.bck_chunk()
Chunk.set_bck_chunk()
SimHeapFreelist
SimHeapFreelist.chunks()
SimHeapFreelist.allocated_chunks()
SimHeapFreelist.free_chunks()
SimHeapFreelist.chunk_from_mem()
SimHeapFreelist.print_heap_state()
SimHeapFreelist.print_all_chunks()
SimHeapFreelist.state
SimHeapLibc
SimHeapLibc.malloc()
SimHeapLibc.free()
SimHeapLibc.calloc()
SimHeapLibc.realloc()
SimHeapLibc.state
silence_logger()
unsilence_logger()
PTChunk
PTChunk.get_size()
PTChunk.get_data_size()
PTChunk.set_size()
PTChunk.set_prev_freeness()
PTChunk.is_prev_free()
PTChunk.prev_size()
PTChunk.is_free()
PTChunk.data_ptr()
PTChunk.next_chunk()
PTChunk.prev_chunk()
PTChunk.fwd_chunk()
PTChunk.set_fwd_chunk()
PTChunk.bck_chunk()
PTChunk.set_bck_chunk()
PTChunkIterator
SimHeapPTMalloc
SimHeapPTMalloc.copy()
SimHeapPTMalloc.chunks()
SimHeapPTMalloc.allocated_chunks()
SimHeapPTMalloc.free_chunks()
SimHeapPTMalloc.chunk_from_mem()
SimHeapPTMalloc.malloc()
SimHeapPTMalloc.free()
SimHeapPTMalloc.calloc()
SimHeapPTMalloc.realloc()
SimHeapPTMalloc.merge()
SimHeapPTMalloc.widen()
SimHeapPTMalloc.init_state()
SimHeapPTMalloc.state
concretize()
SimSymbolizer
SimSymbolizer.init_state()
SimSymbolizer.set_symbolization_for_all_pages()
SimSymbolizer.set_symbolized_target_range()
SimSymbolizer.resymbolize()
SimSymbolizer.copy()
SimSymbolizer.state
SimDebugVariable
SimDebugVariable.from_cle_variable()
SimDebugVariable.mem_untyped
SimDebugVariable.mem
SimDebugVariable.string
SimDebugVariable.with_type()
SimDebugVariable.resolvable
SimDebugVariable.resolved
SimDebugVariable.concrete
SimDebugVariable.store()
SimDebugVariable.deref
SimDebugVariable.array()
SimDebugVariable.member()
SimDebugVariablePlugin
SimDebugVariablePlugin.get_variable()
SimDebugVariablePlugin.dwarf_cfa
SimDebugVariablePlugin.dwarf_cfa_approx
SimDebugVariablePlugin.state
SimRegNameView
SimRegNameView.copy()
SimRegNameView.merge()
SimRegNameView.widen()
SimRegNameView.get()
SimRegNameView.state
SimMemView
SimMemView.set_state()
SimMemView.types
SimMemView.state
SimMemView.struct
SimMemView.with_type()
SimMemView.copy()
SimMemView.merge()
SimMemView.widen()
SimMemView.resolvable
SimMemView.resolved
SimMemView.concrete
SimMemView.deref
SimMemView.array()
SimMemView.member()
SimMemView.store()
StructMode
Flags
Flags.O_RDONLY
Flags.O_WRONLY
Flags.O_RDWR
Flags.O_ACCMODE
Flags.O_APPEND
Flags.O_ASYNC
Flags.O_CLOEXEC
Flags.O_CREAT
Flags.O_DIRECT
Flags.O_DIRECTORY
Flags.O_DSYNC
Flags.O_EXCL
Flags.O_LARGEFILE
Flags.O_NOATIME
Flags.O_NOCTTY
Flags.O_NOFOLLOW
Flags.O_NONBLOCK
Flags.O_NDELAY
Flags.O_PATH
Flags.O_SYNC
Flags.O_TMPFILE
Flags.O_TRUNC
SimFileBase
SimFileBase.seekable
SimFileBase.pos
SimFileBase.make_ident()
SimFileBase.concretize()
SimFileBase.read()
SimFileBase.write()
SimFileBase.size
SimFileBase.copy()
SimFileBase.state
SimFile
SimFile.category
SimFile.set_state()
SimFile.size
SimFile.concretize()
SimFile.read()
SimFile.write()
SimFile.copy()
SimFile.merge()
SimFile.widen()
SimFile.state
SimFileStream
SimFileStream.set_state()
SimFileStream.read()
SimFileStream.write()
SimFileStream.copy()
SimFileStream.merge()
SimFileStream.state
SimPackets
SimPackets.set_state()
SimPackets.size
SimPackets.concretize()
SimPackets.read()
SimPackets.write()
SimPackets.copy()
SimPackets.merge()
SimPackets.widen()
SimPackets.state
SimPacketsStream
SimPacketsStream.read()
SimPacketsStream.write()
SimPacketsStream.copy()
SimPacketsStream.merge()
SimPacketsStream.state
SimFileDescriptorBase
SimFileDescriptorBase.read()
SimFileDescriptorBase.write()
SimFileDescriptorBase.read_data()
SimFileDescriptorBase.write_data()
SimFileDescriptorBase.seek()
SimFileDescriptorBase.tell()
SimFileDescriptorBase.eof()
SimFileDescriptorBase.size()
SimFileDescriptorBase.read_storage
SimFileDescriptorBase.write_storage
SimFileDescriptorBase.read_pos
SimFileDescriptorBase.write_pos
SimFileDescriptorBase.concretize()
SimFileDescriptorBase.state
SimFileDescriptor
SimFileDescriptor.read_data()
SimFileDescriptor.write_data()
SimFileDescriptor.seek()
SimFileDescriptor.eof()
SimFileDescriptor.tell()
SimFileDescriptor.size()
SimFileDescriptor.concretize()
SimFileDescriptor.read_storage
SimFileDescriptor.write_storage
SimFileDescriptor.read_pos
SimFileDescriptor.write_pos
SimFileDescriptor.set_state()
SimFileDescriptor.copy()
SimFileDescriptor.merge()
SimFileDescriptor.widen()
SimFileDescriptor.state
SimFileDescriptorDuplex
SimFileDescriptorDuplex.read_data()
SimFileDescriptorDuplex.write_data()
SimFileDescriptorDuplex.set_state()
SimFileDescriptorDuplex.eof()
SimFileDescriptorDuplex.tell()
SimFileDescriptorDuplex.seek()
SimFileDescriptorDuplex.size()
SimFileDescriptorDuplex.concretize()
SimFileDescriptorDuplex.read_storage
SimFileDescriptorDuplex.write_storage
SimFileDescriptorDuplex.read_pos
SimFileDescriptorDuplex.write_pos
SimFileDescriptorDuplex.copy()
SimFileDescriptorDuplex.merge()
SimFileDescriptorDuplex.widen()
SimFileDescriptorDuplex.state
SimPacketsSlots
SimPacketsSlots.seekable
SimPacketsSlots.concretize()
SimPacketsSlots.read()
SimPacketsSlots.write()
SimPacketsSlots.size
SimPacketsSlots.copy()
SimPacketsSlots.state
SimPacketsSlots.merge()
SimPacketsSlots.widen()
obj_bit_size()
SimMemoryObject
SimMemoryObject.is_bytes
SimMemoryObject.base
SimMemoryObject.object
SimMemoryObject.length
SimMemoryObject.endness
SimMemoryObject.size()
SimMemoryObject.variables
SimMemoryObject.cache_key
SimMemoryObject.symbolic
SimMemoryObject.last_addr
SimMemoryObject.includes()
SimMemoryObject.bytes_at()
SimLabeledMemoryObject
SimLabeledMemoryObject.label
bv_slice()
PCAP
PCAP.initialize()
PCAP.recv()
PCAP.copy()
SimConcretizationStrategy
SimConcretizationStrategy.concretize()
SimConcretizationStrategy.copy()
SimConcretizationStrategy.merge()
MemoryMixin
MemoryMixin.SUPPORTS_CONCRETE_LOAD
MemoryMixin.copy()
MemoryMixin.category
MemoryMixin.variable_key_prefix
MemoryMixin.find()
MemoryMixin.load()
MemoryMixin.store()
MemoryMixin.merge()
MemoryMixin.widen()
MemoryMixin.permissions()
MemoryMixin.map_region()
MemoryMixin.unmap_region()
MemoryMixin.concrete_load()
MemoryMixin.erase()
MemoryMixin.replace_all()
MemoryMixin.copy_contents()
MemoryMixin.state
DefaultMemory
DefaultListPagesMemory
FastMemory
FastMemory.state
AbstractMemory
AbstractMemory.state
RegionedMemory
LabeledMemory
MultiValuedMemory
KeyValueMemory
KeyValueMemory.state
JavaVmMemory
JavaVmMemory.state
NameResolutionMixin
NameResolutionMixin.store()
NameResolutionMixin.load()
NameResolutionMixin.state
SmartFindMixin
SmartFindMixin.find()
SmartFindMixin.state
DefaultFillerMixin
DefaultFillerMixin.state
SpecialFillerMixin
SpecialFillerMixin.copy()
SpecialFillerMixin.state
ExplicitFillerMixin
ExplicitFillerMixin.copy()
ExplicitFillerMixin.state
DataNormalizationMixin
DataNormalizationMixin.store()
DataNormalizationMixin.load()
DataNormalizationMixin.state
HexDumperMixin
HexDumperMixin.hex_dump()
HexDumperMixin.state
UnderconstrainedMixin
UnderconstrainedMixin.copy()
UnderconstrainedMixin.load()
UnderconstrainedMixin.store()
UnderconstrainedMixin.state
SimpleInterfaceMixin
SimpleInterfaceMixin.load()
SimpleInterfaceMixin.store()
SimpleInterfaceMixin.state
ActionsMixinHigh
ActionsMixinHigh.load()
ActionsMixinHigh.store()
ActionsMixinHigh.state
ActionsMixinLow
ActionsMixinLow.load()
ActionsMixinLow.store()
ActionsMixinLow.state
SymbolicMergerMixin
SymbolicMergerMixin.state
SizeNormalizationMixin
SizeNormalizationMixin.load()
SizeNormalizationMixin.store()
SizeNormalizationMixin.state
SizeConcretizationMixin
SizeConcretizationMixin.copy()
SizeConcretizationMixin.load()
SizeConcretizationMixin.store()
SizeConcretizationMixin.state
DirtyAddrsMixin
DirtyAddrsMixin.store()
DirtyAddrsMixin.state
MultiwriteAnnotation
MultiwriteAnnotation.eliminatable
MultiwriteAnnotation.relocateable
AddressConcretizationMixin
AddressConcretizationMixin.set_state()
AddressConcretizationMixin.copy()
AddressConcretizationMixin.merge()
AddressConcretizationMixin.concretize_write_addr()
AddressConcretizationMixin.concretize_read_addr()
AddressConcretizationMixin.load()
AddressConcretizationMixin.store()
AddressConcretizationMixin.permissions()
AddressConcretizationMixin.map_region()
AddressConcretizationMixin.unmap_region()
AddressConcretizationMixin.concrete_load()
AddressConcretizationMixin.state
InspectMixinHigh
InspectMixinHigh.store()
InspectMixinHigh.load()
InspectMixinHigh.state
ConditionalMixin
ConditionalMixin.load()
ConditionalMixin.store()
ConditionalMixin.state
LabelMergerMixin
LabelMergerMixin.copy()
LabelMergerMixin.state
SimplificationMixin
SimplificationMixin.store()
SimplificationMixin.state
UnwrapperMixin
UnwrapperMixin.store()
UnwrapperMixin.load()
UnwrapperMixin.find()
UnwrapperMixin.copy_contents()
UnwrapperMixin.state
ConvenientMappingsMixin
ConvenientMappingsMixin.copy()
ConvenientMappingsMixin.store()
ConvenientMappingsMixin.get_symbolic_addrs()
ConvenientMappingsMixin.addrs_for_name()
ConvenientMappingsMixin.addrs_for_hash()
ConvenientMappingsMixin.replace_all()
ConvenientMappingsMixin.state
MVListPage
MVListPage.copy()
MVListPage.load()
MVListPage.store()
MVListPage.erase()
MVListPage.merge()
MVListPage.changed_bytes()
MVListPage.content_gen()
MVListPage.state
MultiValues
MultiValues.add_value()
MultiValues.one_value()
MultiValues.merge()
MultiValues.keys()
MultiValues.values()
MultiValues.items()
MultiValues.count()
TopMergerMixin
TopMergerMixin.copy()
TopMergerMixin.state
MultiValueMergerMixin
MultiValueMergerMixin.copy()
MultiValueMergerMixin.state
PagedMemoryMixin
PagedMemoryMixin.SUPPORTS_CONCRETE_LOAD
PagedMemoryMixin.PAGE_TYPE
PagedMemoryMixin.copy()
PagedMemoryMixin.load()
PagedMemoryMixin.store()
PagedMemoryMixin.erase()
PagedMemoryMixin.merge()
PagedMemoryMixin.permissions()
PagedMemoryMixin.map_region()
PagedMemoryMixin.unmap_region()
PagedMemoryMixin.concrete_load()
PagedMemoryMixin.changed_bytes()
PagedMemoryMixin.changed_pages()
PagedMemoryMixin.copy_contents()
PagedMemoryMixin.flush_pages()
LabeledPagesMixin
LabeledPagesMixin.load_with_labels()
LabeledPagesMixin.state
ListPagesMixin
ListPagesMixin.PAGE_TYPE
ListPagesMixin.state
MVListPagesMixin
MVListPagesMixin.PAGE_TYPE
MVListPagesMixin.copy()
MVListPagesMixin.state
ListPagesWithLabelsMixin
ListPagesWithLabelsMixin.state
MVListPagesWithLabelsMixin
MVListPagesWithLabelsMixin.state
UltraPagesMixin
UltraPagesMixin.PAGE_TYPE
UltraPagesMixin.state
NotMemoryview
ClemoryBackerMixin
ClemoryBackerMixin.copy()
ClemoryBackerMixin.state
ConcreteBackerMixin
ConcreteBackerMixin.state
DictBackerMixin
DictBackerMixin.state
DictBackerMixin.copy()
StackAllocationMixin
StackAllocationMixin.copy()
StackAllocationMixin.allocate_stack_pages()
StackAllocationMixin.state
PrivilegedPagingMixin
PrivilegedPagingMixin.state
PageBase
PageBase.state
RefcountMixin
RefcountMixin.copy()
RefcountMixin.acquire_unique()
RefcountMixin.acquire_shared()
RefcountMixin.release_shared()
RefcountMixin.state
PermissionsMixin
PermissionsMixin.copy()
PermissionsMixin.perm_read
PermissionsMixin.perm_write
PermissionsMixin.perm_exec
PermissionsMixin.state
HistoryTrackingMixin
HistoryTrackingMixin.store()
HistoryTrackingMixin.copy()
HistoryTrackingMixin.acquire_unique()
HistoryTrackingMixin.parents()
HistoryTrackingMixin.changed_bytes()
HistoryTrackingMixin.all_bytes_changed_in_history()
HistoryTrackingMixin.state
ISPOMixin
ISPOMixin.set_state()
ISPOMixin.state
CooperationBase
MemoryObjectMixin
MemoryObjectSetMixin
BasicClaripyCooperation
ListPage
ListPage.copy()
ListPage.load()
ListPage.store()
ListPage.erase()
ListPage.merge()
ListPage.changed_bytes()
ListPage.state
UltraPage
UltraPage.SUPPORTS_CONCRETE_LOAD
UltraPage.new_from_shared()
UltraPage.copy()
UltraPage.load()
UltraPage.store()
UltraPage.merge()
UltraPage.concrete_load()
UltraPage.changed_bytes()
UltraPage.state
UltraPage.replace_all_with_offsets()
RegionedMemoryMixin
RegionedMemoryMixin.copy()
RegionedMemoryMixin.load()
RegionedMemoryMixin.store()
RegionedMemoryMixin.merge()
RegionedMemoryMixin.find()
RegionedMemoryMixin.set_state()
RegionedMemoryMixin.replace_all()
RegionedMemoryMixin.set_stack_address_mapping()
RegionedMemoryMixin.unset_stack_address_mapping()
RegionedMemoryMixin.stack_id()
RegionedMemoryMixin.set_stack_size()
RegionedMemoryMixin.state
AddressWrapper
AddressWrapper.region
AddressWrapper.region_base_addr
AddressWrapper.address
AddressWrapper.is_on_stack
AddressWrapper.function_address
AddressWrapper.to_valueset()
RegionDescriptor
RegionDescriptor.region_id
RegionDescriptor.base_address
RegionDescriptor.related_function_address
RegionMap
RegionMap.is_empty
RegionMap.stack_base
RegionMap.region_ids
RegionMap.copy()
RegionMap.map()
RegionMap.unmap_by_address()
RegionMap.absolutize()
RegionMap.relativize()
RegionCategoryMixin
RegionCategoryMixin.category
RegionCategoryMixin.state
StaticFindMixin
StaticFindMixin.find()
StaticFindMixin.state
AbstractAddressDescriptor
AbstractAddressDescriptor.cardinality
AbstractAddressDescriptor.add_regioned_address()
AbstractAddressDescriptor.clear()
MemoryRegionMetaMixin
MemoryRegionMetaMixin.copy()
MemoryRegionMetaMixin.is_stack
MemoryRegionMetaMixin.related_function_addr
MemoryRegionMetaMixin.get_abstract_locations()
MemoryRegionMetaMixin.store()
MemoryRegionMetaMixin.load()
MemoryRegionMetaMixin.merge()
MemoryRegionMetaMixin.widen()
MemoryRegionMetaMixin.dbg_print()
MemoryRegionMetaMixin.state
AbstractMergerMixin
AbstractMergerMixin.state
RegionedAddressConcretizationMixin
RegionedAddressConcretizationMixin.set_state()
RegionedAddressConcretizationMixin.copy()
RegionedAddressConcretizationMixin.merge()
RegionedAddressConcretizationMixin.state
SlottedMemoryMixin
SlottedMemoryMixin.set_state()
SlottedMemoryMixin.copy()
SlottedMemoryMixin.merge()
SlottedMemoryMixin.load()
SlottedMemoryMixin.store()
SlottedMemoryMixin.changed_bytes()
SlottedMemoryMixin.state
TypedVariable
TypedVariable.type
TypedVariable.value
KeyValueMemoryMixin
KeyValueMemoryMixin.load()
KeyValueMemoryMixin.store()
KeyValueMemoryMixin.copy()
KeyValueMemoryMixin.state
JavaVmMemoryMixin
JavaVmMemoryMixin.get_new_uuid()
JavaVmMemoryMixin.store()
JavaVmMemoryMixin.load()
JavaVmMemoryMixin.push_stack_frame()
JavaVmMemoryMixin.pop_stack_frame()
JavaVmMemoryMixin.stack
JavaVmMemoryMixin.store_array_element()
JavaVmMemoryMixin.store_array_elements()
JavaVmMemoryMixin.load_array_element()
JavaVmMemoryMixin.load_array_elements()
JavaVmMemoryMixin.concretize_store_idx()
JavaVmMemoryMixin.concretize_load_idx()
JavaVmMemoryMixin.set_state()
JavaVmMemoryMixin.copy()
JavaVmMemoryMixin.merge()
JavaVmMemoryMixin.widen()
JavaVmMemoryMixin.state
SimConcretizationStrategySingle
SimConcretizationStrategyEval
SimConcretizationStrategyNorepeats
SimConcretizationStrategyNorepeats.copy()
SimConcretizationStrategyNorepeats.merge()
SimConcretizationStrategySolutions
SimConcretizationStrategyNonzeroRange
SimConcretizationStrategyRange
SimConcretizationStrategyMax
SimConcretizationStrategyNorepeatsRange
SimConcretizationStrategyNorepeatsRange.copy()
SimConcretizationStrategyNorepeatsRange.merge()
SimConcretizationStrategyNonzero
SimConcretizationStrategyAny
SimConcretizationStrategyControlledData
SimConcretizationStrategyUnlimitedRange
SimulationManager
SimulationManager.ALL
SimulationManager.DROP
SimulationManager.errored
SimulationManager.stashes
SimulationManager.mulpyplex()
SimulationManager.copy()
SimulationManager.use_technique()
SimulationManager.remove_technique()
SimulationManager.explore()
SimulationManager.run()
SimulationManager.complete()
SimulationManager.step()
SimulationManager.step_state()
SimulationManager.filter()
SimulationManager.selector()
SimulationManager.successors()
SimulationManager.prune()
SimulationManager.populate()
SimulationManager.absorb()
SimulationManager.move()
SimulationManager.stash()
SimulationManager.unstash()
SimulationManager.drop()
SimulationManager.apply()
SimulationManager.split()
SimulationManager.merge()
ErrorRecord
ErrorRecord.debug()
ErrorRecord.reraise()
StateHierarchy
StateHierarchy.get_ref()
StateHierarchy.dead_ref()
StateHierarchy.defer_cleanup()
StateHierarchy.add_state()
StateHierarchy.add_history()
StateHierarchy.simplify()
StateHierarchy.full_simplify()
StateHierarchy.lineage()
StateHierarchy.all_successors()
StateHierarchy.history_successors()
StateHierarchy.history_predecessors()
StateHierarchy.history_contains()
StateHierarchy.unreachable_state()
StateHierarchy.unreachable_history()
StateHierarchy.most_mergeable()
ExplorationTechnique
ExplorationTechnique.setup()
ExplorationTechnique.step()
ExplorationTechnique.filter()
ExplorationTechnique.selector()
ExplorationTechnique.step_state()
ExplorationTechnique.successors()
ExplorationTechnique.complete()
Timeout
Timeout.setup()
Timeout.step()
DFS
DFS.setup()
DFS.step()
Explorer
Explorer.setup()
Explorer.step()
Explorer.filter()
Explorer.complete()
LengthLimiter
LengthLimiter.step()
ManualMergepoint
ManualMergepoint.setup()
ManualMergepoint.mark_nofilter()
ManualMergepoint.mark_okfilter()
ManualMergepoint.step()
PickledStatesBase
PickledStatesBase.sort()
PickledStatesBase.add()
PickledStatesBase.pop_n()
PickledStatesList
PickledStatesList.sort()
PickledStatesList.add()
PickledStatesList.pop_n()
PickledStatesDb
PickledStatesDb.sort()
PickledStatesDb.add()
PickledStatesDb.pop_n()
PickledStatesDb.get_recent_n()
PickledStatesDb.count()
Spiller
Spiller.step()
Spiller.state_priority()
PickledState
PickledState.id
PickledState.priority
PickledState.taken
PickledState.stash
PickledState.timestamp
Threading
Threading.step()
Threading.inner_step()
Threading.successors()
Veritesting
Veritesting.step_state()
TracingMode
TracingMode.Strict
TracingMode.Permissive
TracingMode.CatchDesync
TracerDesyncError
RepHook
RepHook.run()
Tracer
Tracer.set_fd_data()
Tracer.setup()
Tracer.complete()
Tracer.filter()
Tracer.step()
Tracer.step_state()
Tracer.crash_windup()
DrillerCore
DrillerCore.setup()
DrillerCore.step()
Slicecutor
Slicecutor.setup()
Slicecutor.filter()
Slicecutor.step_state()
Slicecutor.successors()
BaseGoal
BaseGoal.REQUIRE_CFG_STATES
BaseGoal.check()
BaseGoal.check_state()
ExecuteAddressGoal
ExecuteAddressGoal.check()
ExecuteAddressGoal.check_state()
CallFunctionGoal
CallFunctionGoal.REQUIRE_CFG_STATES
CallFunctionGoal.check()
CallFunctionGoal.check_state()
Director
Director.step()
Director.add_goal()
Oppologist
Oppologist.successors()
LoopSeer
LoopSeer.setup()
LoopSeer.filter()
LoopSeer.successors()
LocalLoopSeer
LocalLoopSeer.setup()
LocalLoopSeer.filter()
LocalLoopSeer.successors()
Cacher
Cacher.setup()
Cacher.step()
StochasticSearch
StochasticSearch.step()
UniqueSearch
UniqueSearch.setup()
UniqueSearch.step()
UniqueSearch.similarity()
UniqueSearch.sequence_matcher_similarity()
TechniqueBuilder
condition_to_lambda()
Symbion
Symbion.setup()
Symbion.step()
Symbion.step_state()
Symbion.complete()
MemoryWatcher
MemoryWatcher.setup()
MemoryWatcher.step()
Bucketizer
Bucketizer.successors()
ast_weight()
Suggestions
Suggestions.step()
Suggestions.report()
UberEngine
UberEngine.irsb
UberEngine.state
UberEngine.stmt_idx
UberEngine.successors
UberEngine.tmps
SimEngineBase
SimEngine
SimEngine.process()
TLSMixin
TLSProperty
SuccessorsMixin
SuccessorsMixin.process()
SuccessorsMixin.process_successors()
SimSuccessors
SimSuccessors.failure()
SimSuccessors.is_empty
SimSuccessors.add_successor()
ProcedureMixin
ProcedureMixin.process_procedure()
ProcedureEngine
ProcedureEngine.process_successors()
HooksMixin
HooksMixin.process_successors()
SimEngineSyscall
SimEngineSyscall.process_successors()
SimEngineFailure
SimEngineFailure.process_successors()
SootMixin
SootMixin.lift_soot()
SootMixin.process_successors()
SootMixin.get_unconstrained_simprocedure()
SootMixin.setup_callsite()
SootMixin.setup_arguments()
SootMixin.prepare_return_state()
SootMixin.terminate_execution()
SootMixin.prepare_native_return_state()
SimEngineUnicorn
SimEngineUnicorn.process_successors()
SimEngineConcrete
SimEngineConcrete.process_successors()
SimEngineConcrete.to_engine()
SimEngineConcrete.check_concrete_target_methods()
SimAction
SimAction.TMP
SimAction.REG
SimAction.MEM
SimAction.all_objects
SimAction.is_symbolic
SimAction.tmp_deps
SimAction.reg_deps
SimAction.copy()
SimAction.downsize()
SimActionExit
SimActionExit.CONDITIONAL
SimActionExit.DEFAULT
SimActionExit.all_objects
SimActionExit.is_symbolic
SimActionConstraint
SimActionConstraint.all_objects
SimActionConstraint.is_symbolic
SimActionOperation
SimActionOperation.all_objects
SimActionOperation.is_symbolic
SimActionData
SimActionData.READ
SimActionData.WRITE
SimActionData.OPERATE
SimActionData.downsize()
SimActionData.all_objects
SimActionData.is_symbolic
SimActionData.tmp_deps
SimActionData.reg_deps
SimActionData.storage
ast_stripping_op()
ast_preserving_op()
ast_stripping_decorator()
SimActionObject
SimActionObject.to_claripy()
SimActionObject.copy()
SimActionObject.SDiv()
SimActionObject.SMod()
SimActionObject.intersection()
SimActionObject.union()
SimActionObject.widen()
make_methods()
SimEvent
resource_event()
SimProcedure
SimProcedure.state
SimProcedure.execute()
SimProcedure.make_continuation()
SimProcedure.NO_RET
SimProcedure.DYNAMIC_RET
SimProcedure.ADDS_EXITS
SimProcedure.IS_FUNCTION
SimProcedure.ARGS_MISMATCH
SimProcedure.ALT_NAMES
SimProcedure.local_vars
SimProcedure.run()
SimProcedure.static_exits()
SimProcedure.dynamic_returns()
SimProcedure.should_add_successors
SimProcedure.set_args()
SimProcedure.va_arg()
SimProcedure.inline_call()
SimProcedure.ret()
SimProcedure.call()
SimProcedure.jump()
SimProcedure.exit()
SimProcedure.ty_ptr()
SimProcedure.is_java
SimProcedure.argument_types
SimProcedure.return_type
FormatString
FormatString.SCANF_DELIMITERS
FormatString.state
FormatString.replace()
FormatString.interpret()
FormatSpecifier
FormatSpecifier.string
FormatSpecifier.size
FormatSpecifier.signed
FormatSpecifier.length_spec
FormatSpecifier.pad_chr
FormatSpecifier.spec_type
FormatParser
FormatParser.ARGS_MISMATCH
FormatParser.basic_spec
FormatParser.int_sign
FormatParser.int_len_mod
FormatParser.other_types
FormatParser.flags
FormatParser.extract_components()
FormatParser.state
FormatParser.project
FormatParser.arch
FormatParser.cc
FormatParser.prototype
FormatParser.arg_session
ScanfFormatParser
ScanfFormatParser.basic_spec
ScanfFormatParser.float_spec
ScanfFormatParser.float_len_mod
ScanfFormatParser.state
ScanfFormatParser.project
ScanfFormatParser.arch
ScanfFormatParser.cc
ScanfFormatParser.prototype
ScanfFormatParser.arg_session
SimLibrary
SimLibrary.copy()
SimLibrary.update()
SimLibrary.name
SimLibrary.set_library_names()
SimLibrary.set_default_cc()
SimLibrary.set_non_returning()
SimLibrary.set_prototype()
SimLibrary.set_prototypes()
SimLibrary.set_c_prototype()
SimLibrary.add()
SimLibrary.add_all_from_dict()
SimLibrary.add_alias()
SimLibrary.get()
SimLibrary.get_stub()
SimLibrary.get_prototype()
SimLibrary.has_metadata()
SimLibrary.has_implementation()
SimLibrary.has_prototype()
SimCppLibrary
SimCppLibrary.get()
SimCppLibrary.get_stub()
SimCppLibrary.get_prototype()
SimCppLibrary.has_metadata()
SimCppLibrary.has_implementation()
SimCppLibrary.has_prototype()
SimSyscallLibrary
SimSyscallLibrary.copy()
SimSyscallLibrary.update()
SimSyscallLibrary.minimum_syscall_number()
SimSyscallLibrary.maximum_syscall_number()
SimSyscallLibrary.add_number_mapping()
SimSyscallLibrary.add_number_mapping_from_dict()
SimSyscallLibrary.set_abi_cc()
SimSyscallLibrary.set_prototype()
SimSyscallLibrary.set_prototypes()
SimSyscallLibrary.get()
SimSyscallLibrary.get_stub()
SimSyscallLibrary.get_prototype()
SimSyscallLibrary.has_metadata()
SimSyscallLibrary.has_implementation()
SimSyscallLibrary.has_prototype()
load_win32api_definitions()
load_all_definitions()
PointerWrapper
AllocHelper
AllocHelper.alloc()
AllocHelper.dump()
AllocHelper.translate()
AllocHelper.apply()
AllocHelper.size()
AllocHelper.calc_size()
AllocHelper.stack_loc()
refine_locs_with_struct_type()
SerializableIterator
SerializableIterator.getstate()
SerializableIterator.setstate()
SerializableListIterator
SerializableListIterator.getstate()
SerializableListIterator.setstate()
SerializableCounter
SerializableCounter.getstate()
SerializableCounter.setstate()
SimFunctionArgument
SimFunctionArgument.check_value_set()
SimFunctionArgument.check_value_get()
SimFunctionArgument.set_value()
SimFunctionArgument.get_value()
SimFunctionArgument.refine()
SimFunctionArgument.get_footprint()
SimRegArg
SimRegArg.get_footprint()
SimRegArg.check_offset()
SimRegArg.set_value()
SimRegArg.get_value()
SimRegArg.refine()
SimRegArg.sse_extend()
SimStackArg
SimStackArg.get_footprint()
SimStackArg.set_value()
SimStackArg.get_value()
SimStackArg.refine()
SimComboArg
SimComboArg.get_footprint()
SimComboArg.set_value()
SimComboArg.get_value()
SimStructArg
SimStructArg.get_footprint()
SimStructArg.get_value()
SimStructArg.set_value()
SimArrayArg
SimArrayArg.get_footprint()
SimArrayArg.get_value()
SimArrayArg.set_value()
SimReferenceArgument
SimReferenceArgument.get_footprint()
SimReferenceArgument.get_value()
SimReferenceArgument.set_value()
ArgSession
ArgSession.cc
ArgSession.fp_iter
ArgSession.int_iter
ArgSession.both_iter
ArgSession.getstate()
ArgSession.setstate()
UsercallArgSession
UsercallArgSession.cc
UsercallArgSession.real_args
UsercallArgSession.getstate()
UsercallArgSession.setstate()
SimCC
SimCC.ARG_REGS
SimCC.FP_ARG_REGS
SimCC.STACKARG_SP_BUFF
SimCC.STACKARG_SP_DIFF
SimCC.CALLER_SAVED_REGS
SimCC.RETURN_ADDR
SimCC.RETURN_VAL
SimCC.OVERFLOW_RETURN_VAL
SimCC.FP_RETURN_VAL
SimCC.ARCH
SimCC.CALLEE_CLEANUP
SimCC.STACK_ALIGNMENT
SimCC.int_args
SimCC.memory_args
SimCC.fp_args
SimCC.is_fp_arg()
SimCC.ArgSession
SimCC.arg_session()
SimCC.return_in_implicit_outparam()
SimCC.stack_space()
SimCC.return_val()
SimCC.return_addr
SimCC.next_arg()
SimCC.is_fp_value()
SimCC.guess_prototype()
SimCC.arg_locs()
SimCC.get_args()
SimCC.set_return_val()
SimCC.setup_callsite()
SimCC.teardown_callsite()
SimCC.find_cc()
SimCC.get_arg_info()
SimLyingRegArg
SimLyingRegArg.get_value()
SimLyingRegArg.set_value()
SimLyingRegArg.refine()
SimCCUsercall
SimCCUsercall.ArgSession
SimCCUsercall.next_arg()
SimCCUsercall.return_val()
SimCCCdecl
SimCCCdecl.ARG_REGS
SimCCCdecl.FP_ARG_REGS
SimCCCdecl.STACKARG_SP_DIFF
SimCCCdecl.CALLER_SAVED_REGS
SimCCCdecl.RETURN_VAL
SimCCCdecl.OVERFLOW_RETURN_VAL
SimCCCdecl.FP_RETURN_VAL
SimCCCdecl.RETURN_ADDR
SimCCCdecl.ARCH
SimCCCdecl.next_arg()
SimCCCdecl.STRUCT_RETURN_THRESHOLD
SimCCCdecl.return_val()
SimCCCdecl.return_in_implicit_outparam()
SimCCMicrosoftCdecl
SimCCMicrosoftCdecl.STRUCT_RETURN_THRESHOLD
SimCCStdcall
SimCCStdcall.CALLEE_CLEANUP
SimCCMicrosoftFastcall
SimCCMicrosoftFastcall.ARG_REGS
SimCCMicrosoftFastcall.STACKARG_SP_DIFF
SimCCMicrosoftFastcall.RETURN_VAL
SimCCMicrosoftFastcall.RETURN_ADDR
SimCCMicrosoftFastcall.ARCH
MicrosoftAMD64ArgSession
SimCCMicrosoftAMD64
SimCCMicrosoftAMD64.ARG_REGS
SimCCMicrosoftAMD64.FP_ARG_REGS
SimCCMicrosoftAMD64.STACKARG_SP_DIFF
SimCCMicrosoftAMD64.STACKARG_SP_BUFF
SimCCMicrosoftAMD64.RETURN_VAL
SimCCMicrosoftAMD64.OVERFLOW_RETURN_VAL
SimCCMicrosoftAMD64.FP_RETURN_VAL
SimCCMicrosoftAMD64.RETURN_ADDR
SimCCMicrosoftAMD64.ARCH
SimCCMicrosoftAMD64.STACK_ALIGNMENT
SimCCMicrosoftAMD64.ArgSession
SimCCMicrosoftAMD64.next_arg()
SimCCMicrosoftAMD64.return_in_implicit_outparam()
SimCCSyscall
SimCCSyscall.ERROR_REG
SimCCSyscall.SYSCALL_ERRNO_START
SimCCSyscall.syscall_num()
SimCCSyscall.linux_syscall_update_error_reg()
SimCCSyscall.set_return_val()
SimCCX86LinuxSyscall
SimCCX86LinuxSyscall.ARG_REGS
SimCCX86LinuxSyscall.FP_ARG_REGS
SimCCX86LinuxSyscall.RETURN_VAL
SimCCX86LinuxSyscall.RETURN_ADDR
SimCCX86LinuxSyscall.ARCH
SimCCX86LinuxSyscall.syscall_num()
SimCCX86WindowsSyscall
SimCCX86WindowsSyscall.ARG_REGS
SimCCX86WindowsSyscall.FP_ARG_REGS
SimCCX86WindowsSyscall.RETURN_VAL
SimCCX86WindowsSyscall.RETURN_ADDR
SimCCX86WindowsSyscall.ARCH
SimCCX86WindowsSyscall.syscall_num()
SimCCSystemVAMD64
SimCCSystemVAMD64.ARG_REGS
SimCCSystemVAMD64.FP_ARG_REGS
SimCCSystemVAMD64.STACKARG_SP_DIFF
SimCCSystemVAMD64.CALLER_SAVED_REGS
SimCCSystemVAMD64.RETURN_ADDR
SimCCSystemVAMD64.RETURN_VAL
SimCCSystemVAMD64.OVERFLOW_RETURN_VAL
SimCCSystemVAMD64.FP_RETURN_VAL
SimCCSystemVAMD64.OVERFLOW_FP_RETURN_VAL
SimCCSystemVAMD64.ARCH
SimCCSystemVAMD64.STACK_ALIGNMENT
SimCCSystemVAMD64.next_arg()
SimCCSystemVAMD64.return_val()
SimCCSystemVAMD64.return_in_implicit_outparam()
SimCCAMD64LinuxSyscall
SimCCAMD64LinuxSyscall.ARG_REGS
SimCCAMD64LinuxSyscall.RETURN_VAL
SimCCAMD64LinuxSyscall.RETURN_ADDR
SimCCAMD64LinuxSyscall.ARCH
SimCCAMD64LinuxSyscall.syscall_num()
SimCCAMD64WindowsSyscall
SimCCAMD64WindowsSyscall.ARG_REGS
SimCCAMD64WindowsSyscall.FP_ARG_REGS
SimCCAMD64WindowsSyscall.RETURN_VAL
SimCCAMD64WindowsSyscall.RETURN_ADDR
SimCCAMD64WindowsSyscall.ARCH
SimCCAMD64WindowsSyscall.syscall_num()
SimCCARM
SimCCARM.ARG_REGS
SimCCARM.FP_ARG_REGS
SimCCARM.CALLER_SAVED_REGS
SimCCARM.RETURN_ADDR
SimCCARM.RETURN_VAL
SimCCARM.ARCH
SimCCARM.next_arg()
SimCCARMHF
SimCCARMHF.ARG_REGS
SimCCARMHF.FP_ARG_REGS
SimCCARMHF.FP_RETURN_VAL
SimCCARMHF.CALLER_SAVED_REGS
SimCCARMHF.RETURN_ADDR
SimCCARMHF.RETURN_VAL
SimCCARMHF.ARCH
SimCCARMHF.next_arg()
SimCCARMLinuxSyscall
SimCCARMLinuxSyscall.ARG_REGS
SimCCARMLinuxSyscall.FP_ARG_REGS
SimCCARMLinuxSyscall.RETURN_ADDR
SimCCARMLinuxSyscall.RETURN_VAL
SimCCARMLinuxSyscall.ARCH
SimCCARMLinuxSyscall.syscall_num()
SimCCAArch64
SimCCAArch64.ARG_REGS
SimCCAArch64.FP_ARG_REGS
SimCCAArch64.RETURN_ADDR
SimCCAArch64.RETURN_VAL
SimCCAArch64.ARCH
SimCCAArch64LinuxSyscall
SimCCAArch64LinuxSyscall.ARG_REGS
SimCCAArch64LinuxSyscall.FP_ARG_REGS
SimCCAArch64LinuxSyscall.RETURN_VAL
SimCCAArch64LinuxSyscall.RETURN_ADDR
SimCCAArch64LinuxSyscall.ARCH
SimCCAArch64LinuxSyscall.syscall_num()
SimCCO32
SimCCO32.ARG_REGS
SimCCO32.FP_ARG_REGS
SimCCO32.STACKARG_SP_BUFF
SimCCO32.CALLER_SAVED_REGS
SimCCO32.RETURN_ADDR
SimCCO32.RETURN_VAL
SimCCO32.ARCH
SimCCO32.next_arg()
SimCCO32LinuxSyscall
SimCCO32LinuxSyscall.ARG_REGS
SimCCO32LinuxSyscall.FP_ARG_REGS
SimCCO32LinuxSyscall.RETURN_VAL
SimCCO32LinuxSyscall.RETURN_ADDR
SimCCO32LinuxSyscall.ARCH
SimCCO32LinuxSyscall.ERROR_REG
SimCCO32LinuxSyscall.SYSCALL_ERRNO_START
SimCCO32LinuxSyscall.syscall_num()
SimCCO64
SimCCO64.ARG_REGS
SimCCO64.CALLER_SAVED_REGS
SimCCO64.FP_ARG_REGS
SimCCO64.STACKARG_SP_BUFF
SimCCO64.RETURN_ADDR
SimCCO64.RETURN_VAL
SimCCO64.ARCH
SimCCO64LinuxSyscall
SimCCO64LinuxSyscall.ARG_REGS
SimCCO64LinuxSyscall.FP_ARG_REGS
SimCCO64LinuxSyscall.RETURN_VAL
SimCCO64LinuxSyscall.RETURN_ADDR
SimCCO64LinuxSyscall.ARCH
SimCCO64LinuxSyscall.ERROR_REG
SimCCO64LinuxSyscall.SYSCALL_ERRNO_START
SimCCO64LinuxSyscall.syscall_num()
SimCCPowerPC
SimCCPowerPC.ARG_REGS
SimCCPowerPC.FP_ARG_REGS
SimCCPowerPC.STACKARG_SP_BUFF
SimCCPowerPC.RETURN_ADDR
SimCCPowerPC.RETURN_VAL
SimCCPowerPC.ARCH
SimCCPowerPCLinuxSyscall
SimCCPowerPCLinuxSyscall.ARG_REGS
SimCCPowerPCLinuxSyscall.FP_ARG_REGS
SimCCPowerPCLinuxSyscall.RETURN_VAL
SimCCPowerPCLinuxSyscall.RETURN_ADDR
SimCCPowerPCLinuxSyscall.ARCH
SimCCPowerPCLinuxSyscall.ERROR_REG
SimCCPowerPCLinuxSyscall.SYSCALL_ERRNO_START
SimCCPowerPCLinuxSyscall.syscall_num()
SimCCPowerPC64
SimCCPowerPC64.ARG_REGS
SimCCPowerPC64.FP_ARG_REGS
SimCCPowerPC64.STACKARG_SP_BUFF
SimCCPowerPC64.RETURN_ADDR
SimCCPowerPC64.RETURN_VAL
SimCCPowerPC64.ARCH
SimCCPowerPC64LinuxSyscall
SimCCPowerPC64LinuxSyscall.ARG_REGS
SimCCPowerPC64LinuxSyscall.FP_ARG_REGS
SimCCPowerPC64LinuxSyscall.RETURN_VAL
SimCCPowerPC64LinuxSyscall.RETURN_ADDR
SimCCPowerPC64LinuxSyscall.ARCH
SimCCPowerPC64LinuxSyscall.ERROR_REG
SimCCPowerPC64LinuxSyscall.SYSCALL_ERRNO_START
SimCCPowerPC64LinuxSyscall.syscall_num()
SimCCSoot
SimCCSoot.ARCH
SimCCSoot.ARG_REGS
SimCCSoot.setup_callsite()
SimCCSoot.guess_prototype()
SimCCUnknown
SimCCS390X
SimCCS390X.ARG_REGS
SimCCS390X.FP_ARG_REGS
SimCCS390X.STACKARG_SP_BUFF
SimCCS390X.RETURN_ADDR
SimCCS390X.RETURN_VAL
SimCCS390X.ARCH
SimCCS390XLinuxSyscall
SimCCS390XLinuxSyscall.ARG_REGS
SimCCS390XLinuxSyscall.FP_ARG_REGS
SimCCS390XLinuxSyscall.RETURN_VAL
SimCCS390XLinuxSyscall.RETURN_ADDR
SimCCS390XLinuxSyscall.ARCH
SimCCS390XLinuxSyscall.syscall_num()
register_default_cc()
register_syscall_cc()
SimVariable
SimVariable.ident
SimVariable.name
SimVariable.region
SimVariable.category
SimVariable.renamed
SimVariable.candidate_names
SimVariable.size
SimVariable.copy()
SimVariable.loc_repr()
SimVariable.is_function_argument
SimConstantVariable
SimConstantVariable.value
SimConstantVariable.loc_repr()
SimConstantVariable.copy()
SimTemporaryVariable
SimTemporaryVariable.tmp_id
SimTemporaryVariable.loc_repr()
SimTemporaryVariable.copy()
SimTemporaryVariable.serialize_to_cmessage()
SimTemporaryVariable.parse_from_cmessage()
SimRegisterVariable
SimRegisterVariable.reg
SimRegisterVariable.bits
SimRegisterVariable.loc_repr()
SimRegisterVariable.copy()
SimRegisterVariable.serialize_to_cmessage()
SimRegisterVariable.parse_from_cmessage()
SimMemoryVariable
SimMemoryVariable.addr
SimMemoryVariable.loc_repr()
SimMemoryVariable.bits
SimMemoryVariable.copy()
SimMemoryVariable.serialize_to_cmessage()
SimMemoryVariable.parse_from_cmessage()
SimStackVariable
SimStackVariable.base
SimStackVariable.offset
SimStackVariable.base_addr
SimStackVariable.loc_repr()
SimStackVariable.copy()
SimStackVariable.serialize_to_cmessage()
SimStackVariable.parse_from_cmessage()
SimVariableSet
SimVariableSet.add()
SimVariableSet.add_register_variable()
SimVariableSet.add_memory_variable()
SimVariableSet.discard()
SimVariableSet.discard_register_variable()
SimVariableSet.discard_memory_variable()
SimVariableSet.add_memory_variables()
SimVariableSet.copy()
SimVariableSet.complement()
SimVariableSet.contains_register_variable()
SimVariableSet.contains_memory_variable()
SimType
SimType.base
SimType.size
SimType.alignment
SimType.with_arch()
SimType.c_repr()
SimType.copy()
SimType.extract_claripy()
TypeRef
TypeRef.name
TypeRef.size
TypeRef.alignment
TypeRef.with_arch()
TypeRef.c_repr()
TypeRef.copy()
NamedTypeMixin
NamedTypeMixin.name
NamedTypeMixin.unqualified_name()
SimTypeBottom
SimTypeBottom.c_repr()
SimTypeBottom.copy()
SimTypeTop
SimTypeTop.copy()
SimTypeReg
SimTypeReg.extract()
SimTypeReg.store()
SimTypeReg.copy()
SimTypeNum
SimTypeNum.extract()
SimTypeNum.store()
SimTypeNum.copy()
SimTypeInt
SimTypeInt.c_repr()
SimTypeInt.size
SimTypeInt.extract()
SimTypeInt.copy()
SimTypeShort
SimTypeLong
SimTypeLongLong
SimTypeChar
SimTypeChar.store()
SimTypeChar.extract()
SimTypeChar.copy()
SimTypeBool
SimTypeBool.store()
SimTypeBool.extract()
SimTypeFd
SimTypeFd.copy()
SimTypePointer
SimTypePointer.c_repr()
SimTypePointer.make()
SimTypePointer.size
SimTypePointer.copy()
SimTypeReference
SimTypeReference.c_repr()
SimTypeReference.make()
SimTypeReference.size
SimTypeReference.copy()
SimTypeArray
SimTypeArray.c_repr()
SimTypeArray.size
SimTypeArray.alignment
SimTypeArray.copy()
SimTypeArray.extract()
SimTypeArray.store()
SimTypeFixedSizeArray
SimTypeString
SimTypeString.extract()
SimTypeString.size
SimTypeString.alignment
SimTypeString.copy()
SimTypeWString
SimTypeWString.extract()
SimTypeWString.size
SimTypeWString.alignment
SimTypeWString.copy()
SimTypeFunction
SimTypeFunction.base
SimTypeFunction.c_repr()
SimTypeFunction.size
SimTypeFunction.copy()
SimTypeCppFunction
SimTypeCppFunction.copy()
SimTypeCppFunction.returnty
SimTypeLength
SimTypeLength.size
SimTypeLength.copy()
SimTypeFloat
SimTypeFloat.sort
SimTypeFloat.signed
SimTypeFloat.extract()
SimTypeFloat.store()
SimTypeFloat.copy()
SimTypeDouble
SimTypeDouble.sort
SimTypeDouble.alignment
SimTypeDouble.copy()
SimStruct
SimStruct.packed
SimStruct.offsets
SimStruct.extract()
SimStruct.c_repr()
SimStruct.size
SimStruct.alignment
SimStruct.store()
SimStruct.copy()
SimStructValue
SimStructValue.struct
SimStructValue.copy()
SimUnion
SimUnion.fields
SimUnion.size
SimUnion.alignment
SimUnion.extract()
SimUnion.c_repr()
SimUnion.copy()
SimUnionValue
SimUnionValue.copy()
SimCppClass
SimCppClass.members
SimCppClass.extract()
SimCppClass.store()
SimCppClass.copy()
SimCppClassValue
SimCppClassValue.copy()
SimTypeNumOffset
SimTypeNumOffset.extract()
SimTypeNumOffset.store()
SimTypeNumOffset.copy()
register_types()
do_preprocess()
parse_signature()
parse_defns()
parse_types()
parse_file()
type_parser_singleton()
parse_type()
parse_type_with_name()
normalize_cpp_function_name()
parse_cpp_file()
TypedValue
TypeBackend
TypeBackend.apply_annotation()
TypeBackend.default_op()
TypeAnnotation
TypeAnnotation.eliminatable
TypeAnnotation.relocatable
Callable
Callable.set_base_state()
Callable.perform_call()
Callable.call_c()
KnowledgeBase
KnowledgeBase.functions
KnowledgeBase.variables
KnowledgeBase.structured_code
KnowledgeBase.defs
KnowledgeBase.cfgs
KnowledgeBase.types
KnowledgeBase.callgraph
KnowledgeBase.unresolved_indirect_jumps
KnowledgeBase.resolved_indirect_jumps
KnowledgeBase.has_plugin()
KnowledgeBase.get_plugin()
KnowledgeBase.register_plugin()
KnowledgeBase.release_plugin()
KnowledgeBase.K
KnowledgeBase.get_knowledge()
KnowledgeBase.request_knowledge()
Patch
PatchManager
PatchManager.add_patch()
PatchManager.add_patch_obj()
PatchManager.remove_patch()
PatchManager.patch_addrs()
PatchManager.get_patch()
PatchManager.get_all_patches()
PatchManager.keys()
PatchManager.items()
PatchManager.values()
PatchManager.copy()
PatchManager.overlap()
PatchManager.apply_patches_to_binary()
KnowledgeBasePlugin
KnowledgeBasePlugin.copy()
KnowledgeBasePlugin.register_default()
CallsitePrototypes
CallsitePrototypes.set_prototype()
CallsitePrototypes.get_cc()
CallsitePrototypes.get_prototype()
CallsitePrototypes.get_prototype_type()
CallsitePrototypes.has_prototype()
CallsitePrototypes.copy()
CFGModel
CFGModel.ident
CFGModel.is_arm
CFGModel.graph
CFGModel.jump_tables
CFGModel.memory_data
CFGModel.insn_addr_to_memory_data
CFGModel.normalized
CFGModel.project
CFGModel.serialize_to_cmessage()
CFGModel.parse_from_cmessage()
CFGModel.copy()
CFGModel.add_node()
CFGModel.remove_node()
CFGModel.get_node()
CFGModel.get_any_node()
CFGModel.get_all_nodes()
CFGModel.nodes()
CFGModel.get_predecessors()
CFGModel.get_successors()
CFGModel.get_successors_and_jumpkinds()
CFGModel.get_successors_and_jumpkind()
CFGModel.get_predecessors_and_jumpkinds()
CFGModel.get_predecessors_and_jumpkind()
CFGModel.get_all_predecessors()
CFGModel.get_all_successors()
CFGModel.get_branching_nodes()
CFGModel.get_exit_stmt_idx()
MemoryDataSort
MemoryDataSort.Unspecified
MemoryDataSort.Unknown
MemoryDataSort.Integer
MemoryDataSort.PointerArray
MemoryDataSort.String
MemoryDataSort.UnicodeString
MemoryDataSort.SegmentBoundary
MemoryDataSort.CodeReference
MemoryDataSort.GOTPLTEntry
MemoryDataSort.ELFHeader
MemoryDataSort.FloatingPoint
MemoryData
MemoryData.addr
MemoryData.size
MemoryData.sort
MemoryData.max_size
MemoryData.pointer_addr
MemoryData.content
MemoryData.address
MemoryData.copy()
MemoryData.fill_content()
MemoryData.serialize_to_cmessage()
MemoryData.parse_from_cmessage()
CFGManager
CFGManager.new_model()
CFGManager.copy()
CFGManager.get_most_accurate()
CFGNodeCreationFailure
CFGNodeCreationFailure.short_reason
CFGNodeCreationFailure.long_reason
CFGNodeCreationFailure.traceback
CFGNode
CFGNode.addr
CFGNode.size
CFGNode.simprocedure_name
CFGNode.no_ret
CFGNode.function_address
CFGNode.thumb
CFGNode.byte_string
CFGNode.is_syscall
CFGNode.instruction_addrs
CFGNode.irsb
CFGNode.soot_block
CFGNode.has_return
CFGNode.block_id
CFGNode.name
CFGNode.successors
CFGNode.predecessors
CFGNode.successors_and_jumpkinds()
CFGNode.predecessors_and_jumpkinds()
CFGNode.get_data_references()
CFGNode.accessed_data_references
CFGNode.is_simprocedure
CFGNode.callstack_key
CFGNode.serialize_to_cmessage()
CFGNode.parse_from_cmessage()
CFGNode.copy()
CFGNode.merge()
CFGNode.to_codenode()
CFGNode.block
CFGNode.syscall_name
CFGENode
CFGENode.input_state
CFGENode.looping_times
CFGENode.depth
CFGENode.creation_failure_info
CFGENode.final_states
CFGENode.return_target
CFGENode.syscall
CFGENode.callstack_key
CFGENode.creation_failed
CFGENode.downsize()
CFGENode.copy()
IndirectJumpType
IndirectJumpType.Jumptable_AddressLoadedFromMemory
IndirectJumpType.Jumptable_AddressComputed
IndirectJumpType.Vtable
IndirectJumpType.Unknown
IndirectJump
IndirectJump.addr
IndirectJump.ins_addr
IndirectJump.func_addr
IndirectJump.jumpkind
IndirectJump.stmt_idx
IndirectJump.resolved_targets
IndirectJump.jumptable
IndirectJump.jumptable_addr
IndirectJump.jumptable_size
IndirectJump.jumptable_entry_size
IndirectJump.jumptable_entries
IndirectJump.type
Goto
Gotos
Gotos.copy()
TypesStore
TypesStore.copy()
TypesStore.iter_own()
TypesStore.rename()
TypesStore.unique_type_name()
Propagations
Propagations.exists()
Propagations.update()
Propagations.get()
Propagations.copy()
Comments
Comments.copy()
Data
Data.copy()
IndirectJumps
IndirectJumps.copy()
IndirectJumps.update_resolved_addrs()
Labels
Labels.items()
Labels.get()
Labels.lookup()
Labels.copy()
Labels.get_unique_label()
FunctionDict
FunctionDict.get()
FunctionDict.floor_addr()
FunctionDict.ceiling_addr()
FunctionManager
FunctionManager.copy()
FunctionManager.clear()
FunctionManager.get_by_addr()
FunctionManager.contains_addr()
FunctionManager.ceiling_func()
FunctionManager.floor_func()
FunctionManager.function()
FunctionManager.dbg_draw()
FunctionManager.rebuild_callgraph()
Function
Function.transition_graph
Function.normalized
Function.addr
Function.startpoint
Function.alignment
Function.bp_on_stack
Function.retaddr_on_stack
Function.sp_delta
Function.prototype
Function.is_prototype_guessed
Function.prepared_registers
Function.prepared_stack_variables
Function.registers_read_afterwards
Function.info
Function.tags
Function.ran_cca
Function.is_syscall
Function.is_simprocedure
Function.is_plt
Function.is_default_name
Function.from_signature
Function.binary_name
Function.calling_convention
Function.name
Function.project
Function.returning
Function.blocks
Function.block_addrs
Function.block_addrs_set
Function.get_block()
Function.get_block_size()
Function.nodes
Function.get_node()
Function.has_unresolved_jumps
Function.has_unresolved_calls
Function.operations
Function.code_constants
Function.serialize_to_cmessage()
Function.parse_from_cmessage()
Function.string_references()
Function.local_runtime_values
Function.num_arguments
Function.endpoints
Function.endpoints_with_type
Function.ret_sites
Function.jumpout_sites
Function.retout_sites
Function.callout_sites
Function.size
Function.binary
Function.offset
Function.symbol
Function.add_jumpout_site()
Function.add_retout_site()
Function.mark_nonreturning_calls_endpoints()
Function.get_call_sites()
Function.get_call_target()
Function.get_call_return()
Function.graph
Function.graph_ex()
Function.transition_graph_ex()
Function.subgraph()
Function.instruction_size()
Function.addr_to_instruction_addr()
Function.dbg_print()
Function.dbg_draw()
Function.arguments
Function.has_return
Function.callable
Function.normalize()
Function.find_declaration()
Function.demangled_name
Function.apply_definition()
Function.functions_called()
Function.copy()
Function.pp()
FunctionParser
FunctionParser.serialize()
FunctionParser.parse_from_cmsg()
SootFunction
SootFunction.transition_graph
SootFunction.normalized
SootFunction.addr
SootFunction.is_syscall
SootFunction.is_plt
SootFunction.is_simprocedure
SootFunction.binary_name
SootFunction.bp_on_stack
SootFunction.retaddr_on_stack
SootFunction.sp_delta
SootFunction.calling_convention
SootFunction.prototype
SootFunction.alignment
SootFunction.prepared_registers
SootFunction.prepared_stack_variables
SootFunction.registers_read_afterwards
SootFunction.startpoint
SootFunction.info
SootFunction.tags
SootFunction.normalize()
SootFunction.is_default_name
SootFunction.from_signature
SootFunction.is_prototype_guessed
SootFunction.ran_cca
VariableAccessSort
VariableAccessSort.WRITE
VariableAccessSort.READ
VariableAccessSort.REFERENCE
VariableAccess
VariableAccess.variable
VariableAccess.access_type
VariableAccess.location
VariableAccess.offset
VariableAccess.atom_hash
VariableAccess.serialize_to_cmessage()
VariableAccess.parse_from_cmessage()
VariableType
VariableType.REGISTER
VariableType.MEMORY
LiveVariables
LiveVariables.register_region
LiveVariables.stack_region
VariableManagerInternal
VariableManagerInternal.set_manager()
VariableManagerInternal.serialize_to_cmessage()
VariableManagerInternal.parse_from_cmessage()
VariableManagerInternal.next_variable_ident()
VariableManagerInternal.add_variable()
VariableManagerInternal.set_variable()
VariableManagerInternal.write_to()
VariableManagerInternal.read_from()
VariableManagerInternal.reference_at()
VariableManagerInternal.make_phi_node()
VariableManagerInternal.set_live_variables()
VariableManagerInternal.find_variables_by_insn()
VariableManagerInternal.find_variable_by_stmt()
VariableManagerInternal.find_variables_by_stmt()
VariableManagerInternal.find_variable_by_atom()
VariableManagerInternal.find_variables_by_atom()
VariableManagerInternal.find_variables_by_stack_offset()
VariableManagerInternal.find_variables_by_register()
VariableManagerInternal.get_variable_accesses()
VariableManagerInternal.get_variables()
VariableManagerInternal.get_global_variables()
VariableManagerInternal.is_phi_variable()
VariableManagerInternal.get_phi_subvariables()
VariableManagerInternal.get_phi_variables()
VariableManagerInternal.input_variables()
VariableManagerInternal.assign_variable_names()
VariableManagerInternal.assign_unified_variable_names()
VariableManagerInternal.set_variable_type()
VariableManagerInternal.get_variable_type()
VariableManagerInternal.remove_types()
VariableManagerInternal.unify_variables()
VariableManagerInternal.set_unified_variable()
VariableManagerInternal.unified_variable()
VariableManager
VariableManager.has_function_manager()
VariableManager.get_function_manager()
VariableManager.initialize_variable_names()
VariableManager.get_variable_accesses()
VariableManager.copy()
VariableManager.convert_variable_list()
VariableManager.load_from_dwarf()
DebugVariableContainer
DebugVariableContainer.from_pc()
DebugVariable
DebugVariable.from_pc()
DebugVariable.contains()
DebugVariable.test_unsupported_overlap()
DebugVariableManager
DebugVariableManager.from_name_and_pc()
DebugVariableManager.from_name()
DebugVariableManager.add_variable()
DebugVariableManager.add_variable_list()
DebugVariableManager.load_from_dwarf()
StructuredCodeManager
StructuredCodeManager.discard()
StructuredCodeManager.available_flavors()
StructuredCodeManager.copy()
Atom
Atom.size
Atom.from_argument()
GuardUse
GuardUse.target
GuardUse.size
FunctionCall
FunctionCall.target
FunctionCall.callsite
FunctionCall.single_target
FunctionCall.size
ConstantSrc
ConstantSrc.const
ConstantSrc.size
Tmp
Tmp.tmp_idx
Tmp.size
Register
Register.reg_offset
Register.bits
Register.size
MemoryLocation
MemoryLocation.addr
MemoryLocation.endness
MemoryLocation.is_on_stack
MemoryLocation.bits
MemoryLocation.size
MemoryLocation.symbolic
ObservationPointType
ObservationPointType.OP_BEFORE
ObservationPointType.OP_AFTER
Definition
Definition.atom
Definition.codeloc
Definition.dummy
Definition.tags
Definition.offset
Definition.size
Definition.data
Environment
Environment.get()
Environment.set()
Environment.merge()
HeapAddress
HeapAddress.value
RDAObserverControl
RDAObserverControl.rda_observe_callback()
KeyDefinitionManager
KeyDefinitionManager.has_model()
KeyDefinitionManager.get_model()
KeyDefinitionManager.copy()
DefinitionAnnotation
DefinitionAnnotation.definition
DefinitionAnnotation.relocatable
DefinitionAnnotation.eliminatable
LiveDefinitions
LiveDefinitions.INITIAL_SP_32BIT
LiveDefinitions.INITIAL_SP_64BIT
LiveDefinitions.project
LiveDefinitions.arch
LiveDefinitions.track_tmps
LiveDefinitions.register_definitions
LiveDefinitions.stack_definitions
LiveDefinitions.memory_definitions
LiveDefinitions.heap_definitions
LiveDefinitions.tmps
LiveDefinitions.register_uses
LiveDefinitions.stack_uses
LiveDefinitions.heap_uses
LiveDefinitions.memory_uses
LiveDefinitions.tmp_uses
LiveDefinitions.uses_by_codeloc
LiveDefinitions.copy()
LiveDefinitions.top()
LiveDefinitions.is_top()
LiveDefinitions.stack_address()
LiveDefinitions.is_stack_address()
LiveDefinitions.get_stack_offset()
LiveDefinitions.annotate_with_def()
LiveDefinitions.extract_defs()
LiveDefinitions.extract_defs_from_mv()
LiveDefinitions.get_sp()
LiveDefinitions.get_stack_address()
LiveDefinitions.stack_offset_to_stack_addr()
LiveDefinitions.merge()
LiveDefinitions.kill_definitions()
LiveDefinitions.kill_and_add_definition()
LiveDefinitions.add_use()
LiveDefinitions.add_use_by_def()
LiveDefinitions.get_definitions()
LiveDefinitions.get_tmp_definitions()
LiveDefinitions.get_register_definitions()
LiveDefinitions.get_stack_definitions()
LiveDefinitions.get_heap_definitions()
LiveDefinitions.get_memory_definitions()
LiveDefinitions.get_definitions_from_atoms()
LiveDefinitions.get_value_from_definition()
LiveDefinitions.get_value_from_atom()
LiveDefinitions.add_register_use()
LiveDefinitions.add_register_use_by_def()
LiveDefinitions.add_stack_use()
LiveDefinitions.add_stack_use_by_def()
LiveDefinitions.add_heap_use()
LiveDefinitions.add_heap_use_by_def()
LiveDefinitions.add_memory_use()
LiveDefinitions.add_memory_use_by_def()
LiveDefinitions.add_tmp_use()
LiveDefinitions.add_tmp_use_by_def()
ReachingDefinitionsModel
ReachingDefinitionsModel.copy()
ReachingDefinitionsModel.merge()
Tag
FunctionTag
SideEffectTag
ParameterTag
LocalVariableTag
ReturnValueTag
InitialValueTag
UnknownSizeTag
Undefined
UnknownSize
Uses
Uses.add_use()
Uses.get_uses()
Uses.get_uses_with_expr()
Uses.remove_use()
Uses.remove_uses()
Uses.get_uses_by_location()
Uses.get_uses_by_insaddr()
Uses.copy()
Uses.merge()
import_binsync()
make_state()
make_ro_state()
init_checker()
SyncController
SyncController.connect()
SyncController.connected
SyncController.commit()
SyncController.update()
SyncController.copy()
SyncController.pull()
SyncController.has_remote
SyncController.users()
SyncController.status()
SyncController.tally()
SyncController.push_function()
SyncController.push_comment()
SyncController.push_comments()
SyncController.push_stack_variables()
SyncController.push_stack_variable()
SyncController.pull_function()
SyncController.pull_comment()
SyncController.pull_comments()
SyncController.pull_patches()
SyncController.pull_stack_variables()
SyncController.get_func_addr_from_addr()
XRef
XRef.ins_addr
XRef.insn_op_idx
XRef.block_addr
XRef.stmt_idx
XRef.memory_data
XRef.type
XRef.dst
XRef.type_string
XRef.serialize_to_cmessage()
XRef.parse_from_cmessage()
XRef.copy()
XRef.insn_op_type
XRefType
XRefType.Offset
XRefType.Read
XRefType.Write
XRefType.to_string()
XRefManager
XRefManager.copy()
XRefManager.add_xref()
XRefManager.add_xrefs()
XRefManager.get_xrefs_by_ins_addr()
XRefManager.get_xrefs_by_dst()
XRefManager.get_xrefs_by_dst_region()
XRefManager.get_xrefs_by_ins_addr_region()
XRefManager.serialize_to_cmessage()
XRefManager.parse_from_cmessage()
CodeLocation
CodeLocation.block_addr
CodeLocation.stmt_idx
CodeLocation.sim_procedure
CodeLocation.ins_addr
CodeLocation.context
CodeLocation.block_idx
CodeLocation.info
CodeLocation.short_repr
StoredObject
StoredObject.start
StoredObject.obj
StoredObject.size
StoredObject.obj_id
RegionObject
RegionObject.start
RegionObject.size
RegionObject.stored_objects
RegionObject.is_empty
RegionObject.end
RegionObject.internal_objects
RegionObject.includes()
RegionObject.split()
RegionObject.add_object()
RegionObject.set_object()
RegionObject.copy()
KeyedRegion
KeyedRegion.copy()
KeyedRegion.merge()
KeyedRegion.merge_to_top()
KeyedRegion.replace()
KeyedRegion.dbg_repr()
KeyedRegion.add_variable()
KeyedRegion.add_object()
KeyedRegion.set_variable()
KeyedRegion.set_object()
KeyedRegion.get_base_addr()
KeyedRegion.get_variables_by_offset()
KeyedRegion.get_objects_by_offset()
KeyedRegion.get_all_variables()
Serializable
Serializable.serialize_to_cmessage()
Serializable.serialize()
Serializable.parse_from_cmessage()
Serializable.parse()
VaultPickler
VaultPickler.persistent_id()
VaultUnpickler
VaultUnpickler.persistent_load()
Vault
Vault.keys()
Vault.is_stored()
Vault.load()
Vault.store()
Vault.dumps()
Vault.loads()
Vault.close()
VaultDict
VaultDict.is_stored()
VaultDict.keys()
VaultDir
VaultDir.keys()
VaultShelf
VaultShelf.close()
VaultDirShelf
VaultDirShelf.store()
VaultDirShelf.load()
VaultDirShelf.keys()
register_analysis()
AnalysisLogEntry
AnalysesHub
AnalysesHub.reload_analyses()
AnalysisFactory
AnalysisFactory.prep()
StatusBar
Analysis
Analysis.project
Analysis.kb
Analysis.errors
Analysis.named_errors
ForwardAnalysis
ForwardAnalysis.should_abort
ForwardAnalysis.graph
ForwardAnalysis.jobs
ForwardAnalysis.abort()
ForwardAnalysis.has_job()
ForwardAnalysis.downsize()
JobInfo
JobInfo.job
JobInfo.merged_jobs
JobInfo.widened_jobs
JobInfo.add_job()
CallGraphVisitor
CallGraphVisitor.successors()
CallGraphVisitor.predecessors()
CallGraphVisitor.sort_nodes()
FunctionGraphVisitor
FunctionGraphVisitor.successors()
FunctionGraphVisitor.predecessors()
FunctionGraphVisitor.sort_nodes()
FunctionGraphVisitor.back_edges()
GraphVisitor
GraphVisitor.successors()
GraphVisitor.predecessors()
GraphVisitor.sort_nodes()
GraphVisitor.back_edges()
GraphVisitor.nodes()
GraphVisitor.nodes_iter()
GraphVisitor.reset()
GraphVisitor.next_node()
GraphVisitor.all_successors()
GraphVisitor.revisit_successors()
GraphVisitor.revisit_node()
GraphVisitor.reached_fixedpoint()
LoopVisitor
LoopVisitor.successors()
LoopVisitor.predecessors()
LoopVisitor.sort_nodes()
SingleNodeGraphVisitor
SingleNodeGraphVisitor.node
SingleNodeGraphVisitor.node_returned
SingleNodeGraphVisitor.reset()
SingleNodeGraphVisitor.next_node()
SingleNodeGraphVisitor.successors()
SingleNodeGraphVisitor.predecessors()
SingleNodeGraphVisitor.sort_nodes()
BackwardSlice
BackwardSlice.dbg_repr()
BackwardSlice.dbg_repr_run()
BackwardSlice.annotated_cfg()
BackwardSlice.is_taint_related_to_ip()
BackwardSlice.is_taint_impacting_stack_pointers()
UnmatchedStatementsException
Difference
ConstantChange
differing_constants()
compare_statement_dict()
NormalizedBlock
NormalizedFunction
FunctionDiff
FunctionDiff.probably_identical
FunctionDiff.identical_blocks
FunctionDiff.differing_blocks
FunctionDiff.blocks_with_differing_constants
FunctionDiff.block_matches
FunctionDiff.unmatched_blocks
FunctionDiff.get_normalized_block()
FunctionDiff.block_similarity()
FunctionDiff.blocks_probably_identical()
BinDiff
BinDiff.functions_probably_identical()
BinDiff.identical_functions
BinDiff.differing_functions
BinDiff.differing_functions_with_consts()
BinDiff.differing_blocks
BinDiff.identical_blocks
BinDiff.blocks_with_differing_constants
BinDiff.unmatched_functions
BinDiff.get_function_diff()
BoyScout
CallSiteFact
UpdateArgumentsOption
UpdateArgumentsOption.DoNotUpdate
UpdateArgumentsOption.AlwaysUpdate
UpdateArgumentsOption.UpdateWhenCCHasNoArgs
DummyFunctionHandler
DummyFunctionHandler.handle_local_function()
CallingConventionAnalysis
CompleteCallingConventionsAnalysis
CompleteCallingConventionsAnalysis.work()
CompleteCallingConventionsAnalysis.prioritize_functions()
CompleteCallingConventionsAnalysis.function_needs_variable_recovery()
SootClassHierarchyError
NoConcreteDispatch
SootClassHierarchy
SootClassHierarchy.init_hierarchy()
SootClassHierarchy.has_super_class()
SootClassHierarchy.is_subclass_including()
SootClassHierarchy.is_subclass()
SootClassHierarchy.is_visible_method()
SootClassHierarchy.is_visible_class()
SootClassHierarchy.get_super_classes()
SootClassHierarchy.get_super_classes_including()
SootClassHierarchy.get_implementers()
SootClassHierarchy.get_sub_interfaces_including()
SootClassHierarchy.get_sub_interfaces()
SootClassHierarchy.get_sub_classes()
SootClassHierarchy.get_sub_classes_including()
SootClassHierarchy.resolve_abstract_dispatch()
SootClassHierarchy.resolve_concrete_dispatch()
SootClassHierarchy.resolve_special_dispatch()
SootClassHierarchy.resolve_invoke()
CFBlanketView
MemoryRegion
Unknown
CFBlanket
CFBlanket.regions
CFBlanket.floor_addr()
CFBlanket.floor_item()
CFBlanket.floor_items()
CFBlanket.ceiling_addr()
CFBlanket.ceiling_item()
CFBlanket.ceiling_items()
CFBlanket.add_obj()
CFBlanket.add_function()
CFBlanket.dbg_repr()
OutdatedError
CFG
CFGJob
CFGJob.block_id
CFGJob.is_syscall
PendingJob
CFGEmulated
CFGEmulated.tag
CFGEmulated.copy()
CFGEmulated.resume()
CFGEmulated.remove_cycles()
CFGEmulated.downsize()
CFGEmulated.unroll_loops()
CFGEmulated.force_unroll_loops()
CFGEmulated.immediate_dominators()
CFGEmulated.immediate_postdominators()
CFGEmulated.remove_fakerets()
CFGEmulated.get_topological_order()
CFGEmulated.get_subgraph()
CFGEmulated.get_function_subgraph()
CFGEmulated.context_sensitivity_level
CFGEmulated.graph
CFGEmulated.unresolvables
CFGEmulated.deadends
CFGBase
CFGBase.tag
CFGBase.model
CFGBase.normalized
CFGBase.context_sensitivity_level
CFGBase.functions
CFGBase.make_copy()
CFGBase.copy()
CFGBase.output()
CFGBase.generate_index()
CFGBase.get_predecessors()
CFGBase.get_successors()
CFGBase.get_successors_and_jumpkind()
CFGBase.get_all_predecessors()
CFGBase.get_all_successors()
CFGBase.get_node()
CFGBase.get_any_node()
CFGBase.get_all_nodes()
CFGBase.nodes()
CFGBase.nodes_iter()
CFGBase.get_loop_back_edges()
CFGBase.get_branching_nodes()
CFGBase.get_exit_stmt_idx()
CFGBase.graph
CFGBase.remove_edge()
CFGBase.is_thumb_addr()
CFGBase.normalize()
CFGBase.mark_function_alignments()
CFGBase.make_functions()
ContinueScanningNotification
ARMDecodingMode
ARMDecodingMode.ARM
ARMDecodingMode.THUMB
DecodingAssumption
DecodingAssumption.add_data_seg()
FunctionReturn
FunctionReturn.callee_func_addr
FunctionReturn.caller_func_addr
FunctionReturn.call_site_addr
FunctionReturn.return_to
PendingJobs
PendingJobs.add_job()
PendingJobs.pop_job()
PendingJobs.cleanup()
PendingJobs.add_returning_function()
PendingJobs.add_nonreturning_function()
PendingJobs.clear_updated_functions()
FunctionEdge
FunctionEdge.apply()
FunctionEdge.src_func_addr
FunctionEdge.stmt_idx
FunctionEdge.ins_addr
FunctionTransitionEdge
FunctionTransitionEdge.src_node
FunctionTransitionEdge.dst_addr
FunctionTransitionEdge.to_outside
FunctionTransitionEdge.dst_func_addr
FunctionTransitionEdge.is_exception
FunctionTransitionEdge.apply()
FunctionCallEdge
FunctionCallEdge.src_node
FunctionCallEdge.dst_addr
FunctionCallEdge.ret_addr
FunctionCallEdge.syscall
FunctionCallEdge.apply()
FunctionFakeRetEdge
FunctionFakeRetEdge.src_node
FunctionFakeRetEdge.dst_addr
FunctionFakeRetEdge.confirmed
FunctionFakeRetEdge.apply()
FunctionReturnEdge
FunctionReturnEdge.ret_from_addr
FunctionReturnEdge.ret_to_addr
FunctionReturnEdge.dst_func_addr
FunctionReturnEdge.apply()
CFGJob.JOB_TYPE_NORMAL
CFGJob.JOB_TYPE_FUNCTION_PROLOGUE
CFGJob.JOB_TYPE_COMPLETE_SCANNING
CFGJob.JOB_TYPE_IFUNC_HINTS
CFGJob.JOB_TYPE_DATAREF_HINTS
CFGJob.addr
CFGJob.func_addr
CFGJob.jumpkind
CFGJob.ret_target
CFGJob.last_addr
CFGJob.src_node
CFGJob.src_ins_addr
CFGJob.src_stmt_idx
CFGJob.returning_source
CFGJob.syscall
CFGJob.job_type
CFGJob.gp
CFGJob.add_function_edge()
CFGJob.apply_function_edges()
CFGFast
CFGFast.PRINTABLES
CFGFast.SPECIAL_THUNKS
CFGFast.tag
CFGFast.graph
CFGFast.memory_data
CFGFast.jump_tables
CFGFast.insn_addr_to_memory_data
CFGFast.do_full_xrefs()
CFGFast.copy()
CFGFast.output()
CFGFast.generate_code_cover()
CFGFast.indirect_jumps
CFGArchOptions
CFGArchOptions.OPTIONS
CFGArchOptions.arch
BlockID
BlockID.callsite_repr()
BlockID.new()
BlockID.func_addr
FunctionKey
FunctionKey.callsite_repr()
FunctionKey.new()
CFGJobBase
CFGJobBase.call_stack
CFGJobBase.call_stack_copy()
CFGJobBase.get_call_stack_suffix()
CFGJobBase.func_addr
CFGJobBase.current_stack_pointer
AMD64ElfGotResolver
AMD64ElfGotResolver.filter()
AMD64ElfGotResolver.resolve()
ArmElfFastResolver
ArmElfFastResolver.filter()
ArmElfFastResolver.resolve()
X86PeIatResolver
X86PeIatResolver.filter()
X86PeIatResolver.resolve()
OverwriteTmpValueCallback
OverwriteTmpValueCallback.overwrite_tmp_value()
MipsElfFastResolver
MipsElfFastResolver.filter()
MipsElfFastResolver.resolve()
X86ElfPicPltResolver
X86ElfPicPltResolver.filter()
X86ElfPicPltResolver.resolve()
default_indirect_jump_resolvers()
NotAJumpTableNotification
UninitReadMeta
UninitReadMeta.uninit_read_base
AddressTransferringTypes
AddressTransferringTypes.Assignment
AddressTransferringTypes.SignedExtension
AddressTransferringTypes.UnsignedExtension
AddressTransferringTypes.Truncation
AddressTransferringTypes.Or1
AddressTransferringTypes.ShiftLeft
JumpTargetBaseAddr
JumpTargetBaseAddr.base_addr_available
ConstantValueManager
ConstantValueManager.reg_read_callback()
JumpTableProcessorState
JumpTableProcessorState.arch
JumpTableProcessorState.is_jumptable
JumpTableProcessorState.stmts_to_instrument
JumpTableProcessorState.regs_to_initialize
RegOffsetAnnotation
RegOffsetAnnotation.reg_offset
RegOffsetAnnotation.relocatable
RegOffsetAnnotation.eliminatable
JumpTableProcessor
StoreHook
StoreHook.hook()
LoadHook
LoadHook.hook_before()
LoadHook.hook_after()
PutHook
PutHook.hook()
RegisterInitializerHook
RegisterInitializerHook.hook()
BSSHook
BSSHook.bss_memory_read_hook()
BSSHook.bss_memory_write_hook()
MIPSGPHook
MIPSGPHook.gp_register_read_hook()
MIPSGPHook.gp_register_write_hook()
JumpTableResolver
JumpTableResolver.filter()
JumpTableResolver.resolve()
exists_in_replacements()
ConstantResolver
ConstantResolver.filter()
ConstantResolver.resolve()
IndirectJumpResolver
IndirectJumpResolver.filter()
IndirectJumpResolver.resolve()
SCCPlaceholder
SCCPlaceholder.scc_id
CFGUtils
CFGUtils.find_merge_points()
CFGUtils.find_widening_points()
CFGUtils.reverse_post_order_sort_nodes()
CFGUtils.quasi_topological_sort_nodes()
CFGFastSoot
CFGFastSoot.normalize()
CFGFastSoot.make_functions()
CFGFastSoot.indirect_jumps
Segment
Segment.start
Segment.end
Segment.sort
Segment.size
Segment.copy()
SegmentList
SegmentList.search()
SegmentList.next_free_pos()
SegmentList.next_pos_with_sort_not_in()
SegmentList.is_occupied()
SegmentList.occupied_by_sort()
SegmentList.occupied_by()
SegmentList.occupy()
SegmentList.release()
SegmentList.copy()
SegmentList.occupied_size
SegmentList.has_blocks
CDG
CDG.graph
CDG.get_post_dominators()
CDG.get_dependants()
CDG.get_guardians()
DataGraphMeta
DataGraphMeta.get_irsb_at()
DataGraphMeta.pp()
CodeTags
CodeTags.HAS_XOR
CodeTags.HAS_BITSHIFTS
CodeTags.HAS_SQL
CodeTags.LARGE_SWITCH
CodeTagging
CodeTagging.analyze()
CodeTagging.has_xor()
CodeTagging.has_bitshifts()
CodeTagging.has_sql()
AngrDB
AngrDB.ALL_TABLES
AngrDB.VERSION
AngrDB.open_db()
AngrDB.session_scope()
AngrDB.save_info()
AngrDB.get_info()
AngrDB.update_dbinfo()
AngrDB.get_dbinfo()
AngrDB.db_compatible()
AngrDB.dump()
AngrDB.load()
DbInformation
DbInformation.id
DbInformation.key
DbInformation.value
DbObject
DbObject.id
DbObject.main_object
DbObject.path
DbObject.content
DbObject.backend
DbObject.backend_args
DbKnowledgeBase
DbKnowledgeBase.id
DbKnowledgeBase.name
DbKnowledgeBase.cfgs
DbKnowledgeBase.funcs
DbKnowledgeBase.xrefs
DbKnowledgeBase.comments
DbKnowledgeBase.labels
DbKnowledgeBase.var_collections
DbKnowledgeBase.structured_code
DbCFGModel
DbCFGModel.id
DbCFGModel.kb_id
DbCFGModel.kb
DbCFGModel.ident
DbCFGModel.blob
DbFunction
DbFunction.id
DbFunction.kb_id
DbFunction.kb
DbFunction.addr
DbFunction.blob
DbVariableCollection
DbVariableCollection.id
DbVariableCollection.kb_id
DbVariableCollection.kb
DbVariableCollection.func_addr
DbVariableCollection.ident
DbVariableCollection.blob
DbStructuredCode
DbStructuredCode.id
DbStructuredCode.kb_id
DbStructuredCode.kb
DbStructuredCode.func_addr
DbStructuredCode.flavor
DbStructuredCode.expr_comments
DbStructuredCode.stmt_comments
DbStructuredCode.configuration
DbStructuredCode.const_formats
DbStructuredCode.ite_exprs
DbXRefs
DbXRefs.id
DbXRefs.kb_id
DbXRefs.kb
DbXRefs.blob
DbComment
DbComment.id
DbComment.kb_id
DbComment.kb
DbComment.addr
DbComment.comment
DbComment.type
DbLabel
DbLabel.id
DbLabel.kb_id
DbLabel.kb
DbLabel.addr
DbLabel.name
CFGModelSerializer
CFGModelSerializer.dump()
CFGModelSerializer.load()
CommentsSerializer
CommentsSerializer.dump()
CommentsSerializer.load()
FunctionManagerSerializer
FunctionManagerSerializer.dump()
FunctionManagerSerializer.load()
KnowledgeBaseSerializer
KnowledgeBaseSerializer.dump()
KnowledgeBaseSerializer.load()
LabelsSerializer
LabelsSerializer.dump()
LabelsSerializer.load()
LoaderSerializer
LoaderSerializer.backend2name
LoaderSerializer.dump()
LoaderSerializer.load()
XRefsSerializer
XRefsSerializer.dump()
XRefsSerializer.load()
VariableManagerSerializer
VariableManagerSerializer.dump()
VariableManagerSerializer.dump_internal()
VariableManagerSerializer.load()
VariableManagerSerializer.load_internal()
StructuredCodeManagerSerializer
StructuredCodeManagerSerializer.dump()
StructuredCodeManagerSerializer.dict_strkey_to_intkey()
StructuredCodeManagerSerializer.load()
RecursiveStructurer
structurer_class_from_name()
DreamStructurer
DreamStructurer.NAME
EmptyBlockNotice
MultiNode
MultiNode.nodes
MultiNode.addr
MultiNode.idx
MultiNode.copy()
BaseNode
BaseNode.test_empty_node()
BaseNode.test_empty_condition_node()
BaseNode.addr
SequenceNode
SequenceNode.addr
SequenceNode.nodes
SequenceNode.add_node()
SequenceNode.insert_node()
SequenceNode.remove_node()
SequenceNode.node_position()
SequenceNode.copy()
SequenceNode.dbg_repr()
CodeNode
CodeNode.node
CodeNode.reaching_condition
CodeNode.addr
CodeNode.idx
CodeNode.dbg_repr()
CodeNode.copy()
ConditionNode
ConditionNode.addr
ConditionNode.reaching_condition
ConditionNode.condition
ConditionNode.true_node
ConditionNode.false_node
ConditionNode.dbg_repr()
ConditionNode.node
CascadingConditionNode
CascadingConditionNode.addr
CascadingConditionNode.condition_and_nodes
CascadingConditionNode.else_node
LoopNode
LoopNode.sort
LoopNode.condition
LoopNode.sequence_node
LoopNode.initializer
LoopNode.iterator
LoopNode.copy()
LoopNode.addr
LoopNode.continue_addr
BreakNode
BreakNode.addr
BreakNode.target
ContinueNode
ContinueNode.addr
ContinueNode.target
ConditionalBreakNode
ConditionalBreakNode.condition
SwitchCaseNode
SwitchCaseNode.switch_expr
SwitchCaseNode.cases
SwitchCaseNode.default_node
SwitchCaseNode.addr
IncompleteSwitchCaseNode
IncompleteSwitchCaseNode.addr
IncompleteSwitchCaseNode.head
IncompleteSwitchCaseNode.cases
IncompleteSwitchCaseHeadStatement
IncompleteSwitchCaseHeadStatement.switch_variable
IncompleteSwitchCaseHeadStatement.case_addrs
IncompleteSwitchCaseHeadStatement.addr
StructurerBase
StructurerBase.NAME
StructurerBase.replace_nodes()
StructurerBase.replace_node_in_node()
StructurerBase.is_a_jump_target()
GraphChangedNotification
PhoenixStructurer
PhoenixStructurer.NAME
HasCallNotification
AILBlockTempCollector
AILSimplifier
AILBlockWalkerBase
AILBlockWalkerBase.walk()
AILBlockWalkerBase.walk_statement()
AILBlockWalkerBase.walk_expression()
AILBlockWalker
RemoveNodeNotice
AILGraphWalker
AILGraphWalker.walk()
BlockSimplifier
CallSiteMaker
CCallRewriterBase
CCallRewriterBase.arch
CCallRewriterBase.result
AMD64CCallRewriter
BlockCache
BlockCache.prop
BlockCache.rd
Clinic
Clinic.block()
Clinic.dbg_repr()
Clinic.copy_graph()
Clinic.parse_variable_addr()
Clinic.remove_empty_nodes()
ConditionProcessor
ConditionProcessor.clear()
ConditionProcessor.recover_edge_condition()
ConditionProcessor.recover_edge_conditions()
ConditionProcessor.recover_reaching_conditions()
ConditionProcessor.remove_claripy_bool_asts()
ConditionProcessor.get_last_statement()
ConditionProcessor.get_last_statements()
ConditionProcessor.EXC_COUNTER
ConditionProcessor.convert_claripy_bool_ast()
ConditionProcessor.convert_claripy_bool_ast_core()
ConditionProcessor.claripy_ast_from_ail_condition()
ConditionProcessor.claripy_ast_to_sympy_expr()
ConditionProcessor.sympy_expr_to_claripy_ast()
ConditionProcessor.simplify_condition()
ConditionProcessor.simplify_condition_deprecated()
ConditionProcessor.create_jump_target_var()
DecompilationOption
O
get_structurer_option()
DecompilationCache
DecompilationCache.addr
DecompilationCache.type_constraints
DecompilationCache.var_to_typevar
DecompilationCache.codegen
DecompilationCache.clinic
DecompilationCache.ite_exprs
DecompilationCache.binop_operators
DecompilationCache.local_types
Decompiler
Decompiler.reflow_variable_types()
Decompiler.options_to_params()
EmptyNodeRemover
ExpressionNarrowingWalker
GraphRegion
GraphRegion.head
GraphRegion.graph
GraphRegion.successors
GraphRegion.graph_with_successors
GraphRegion.full_graph
GraphRegion.cyclic
GraphRegion.copy()
GraphRegion.recursive_copy()
GraphRegion.addr
GraphRegion.dbg_get_repr()
GraphRegion.dbg_print()
GraphRegion.replace_region()
GraphRegion.replace_region_with_region()
JumpTargetCollector
JumpTableEntryConditionRewriter
get_optimization_passes()
get_default_optimization_passes()
BlockWalker
BlockWalker.walk()
ConstantDereferencesSimplifier
ConstantDereferencesSimplifier.ARCHES
ConstantDereferencesSimplifier.PLATFORMS
ConstantDereferencesSimplifier.STAGE
ConstantDereferencesSimplifier.NAME
ConstantDereferencesSimplifier.DESCRIPTION
EagerReturnsSimplifier
EagerReturnsSimplifier.ARCHES
EagerReturnsSimplifier.PLATFORMS
EagerReturnsSimplifier.STAGE
EagerReturnsSimplifier.NAME
EagerReturnsSimplifier.DESCRIPTION
MultipleBlocksException
OptimizationPassStage
OptimizationPassStage.AFTER_AIL_GRAPH_CREATION
OptimizationPassStage.AFTER_SINGLE_BLOCK_SIMPLIFICATION
OptimizationPassStage.AFTER_GLOBAL_SIMPLIFICATION
OptimizationPassStage.AFTER_VARIABLE_RECOVERY
OptimizationPassStage.BEFORE_REGION_IDENTIFICATION
OptimizationPassStage.DURING_REGION_IDENTIFICATION
OptimizationPassStage.AFTER_STRUCTURING
BaseOptimizationPass
BaseOptimizationPass.ARCHES
BaseOptimizationPass.PLATFORMS
BaseOptimizationPass.STAGE
BaseOptimizationPass.STRUCTURING
BaseOptimizationPass.project
BaseOptimizationPass.kb
BaseOptimizationPass.analyze()
OptimizationPass
OptimizationPass.blocks_by_addr
OptimizationPass.blocks_by_addr_and_idx
SequenceOptimizationPass
SequenceOptimizationPass.ARCHES
SequenceOptimizationPass.PLATFORMS
SequenceOptimizationPass.STAGE
s2u()
StackCanarySimplifier
StackCanarySimplifier.ARCHES
StackCanarySimplifier.PLATFORMS
StackCanarySimplifier.STAGE
StackCanarySimplifier.NAME
StackCanarySimplifier.DESCRIPTION
BasePointerSaveSimplifier
BasePointerSaveSimplifier.ARCHES
BasePointerSaveSimplifier.PLATFORMS
BasePointerSaveSimplifier.STAGE
BasePointerSaveSimplifier.NAME
BasePointerSaveSimplifier.DESCRIPTION
DivSimplifierAILEngine
DivSimplifier
DivSimplifier.ARCHES
DivSimplifier.PLATFORMS
DivSimplifier.STAGE
DivSimplifier.NAME
DivSimplifier.DESCRIPTION
NodeFoundNotification
BlockLocator
BlockLocator.walk_node()
ExpressionReplacer
ITEExprConverter
ITEExprConverter.ARCHES
ITEExprConverter.PLATFORMS
ITEExprConverter.STAGE
ITEExprConverter.NAME
ITEExprConverter.DESCRIPTION
Case
Case.original_node
Case.node_type
Case.variable
Case.expr
Case.value
Case.target
Case.next_addr
LoweredSwitchSimplifier
LoweredSwitchSimplifier.ARCHES
LoweredSwitchSimplifier.PLATFORMS
LoweredSwitchSimplifier.STAGE
LoweredSwitchSimplifier.NAME
LoweredSwitchSimplifier.DESCRIPTION
LoweredSwitchSimplifier.STRUCTURING
LoweredSwitchSimplifier.restore_graph()
MultiSimplifierAILEngine
MultiSimplifier
MultiSimplifier.ARCHES
MultiSimplifier.PLATFORMS
MultiSimplifier.STAGE
MultiSimplifier.NAME
MultiSimplifier.DESCRIPTION
ModSimplifierAILEngine
ModSimplifier
ModSimplifier.ARCHES
ModSimplifier.PLATFORMS
ModSimplifier.STAGE
ModSimplifier.NAME
ModSimplifier.DESCRIPTION
SimplifierAILState
SimplifierAILState.copy()
SimplifierAILState.merge()
SimplifierAILState.store_variable()
SimplifierAILState.get_variable()
SimplifierAILState.remove_variable()
SimplifierAILState.filter_variables()
SimplifierAILEngine
SimplifierAILEngine.process()
OuterWalker
OpDescriptor
ExprOpSwapper
ExprOpSwapper.ARCHES
ExprOpSwapper.PLATFORMS
ExprOpSwapper.STAGE
ExprOpSwapper.NAME
ExprOpSwapper.DESCRIPTION
RegisterSaveAreaSimplifier
RegisterSaveAreaSimplifier.ARCHES
RegisterSaveAreaSimplifier.PLATFORMS
RegisterSaveAreaSimplifier.STAGE
RegisterSaveAreaSimplifier.NAME
RegisterSaveAreaSimplifier.DESCRIPTION
RetAddrSaveSimplifier
RetAddrSaveSimplifier.ARCHES
RetAddrSaveSimplifier.PLATFORMS
RetAddrSaveSimplifier.STAGE
RetAddrSaveSimplifier.NAME
RetAddrSaveSimplifier.DESCRIPTION
X86GccGetPcSimplifier
X86GccGetPcSimplifier.ARCHES
X86GccGetPcSimplifier.PLATFORMS
X86GccGetPcSimplifier.STAGE
X86GccGetPcSimplifier.NAME
X86GccGetPcSimplifier.DESCRIPTION
PeepholeOptimizationStmtBase
PeepholeOptimizationStmtBase.NAME
PeepholeOptimizationStmtBase.DESCRIPTION
PeepholeOptimizationStmtBase.stmt_classes
PeepholeOptimizationStmtBase.project
PeepholeOptimizationStmtBase.kb
PeepholeOptimizationStmtBase.func_addr
PeepholeOptimizationStmtBase.optimize()
PeepholeOptimizationExprBase
PeepholeOptimizationExprBase.NAME
PeepholeOptimizationExprBase.DESCRIPTION
PeepholeOptimizationExprBase.expr_classes
PeepholeOptimizationExprBase.project
PeepholeOptimizationExprBase.kb
PeepholeOptimizationExprBase.func_addr
PeepholeOptimizationExprBase.optimize()
PeepholeOptimizationExprBase.is_bool_expr()
RegionIdentifier
RegionIdentifier.slice_graph()
CascadingConditionTransformer
CascadingIfsRemover
LocationBase
StatementLocation
StatementLocation.block_addr
StatementLocation.block_idx
StatementLocation.stmt_idx
StatementLocation.copy()
ExpressionLocation
ExpressionLocation.block_addr
ExpressionLocation.block_idx
ExpressionLocation.stmt_idx
ExpressionLocation.expr_idx
ExpressionLocation.statement_location()
ConditionLocation
ConditionLocation.node_addr
ConditionLocation.case_idx
ConditionalBreakLocation
ConditionalBreakLocation.node_addr
ExpressionUseFinder
ExpressionUseFinder.uses
ExpressionUseFinder.has_load
ExpressionCounter
ExpressionFolder
StoreStatementFinder
StoreStatementFinder.has_store()
GotoSimplifier
IfSimplifier
IfElseFlattener
LoopSimplifier
NodeAddressFinder
RegionSimplifier
RegionWalker
RegionWalker.walk()
RegionWalker.walk_node()
RedundantLabelRemover
SequenceWalker
SequenceWalker.walk()
PositionMappingElement
PositionMappingElement.start
PositionMappingElement.length
PositionMappingElement.obj
PositionMapping
PositionMapping.DUPLICATION_CHECK
PositionMapping.items()
PositionMapping.add_mapping()
PositionMapping.get_node()
PositionMapping.get_element()
InstructionMappingElement
InstructionMappingElement.ins_addr
InstructionMappingElement.posmap_pos
InstructionMapping
InstructionMapping.items()
InstructionMapping.add_mapping()
InstructionMapping.get_nearest_pos()
BaseStructuredCodeGenerator
BaseStructuredCodeGenerator.reapply_options()
BaseStructuredCodeGenerator.regenerate_text()
BaseStructuredCodeGenerator.reload_variable_types()
unpack_typeref()
unpack_pointer()
unpack_array()
squash_array_reference()
qualifies_for_simple_cast()
qualifies_for_implicit_cast()
extract_terms()
is_machine_word_size_type()
guess_value_type()
CConstruct
CConstruct.codegen
CConstruct.c_repr()
CConstruct.c_repr_chunks()
CConstruct.indent_str()
CFunction
CFunction.addr
CFunction.name
CFunction.functy
CFunction.arg_list
CFunction.statements
CFunction.variables_in_use
CFunction.variable_manager
CFunction.demangled_name
CFunction.variable_list_repr_chunks()
CFunction.c_repr_chunks()
CStatement
CExpression
CExpression.collapsed
CExpression.type
CExpression.set_type()
CStatements
CStatements.statements
CStatements.c_repr_chunks()
CAILBlock
CAILBlock.block
CAILBlock.c_repr_chunks()
CLoop
CWhileLoop
CWhileLoop.condition
CWhileLoop.body
CWhileLoop.tags
CWhileLoop.c_repr_chunks()
CDoWhileLoop
CDoWhileLoop.condition
CDoWhileLoop.body
CDoWhileLoop.tags
CDoWhileLoop.c_repr_chunks()
CForLoop
CForLoop.initializer
CForLoop.condition
CForLoop.iterator
CForLoop.body
CForLoop.tags
CForLoop.c_repr_chunks()
CIfElse
CIfElse.condition_and_nodes
CIfElse.else_node
CIfElse.tags
CIfElse.c_repr_chunks()
CIfBreak
CIfBreak.condition
CIfBreak.tags
CIfBreak.c_repr_chunks()
CBreak
CBreak.tags
CBreak.c_repr_chunks()
CContinue
CContinue.tags
CContinue.c_repr_chunks()
CSwitchCase
CSwitchCase.switch
CSwitchCase.cases
CSwitchCase.default
CSwitchCase.tags
CSwitchCase.c_repr_chunks()
CAssignment
CAssignment.lhs
CAssignment.rhs
CAssignment.tags
CAssignment.c_repr_chunks()
CFunctionCall
CFunctionCall.callee_target
CFunctionCall.callee_func
CFunctionCall.args
CFunctionCall.returning
CFunctionCall.ret_expr
CFunctionCall.tags
CFunctionCall.is_expr
CFunctionCall.prototype
CFunctionCall.type
CFunctionCall.c_repr_chunks()
CReturn
CReturn.retval
CReturn.tags
CReturn.c_repr_chunks()
CGoto
CGoto.target
CGoto.target_idx
CGoto.tags
CGoto.c_repr_chunks()
CUnsupportedStatement
CUnsupportedStatement.stmt
CUnsupportedStatement.c_repr_chunks()
CLabel
CLabel.name
CLabel.ins_addr
CLabel.block_idx
CLabel.tags
CLabel.c_repr_chunks()
CStructField
CStructField.struct_type
CStructField.offset
CStructField.field
CStructField.tags
CStructField.type
CStructField.c_repr_chunks()
CFakeVariable
CFakeVariable.name
CFakeVariable.tags
CFakeVariable.type
CFakeVariable.c_repr_chunks()
CVariable
CVariable.variable
CVariable.unified_variable
CVariable.variable_type
CVariable.tags
CVariable.type
CVariable.c_repr_chunks()
CIndexedVariable
CIndexedVariable.type
CIndexedVariable.c_repr_chunks()
CIndexedVariable.collapsed
CVariableField
CVariableField.type
CVariableField.c_repr_chunks()
CVariableField.collapsed
CUnaryOp
CUnaryOp.op
CUnaryOp.operand
CUnaryOp.tags
CUnaryOp.type
CUnaryOp.c_repr_chunks()
CBinaryOp
CBinaryOp.op
CBinaryOp.lhs
CBinaryOp.rhs
CBinaryOp.tags
CBinaryOp.common_type
CBinaryOp.compute_common_type()
CBinaryOp.type
CBinaryOp.op_precedence
CBinaryOp.c_repr_chunks()
CTypeCast
CTypeCast.src_type
CTypeCast.dst_type
CTypeCast.expr
CTypeCast.tags
CTypeCast.type
CTypeCast.c_repr_chunks()
CConstant
CConstant.value
CConstant.reference_values
CConstant.tags
CConstant.fmt
CConstant.fmt_hex
CConstant.fmt_neg
CConstant.type
CConstant.str_to_c_str()
CConstant.c_repr_chunks()
CRegister
CRegister.reg
CRegister.tags
CRegister.type
CRegister.c_repr_chunks()
CITE
CITE.cond
CITE.iftrue
CITE.iffalse
CITE.tags
CITE.type
CITE.c_repr_chunks()
CDirtyExpression
CDirtyExpression.dirty
CDirtyExpression.type
CDirtyExpression.c_repr_chunks()
CClosingObject
CClosingObject.opening_symbol
CStructuredCodeGenerator
CStructuredCodeGenerator.reapply_options()
CStructuredCodeGenerator.cleanup()
CStructuredCodeGenerator.regenerate_text()
CStructuredCodeGenerator.RENDER_TYPE
CStructuredCodeGenerator.render_text()
CStructuredCodeGenerator.reload_variable_types()
CStructuredCodeGenerator.default_simtype_from_size()
CStructuredCodeWalker
CStructuredCodeWalker.handle()
CStructuredCodeWalker.handle_default()
CStructuredCodeWalker.handle_CFunction()
CStructuredCodeWalker.handle_CStatements()
CStructuredCodeWalker.handle_CWhileLoop()
CStructuredCodeWalker.handle_CDoWhileLoop()
CStructuredCodeWalker.handle_CForLoop()
CStructuredCodeWalker.handle_CIfElse()
CStructuredCodeWalker.handle_CIfBreak()
CStructuredCodeWalker.handle_CSwitchCase()
CStructuredCodeWalker.handle_CAssignment()
CStructuredCodeWalker.handle_CFunctionCall()
CStructuredCodeWalker.handle_CReturn()
CStructuredCodeWalker.handle_CGoto()
CStructuredCodeWalker.handle_CIndexedVariable()
CStructuredCodeWalker.handle_CVariableField()
CStructuredCodeWalker.handle_CUnaryOp()
CStructuredCodeWalker.handle_CBinaryOp()
CStructuredCodeWalker.handle_CTypeCast()
CStructuredCodeWalker.handle_CITE()
MakeTypecastsImplicit
MakeTypecastsImplicit.collapse()
MakeTypecastsImplicit.handle_CAssignment()
MakeTypecastsImplicit.handle_CFunctionCall()
MakeTypecastsImplicit.handle_CReturn()
MakeTypecastsImplicit.handle_CBinaryOp()
MakeTypecastsImplicit.handle_CTypeCast()
FieldReferenceCleanup
FieldReferenceCleanup.handle_CTypeCast()
PointerArithmeticFixer
PointerArithmeticFixer.handle_CBinaryOp()
StructuredCodeGenerator
ImportedLine
ImportSourceCode
ImportSourceCode.regenerate_text()
DummyStructuredCodeGenerator
remove_last_statement()
append_statement()
replace_last_statement()
extract_jump_targets()
switch_extract_cmp_bounds()
get_ast_subexprs()
insert_node()
to_ail_supergraph()
is_empty_node()
is_empty_or_label_only_node()
has_nonlabel_statements()
first_nonlabel_statement()
first_nonlabel_node()
AST
ProgramVariable
ProgramVariable.short_repr
DDGJob
LiveDefinitions.branch()
LiveDefinitions.add_def()
LiveDefinitions.add_defs()
LiveDefinitions.kill_def()
LiveDefinitions.lookup_defs()
LiveDefinitions.items()
LiveDefinitions.itervariables()
DDGViewItem
DDGViewItem.depends_on
DDGViewItem.dependents
DDGViewInstruction
DDGViewInstruction.definitions
DDGView
DDG
DDG.graph
DDG.data_graph
DDG.simplified_data_graph
DDG.ast_graph
DDG.pp()
DDG.dbg_repr()
DDG.get_predecessors()
DDG.function_dependency_graph()
DDG.data_sub_graph()
DDG.find_definitions()
DDG.find_consumers()
DDG.find_killers()
DDG.find_sources()
FlirtAnalysis
ArithmeticExpression
ArithmeticExpression.Add
ArithmeticExpression.Sub
ArithmeticExpression.Or
ArithmeticExpression.And
ArithmeticExpression.RShift
ArithmeticExpression.LShift
ArithmeticExpression.Mul
ArithmeticExpression.Xor
ArithmeticExpression.CONST_TYPES
ArithmeticExpression.op
ArithmeticExpression.operands
ArithmeticExpression.try_unpack_const()
RegisterOffset
RegisterOffset.reg
RegisterOffset.offset
RegisterOffset.bits
RegisterOffset.symbolic
SpOffset
SpOffset.is_base
SimEngineLightMixin
SimEngineLightMixin.sp_offset()
SimEngineLightMixin.extract_offset_to_sp()
SimEngineLight
SimEngineLight.process()
SimEngineLightVEXMixin
SimEngineLightAILMixin
SimEngineLightVEX
SimEngineLightAIL
Top
Top.size
Top.bits
Bottom
VEXVariable
VEXMemVar
VEXMemVar.addr
VEXMemVar.size
VEXReg
VEXReg.offset
VEXReg.size
VEXTmp
VEXTmp.tmp
CallExprFinder
SimEnginePropagatorBase
SimEnginePropagatorBase.process()
SimEnginePropagatorVEX
SimEnginePropagatorVEX.state
SimEnginePropagatorAIL
SimEnginePropagatorAIL.state
SimEnginePropagatorAIL.extract_offset_to_sp()
SimEnginePropagatorAIL.is_using_outdated_def()
SimEnginePropagatorAIL.has_tmpexpr()
OutdatedDefinitionWalker
TmpvarFinder
PropagatorState
PropagatorState.arch
PropagatorState.gpr_size
PropagatorState.project
PropagatorState.top()
PropagatorState.is_top()
PropagatorState.copy()
PropagatorState.merge()
PropagatorState.add_replacement()
PropagatorState.filter_replacements()
PropagatorVEXState
PropagatorVEXState.do_binops
PropagatorVEXState.copy()
PropagatorVEXState.merge()
PropagatorVEXState.store_local_variable()
PropagatorVEXState.load_local_variable()
PropagatorVEXState.store_register()
PropagatorVEXState.load_register()
Equivalence
Equivalence.codeloc
Equivalence.atom0
Equivalence.atom1
PropagatorAILState
PropagatorAILState.temp_expressions
PropagatorAILState.register_expressions
PropagatorAILState.block_initial_reg_values
PropagatorAILState.last_stack_store
PropagatorAILState.global_stores
PropagatorAILState.copy()
PropagatorAILState.is_const_or_register()
PropagatorAILState.merge()
PropagatorAILState.store_temp()
PropagatorAILState.load_tmp()
PropagatorAILState.store_register()
PropagatorAILState.store_stack_variable()
PropagatorAILState.load_register()
PropagatorAILState.load_stack_variable()
PropagatorAILState.add_replacement()
PropagatorAILState.filter_replacements()
PropagatorAILState.add_equivalence()
PropagatorAnalysis
Detail
Detail.size
Detail.expr
Detail.def_at
PropValue
PropValue.value
PropValue.offset_and_details
PropValue.needs_details
PropValue.one_expr
PropValue.one_defat
PropValue.to_label()
PropValue.with_details()
PropValue.all_exprs()
PropValue.non_zero_exprs()
PropValue.chop_value()
PropValue.value_and_labels()
PropValue.from_value_and_labels()
PropValue.from_value_and_details()
PropValue.extract_ail_expression()
PropValue.extend_ail_expression()
TopCheckerMixin
get_all_definitions()
CallSite
CallSite.caller_func_addr
CallSite.callee_func_addr
CallSite.block_addr
CallTrace
CallTrace.target
CallTrace.callsites
CallTrace.current_function_address()
CallTrace.step_back()
CallTrace.includes_function()
CallTrace.copy()
SimEngineRDVEX
SimEngineRDVEX.process()
ReachingDefinitionsAnalysis
ReachingDefinitionsAnalysis.observed_results
ReachingDefinitionsAnalysis.all_definitions
ReachingDefinitionsAnalysis.all_uses
ReachingDefinitionsAnalysis.one_result
ReachingDefinitionsAnalysis.dep_graph
ReachingDefinitionsAnalysis.visited_blocks
ReachingDefinitionsAnalysis.get_reaching_definitions()
ReachingDefinitionsAnalysis.get_reaching_definitions_by_insn()
ReachingDefinitionsAnalysis.get_reaching_definitions_by_node()
ReachingDefinitionsAnalysis.node_observe()
ReachingDefinitionsAnalysis.insn_observe()
ReachingDefinitionsAnalysis.subject
DepGraph
DepGraph.graph
DepGraph.add_node()
DepGraph.add_edge()
DepGraph.nodes()
DepGraph.predecessors()
DepGraph.transitive_closure()
DepGraph.contains_atom()
DepGraph.add_dependencies_for_concrete_pointers_of()
HeapAllocator
HeapAllocator.allocate()
HeapAllocator.free()
HeapAllocator.allocated_addresses
FunctionHandler
FunctionHandler.hook()
FunctionHandler.handle_local_function()
FunctionHandler.handle_unknown_call()
FunctionHandler.handle_indirect_call()
FunctionHandler.handle_external_function_fallback()
FunctionHandler.handle_external_function_symbol()
FunctionHandler.handle_external_function_name()
ReachingDefinitionsState
ReachingDefinitionsState.arch
ReachingDefinitionsState.analysis
ReachingDefinitionsState.live_definitions
ReachingDefinitionsState.all_definitions
ReachingDefinitionsState.heap_allocator
ReachingDefinitionsState.current_codeloc
ReachingDefinitionsState.codeloc_uses
ReachingDefinitionsState.top()
ReachingDefinitionsState.is_top()
ReachingDefinitionsState.heap_address()
ReachingDefinitionsState.is_heap_address()
ReachingDefinitionsState.get_heap_offset()
ReachingDefinitionsState.stack_address()
ReachingDefinitionsState.is_stack_address()
ReachingDefinitionsState.get_stack_offset()
ReachingDefinitionsState.annotate_with_def()
ReachingDefinitionsState.extract_defs()
ReachingDefinitionsState.tmp_definitions
ReachingDefinitionsState.tmp_uses
ReachingDefinitionsState.register_uses
ReachingDefinitionsState.register_definitions
ReachingDefinitionsState.stack_definitions
ReachingDefinitionsState.stack_uses
ReachingDefinitionsState.heap_definitions
ReachingDefinitionsState.heap_uses
ReachingDefinitionsState.memory_uses
ReachingDefinitionsState.memory_definitions
ReachingDefinitionsState.uses_by_codeloc
ReachingDefinitionsState.get_sp()
ReachingDefinitionsState.get_stack_address()
ReachingDefinitionsState.environment
ReachingDefinitionsState.dep_graph
ReachingDefinitionsState.copy()
ReachingDefinitionsState.merge()
ReachingDefinitionsState.kill_definitions()
ReachingDefinitionsState.kill_and_add_definition()
ReachingDefinitionsState.add_use()
ReachingDefinitionsState.add_use_by_def()
ReachingDefinitionsState.add_tmp_use()
ReachingDefinitionsState.add_tmp_use_by_defs()
ReachingDefinitionsState.add_register_use()
ReachingDefinitionsState.add_register_use_by_defs()
ReachingDefinitionsState.add_stack_use()
ReachingDefinitionsState.add_stack_use_by_defs()
ReachingDefinitionsState.add_heap_use()
ReachingDefinitionsState.add_heap_use_by_defs()
ReachingDefinitionsState.add_memory_use_by_def()
ReachingDefinitionsState.add_memory_use_by_defs()
ReachingDefinitionsState.get_definitions()
ReachingDefinitionsState.mark_guard()
ReachingDefinitionsState.mark_call()
ReachingDefinitionsState.mark_const()
SubjectType
SubjectType.Function
SubjectType.Block
SubjectType.CallTrace
Subject
Subject.cc
Subject.content
Subject.func_graph
Subject.type
Subject.visitor
SimEngineRDAIL
SimEngineRDAIL.arch
SimEngineRDAIL.state
SimEngineRDAIL.process()
SimEngineRDAIL.sp_offset()
ExternalCodeLocation
ExternalCodeLocation.call_string
CFGSliceToSink
CFGSliceToSink.transitions
CFGSliceToSink.transitions_as_tuples
CFGSliceToSink.target
CFGSliceToSink.nodes
CFGSliceToSink.entrypoints
CFGSliceToSink.add_transitions()
CFGSliceToSink.is_empty()
CFGSliceToSink.path_between()
slice_callgraph()
slice_cfg_graph()
slice_function_graph()
merge_transitions()
BottomType
Constant
Constant.val
Register.offset
Register.bitlen
OffsetVal
OffsetVal.reg
OffsetVal.offset
FrozenStackPointerTrackerState
FrozenStackPointerTrackerState.regs
FrozenStackPointerTrackerState.memory
FrozenStackPointerTrackerState.is_tracking_memory
FrozenStackPointerTrackerState.unfreeze()
FrozenStackPointerTrackerState.merge()
StackPointerTrackerState
StackPointerTrackerState.regs
StackPointerTrackerState.memory
StackPointerTrackerState.is_tracking_memory
StackPointerTrackerState.give_up_on_memory_tracking()
StackPointerTrackerState.store()
StackPointerTrackerState.load()
StackPointerTrackerState.get()
StackPointerTrackerState.put()
StackPointerTrackerState.copy()
StackPointerTrackerState.freeze()
StackPointerTrackerState.merge()
CouldNotResolveException
StackPointerTracker
StackPointerTracker.offset_after()
StackPointerTracker.offset_before()
StackPointerTracker.offset_after_block()
StackPointerTracker.offset_before_block()
StackPointerTracker.inconsistent
StackPointerTracker.inconsistent_for()
StackLocationAnnotation
StackLocationAnnotation.eliminatable
StackLocationAnnotation.relocatable
VariableSourceAnnotation
VariableSourceAnnotation.eliminatable
VariableSourceAnnotation.relocatable
VariableSourceAnnotation.from_state()
parse_stack_pointer()
VariableAnnotation
VariableAnnotation.addr_and_variables
VariableAnnotation.relocatable
VariableAnnotation.eliminatable
VariableRecoveryBase
VariableRecoveryBase.get_variable_definitions()
VariableRecoveryBase.initialize_dominance_frontiers()
VariableRecoveryStateBase
VariableRecoveryStateBase.top()
VariableRecoveryStateBase.is_top()
VariableRecoveryStateBase.extract_variables()
VariableRecoveryStateBase.annotate_with_variables()
VariableRecoveryStateBase.stack_address()
VariableRecoveryStateBase.is_stack_address()
VariableRecoveryStateBase.is_global_variable_address()
VariableRecoveryStateBase.get_stack_offset()
VariableRecoveryStateBase.stack_addr_from_offset()
VariableRecoveryStateBase.func_addr
VariableRecoveryStateBase.dominance_frontiers
VariableRecoveryStateBase.variable_manager
VariableRecoveryStateBase.variables
VariableRecoveryStateBase.get_variable_definitions()
VariableRecoveryStateBase.add_type_constraint()
VariableRecoveryStateBase.downsize()
VariableRecoveryStateBase.downsize_region()
VariableRecoveryFastState
VariableRecoveryFastState.copy()
VariableRecoveryFastState.merge()
VariableRecoveryFast
VariableRecoveryState
VariableRecoveryState.concrete_states
VariableRecoveryState.get_concrete_state()
VariableRecoveryState.copy()
VariableRecoveryState.register_callbacks()
VariableRecoveryState.merge()
VariableRecovery
SimEngineVRAIL
SimEngineVRAIL.state
SimEngineVRVEX
SimEngineVRVEX.state
RichR
RichR.data
RichR.variable
RichR.typevar
RichR.type_constraints
RichR.bits
SimEngineVRBase
SimEngineVRBase.state
SimEngineVRBase.func_addr
SimEngineVRBase.process()
TypeLifter
TypeLifter.bits
TypeLifter.lift()
RecursiveType
SimpleSolver
SimpleSolver.solve()
SimpleSolver.determine()
SimTypeTempRef
SimTypeTempRef.c_repr()
TypeTranslator
TypeTranslator.struct_name()
TypeTranslator.tc2simtype()
TypeTranslator.simtype2tc()
TypeTranslator.backpatch()
TypeConstraint
TypeConstraint.pp_str()
Equivalence.type_a
Equivalence.type_b
Equivalence.pp_str()
Existence
Existence.type_
Existence.pp_str()
Existence.replace()
Subtype
Subtype.super_type
Subtype.sub_type
Subtype.pp_str()
Subtype.replace()
Add
Add.type_0
Add.type_1
Add.type_r
Add.pp_str()
Add.replace()
Sub
Sub.type_0
Sub.type_1
Sub.type_r
Sub.pp_str()
Sub.replace()
TypeVariable
TypeVariable.idx
TypeVariable.pp_str()
DerivedTypeVariable
DerivedTypeVariable.type_var
DerivedTypeVariable.label
DerivedTypeVariable.pp_str()
DerivedTypeVariable.replace()
TypeVariables
TypeVariables.merge()
TypeVariables.copy()
TypeVariables.add_type_variable()
TypeVariables.get_type_variable()
TypeVariables.has_type_variable_for()
BaseLabel
FuncIn
FuncIn.loc
FuncOut
FuncOut.loc
Load
Store
AddN
AddN.n
SubN
SubN.n
ConvertTo
ConvertTo.to_bits
ReinterpretAs
ReinterpretAs.to_type
ReinterpretAs.to_bits
HasField
HasField.bits
HasField.offset
IsArray
Typehoon
Typehoon.update_variable_types()
Typehoon.pp_constraints()
Typehoon.pp_solution()
TypeConstant
TypeConstant.SIZE
TypeConstant.pp_str()
TypeConstant.size
TopType
Int
Int1
Int1.SIZE
Int8
Int8.SIZE
Int16
Int16.SIZE
Int32
Int32.SIZE
Int64
Int64.SIZE
Int128
Int128.SIZE
FloatBase
Float
Float.SIZE
Double
Double.SIZE
Pointer
Pointer.new()
Pointer32
Pointer64
Array
Struct
TypeVariableReference
int_type()
float_type()
FuncInfo
Identifier
Identifier.run()
Identifier.can_call_same_name()
Identifier.get_func_info()
Identifier.constrain_all_zero()
Identifier.identify_func()
Identifier.check_tests()
Identifier.map_callsites()
Identifier.do_trace()
Identifier.get_call_args()
Identifier.get_reg_name()
Identifier.find_stack_vars_x86()
Identifier.make_initial_state()
Identifier.make_symbolic_state()
Loop
LoopFinder
VariableTypes
VariableTypes.Iterator
VariableTypes.HasNext
VariableTypes.Next
AnnotatedVariable
AnnotatedVariable.variable
AnnotatedVariable.type
Condition
Condition.Equal
Condition.NotEqual
Condition.from_opstr()
SootBlockProcessor
SootBlockProcessor.process()
LoopAnalysisState
LoopAnalysisState.copy()
LoopAnalysisState.merge()
LoopAnalysisState.add_loop_exit_stmt()
LoopAnalysis
VeritestingError
CallTracingFilter
CallTracingFilter.whitelist
CallTracingFilter.cfg_cache
CallTracingFilter.filter()
Veritesting.cfg_cache
Veritesting.all_stashes
Veritesting.is_not_in_cfg()
Veritesting.is_overbound()
VFGJob
VFGJob.block_id
VFGJob.callstack_repr()
PendingJob.block_id
PendingJob.state
PendingJob.call_stack
PendingJob.src_block_id
PendingJob.src_stmt_idx
PendingJob.src_ins_addr
AnalysisTask
AnalysisTask.done
FunctionAnalysis
FunctionAnalysis.done
CallAnalysis
CallAnalysis.done
CallAnalysis.register_function_analysis()
CallAnalysis.add_final_job()
CallAnalysis.merge_jobs()
VFGNode
VFGNode.append_state()
VFG
VFG.function_initial_states
VFG.function_final_states
VFG.get_any_node()
VFG.get_all_nodes()
VFG.irsb_from_node()
VFG.copy