amoco
latest
User Documentation
Installation
Getting started
Examples
Configuration
Advanced features
Application Programming Interface
Overview
The architecture package
The computer algebra system package
The system package
The static analysis package
The user interface package
code.py
cfg.py
db.py
config.py
logger.py
amoco
Docs
»
Index
Edit on GitHub
Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
X
|
Z
_
__map (cas.mapper.mapper attribute)
__Mem (cas.mapper.mapper attribute)
_is_raw (system.memory.datadiv attribute)
_map (system.memory.MemoryZone attribute)
_zones (system.memory.MemoryMap attribute)
A
a (cas.expressions.mem attribute)
add_edge() (cfg.graph method)
add_vertex() (cfg.graph method)
address (arch.core.instruction attribute)
(code.block attribute)
addtomap() (system.memory.MemoryZone method)
aliasing() (cas.mapper.mapper method)
Arch (class in config)
arch.core (module)
archs (system.macho.MachO attribute)
aslr (config.System attribute)
assemble (config.Arch attribute)
assume() (cas.mapper.mapper method)
attach() (cfg.link method)
AttributeCertificate (class in system.pe)
Aux_bf_ef (class in system.pe)
AuxFile (class in system.pe)
AuxFunctionDefinition (class in system.pe)
AuxSectionDefinition (class in system.pe)
AuxSymbolRecord (class in system.pe)
AuxWeakExternal (class in system.pe)
B
base (cas.expressions.ptr attribute)
basemap (system.elf.Elf attribute)
(system.macho.MachO attribute)
(system.pe.PE attribute)
bin (system.core.CoreExec attribute)
BinFormat (class in system.core)
bit() (cas.expressions.exp method)
BitField (class in system.structs)
block (class in code)
blocks (code.func attribute)
,
[1]
bytecode (config.Code attribute)
bytes (arch.core.icore attribute)
bytes() (cas.expressions.exp method)
(cas.expressions.mem method)
C
C (cfg.graph attribute)
c (cfg.node attribute)
call() (cas.expressions.ext method)
Cas (class in config)
cas.expressions (module)
cas.mapper (module)
cas.smt (module)
cast_z3_bool() (in module cas.smt)
cast_z3_bv() (in module cas.smt)
cfg (code.func attribute)
(module)
cfp (class in cas.expressions)
cfp_to_z3() (in module cas.smt)
checksec() (system.elf.Elf method)
(system.macho.MachO method)
clear() (cas.mapper.mapper method)
cli (config.UI attribute)
cmds (system.macho.MachO attribute)
CntField (class in system.structs)
Code (class in config)
code (module)
COFFHdr (class in system.pe)
COFFLineNumber (class in system.pe)
COFFRelocation (class in system.pe)
comment (system.structs.Field attribute)
comp (class in cas.expressions)
comp_to_z3() (in module cas.smt)
completekey (config.UI attribute)
complexity (config.Cas attribute)
complexity() (in module cas.expressions)
components() (cfg.graph method)
composer() (in module cas.expressions)
conds (cas.mapper.mapper attribute)
,
[1]
conf (in module config)
Config (class in config)
config (module)
connected() (cfg.graph method)
console (config.UI attribute)
Consts (class in system.structs)
CoreExec (class in system.core)
count (system.structs.Field attribute)
cpu (system.core.CoreExec attribute)
createdb() (in module db)
csi (cas.mapper.mapper attribute)
,
[1]
cst (class in cas.expressions)
cst_to_z3() (in module cas.smt)
cut() (cas.expressions.comp method)
(cfg.node method)
(code.block method)
(system.memory.datadiv method)
D
data (cfg.node attribute)
(system.memory.mo attribute)
(system.pe.PE attribute)
data() (system.elf.Elf method)
(system.macho.MachO method)
DataDirectory (class in system.pe)
datadiv (class in system.memory)
DataIO (class in system.core)
DB (class in config)
db (module)
DecodeError
DefineLoader (class in system.core)
DefineStub (class in system.core)
deg (cfg.link attribute)
deg() (cfg.node method)
deg_avg() (cfg.graph method)
deg_max() (cfg.graph method)
deg_min() (cfg.graph method)
delayed() (cas.mapper.mapper method)
DelayLoadDirectoryTable (class in system.pe)
depth() (cas.expressions.comp method)
(cas.expressions.exp method)
(cas.expressions.op method)
(cas.expressions.slc method)
(cas.expressions.top method)
(cas.expressions.tst method)
(cas.expressions.uop method)
(cas.expressions.vec method)
detach() (cfg.link method)
disassembler (class in arch.core)
disp (cas.expressions.ptr attribute)
DOS (system.pe.PE attribute)
DOSHdr (class in system.pe)
dumps() (cas.expressions.exp method)
dyld_info (system.macho.MachO attribute)
Dyn (class in system.elf)
dynamic (system.elf.Elf attribute)
(system.macho.MachO attribute)
dysymtab (system.macho.MachO attribute)
E
e (cfg.node attribute)
E() (cfg.graph method)
e_dir() (cfg.node method)
e_from() (cfg.node method)
e_in() (cfg.node method)
e_out() (cfg.node method)
e_to() (cfg.node method)
e_with() (cfg.node method)
Ehdr (class in system.elf)
(system.elf.Elf attribute)
Elf (class in system.elf)
ElfError
Emu (class in config)
endian (arch.core.disassembler attribute)
(cas.expressions.mem attribute)
entrypoints (system.elf.Elf attribute)
(system.macho.MachO attribute)
(system.pe.PE attribute)
eps() (cfg.graph method)
eqn1_helpers() (in module cas.expressions)
eqn2_helpers() (in module cas.expressions)
etype (cas.expressions.reg attribute)
(cas.expressions.slc attribute)
eval() (cas.expressions.cfp method)
(cas.expressions.comp method)
(cas.expressions.cst method)
(cas.expressions.exp method)
(cas.expressions.mem method)
(cas.expressions.op method)
(cas.expressions.ptr method)
(cas.expressions.reg method)
(cas.expressions.slc method)
(cas.expressions.tst method)
(cas.expressions.uop method)
(cas.expressions.vec method)
(cas.expressions.vecw method)
(cas.mapper.mapper method)
exp (class in cas.expressions)
ExportTable (class in system.pe)
ext (class in cas.expressions)
extend() (cas.expressions.exp method)
extract_offset() (in module cas.expressions)
F
fargs (arch.core.ispec attribute)
feedback (cfg.link attribute)
Field (class in system.structs)
filename (config.Log attribute)
(system.elf.Elf attribute)
(system.macho.MachO attribute)
(system.pe.PE attribute)
fix (arch.core.ispec attribute)
footer (config.Code attribute)
format (arch.core.ispec attribute)
format() (system.structs.CntField method)
(system.structs.Field method)
,
[1]
(system.structs.RawField method)
(system.structs.VarField method)
format_x64 (config.Arch attribute)
format_x86 (config.Arch attribute)
FormatError
Formatter (class in arch.core)
formatter (config.UI attribute)
formatter() (arch.core.instruction static method)
func (class in code)
function_starts (system.macho.MachO attribute)
functions (system.elf.Elf attribute)
(system.pe.PE attribute)
G
generation() (cas.mapper.mapper method)
get() (system.structs.Field method)
get_by_name() (cfg.graph method)
get_cstr() (system.core.CoreExec method)
get_int16() (system.core.CoreExec method)
get_int32() (system.core.CoreExec method)
get_int64() (system.core.CoreExec method)
get_int8() (system.core.CoreExec method)
get_uint16() (system.core.CoreExec method)
get_uint32() (system.core.CoreExec method)
get_uint64() (system.core.CoreExec method)
get_uint8() (system.core.CoreExec method)
get_vertices_count() (cfg.graph method)
get_with_address() (cfg.graph method)
getdata() (system.pe.PE method)
getfileoffset() (system.elf.Elf method)
(system.macho.MachO method)
(system.pe.PE method)
getinfo() (system.elf.Elf method)
(system.macho.MachO method)
getmemory() (cas.mapper.mapper method)
getpart() (system.memory.datadiv method)
getsection() (system.macho.MachO method)
getsize() (system.elf.Elf method)
(system.macho.MachO method)
getx() (system.core.CoreExec method)
geu() (in module cas.expressions)
graph (class in cfg)
graphics (config.UI attribute)
grep() (system.memory.MemoryMap method)
(system.memory.MemoryZone method)
H
has() (cas.mapper.mapper method)
header (config.Code attribute)
(system.macho.MachO attribute)
helper (config.Code attribute)
HEX (class in system.utils)
hist (config.Code attribute)
(config.Emu attribute)
history() (cas.mapper.mapper method)
hook (arch.core.ispec attribute)
I
iattr (arch.core.ispec attribute)
icore (class in arch.core)
IDENT (class in system.elf)
ImportTableEntry (class in system.pe)
inputs() (cas.mapper.mapper method)
instr (code.block attribute)
instruction (class in arch.core)
InstructionError
interact() (cas.mapper.mapper method)
iset (arch.core.disassembler attribute)
ispec (class in arch.core)
L
l (cas.expressions.op attribute)
(cas.expressions.tst attribute)
(cas.expressions.uop attribute)
la_symbol_ptr (system.macho.MachO attribute)
lab (class in cas.expressions)
lc_str (class in system.macho)
length (arch.core.icore attribute)
(cas.expressions.exp attribute)
(code.block attribute)
level (config.Log attribute)
Lib (class in system.elf)
link (class in cfg)
list() (code.tag class method)
load_program() (in module system.core)
LoadConfigTable (class in system.pe)
loads() (cas.expressions.exp method)
loadsegment() (system.elf.Elf method)
(system.macho.MachO method)
(system.pe.PE method)
locate() (system.memory.MemoryMap method)
(system.memory.MemoryZone method)
(system.pe.PE method)
locations_of() (in module cas.expressions)
Log (class in config)
(class in logger)
log (config.DB attribute)
logger (module)
ltu() (in module cas.expressions)
M
M() (cas.mapper.mapper method)
MachO (class in system.macho)
MachOError
MachoFormatter (class in system.macho)
main (module)
map (cfg.node attribute)
mapper (class in cas.mapper)
mask (arch.core.ispec attribute)
(cas.expressions.exp attribute)
maxlen (arch.core.disassembler attribute)
mem (class in cas.expressions)
mem_to_z3() (in module cas.smt)
MemoryMap (class in system.memory)
MemoryZone (class in system.memory)
memtrace (config.Cas attribute)
merge() (in module cas.mapper)
(system.memory.MemoryMap method)
mergeparts() (in module system.memory)
misc (arch.core.icore attribute)
mmap (cas.mapper.mapper attribute)
mnemonic (arch.core.icore attribute)
mo (class in system.memory)
model_to_mapper() (in module cas.smt)
mods (cas.expressions.mem attribute)
N
N() (cfg.graph method)
(cfg.node method)
name (cfg.link attribute)
(system.structs.Field attribute)
newvar() (in module cas.smt)
newzone() (system.memory.MemoryMap method)
nl_symbol_ptr (system.macho.MachO attribute)
noaliasing (config.Cas attribute)
node (class in cfg)
norm() (cfg.graph method)
Note (class in system.elf)
NT (system.pe.PE attribute)
nx (config.System attribute)
O
op (cas.expressions.op attribute)
(cas.expressions.uop attribute)
(class in cas.expressions)
op_to_z3() (in module cas.smt)
oper() (in module cas.expressions)
operands (arch.core.icore attribute)
Opt (system.pe.PE attribute)
OptionalHdr (class in system.pe)
order (system.structs.Field attribute)
order() (cfg.graph method)
OS (system.core.CoreExec attribute)
outputs() (cas.mapper.mapper method)
overlay (cfg.graph attribute)
P
pack() (system.structs.Field method)
padding (config.Code attribute)
pagesize (config.System attribute)
parts (cas.expressions.comp attribute)
path() (cfg.graph method)
PE (class in system.pe)
PEError
Phdr (class in system.elf)
(system.elf.Elf attribute)
pos (cas.expressions.slc attribute)
pp() (cas.expressions.exp method)
precond (arch.core.ispec attribute)
prop (cas.expressions.op attribute)
(cas.expressions.uop attribute)
ptr (class in cas.expressions)
ptr_to_z3() (in module cas.smt)
R
r (cas.expressions.op attribute)
(cas.expressions.tst attribute)
(cas.expressions.uop attribute)
R() (cas.mapper.mapper method)
range() (system.memory.MemoryZone method)
raw() (cas.expressions.slc method)
(code.block method)
RawExec (class in system.raw)
RawField (class in system.structs)
rcompose() (cas.mapper.mapper method)
read() (system.memory.MemoryMap method)
(system.memory.MemoryZone method)
(system.memory.mo method)
read_commands() (system.macho.MachO method)
read_data() (system.core.CoreExec method)
read_fat_arch() (system.macho.MachO method)
read_instruction() (system.core.CoreExec method)
read_program() (in module system.core)
readsection() (system.elf.Elf method)
(system.macho.MachO method)
readsegment() (system.elf.Elf method)
(system.macho.MachO method)
ref (cas.expressions.slc attribute)
reference() (system.memory.MemoryMap method)
reg (class in cas.expressions)
reg_to_z3() (in module cas.smt)
regtype (class in cas.expressions)
Rel (class in system.elf)
rel (system.memory.MemoryZone attribute)
Rela (class in system.elf)
remove_edge() (cfg.graph method)
remove_vertex() (cfg.graph method)
reset_log_file() (in module logger)
restruct() (cas.expressions.comp method)
(cas.mapper.mapper method)
(system.memory.MemoryMap method)
(system.memory.MemoryZone method)
rol() (in module cas.expressions)
ror() (in module cas.expressions)
rw() (cas.mapper.mapper method)
S
safe_update() (cas.mapper.mapper method)
SectionHdr (class in system.pe)
sections (system.pe.PE attribute)
seg (cas.expressions.ptr attribute)
segment (config.Code attribute)
Server (class in config)
set_debug() (in module logger)
set_formatter() (arch.core.instruction class method)
set_log_all() (in module logger)
set_quiet() (in module logger)
set_uarch() (arch.core.icore class method)
setlen() (system.memory.datadiv method)
setLevel() (logger.Log method)
setmemory() (cas.mapper.mapper method)
setpart() (system.memory.datadiv method)
setup() (arch.core.disassembler method)
setx() (system.core.CoreExec method)
sf (cas.expressions.exp attribute)
SFLG (class in system.macho)
Shdr (class in system.elf)
(system.elf.Elf attribute)
shellcode (class in system.core)
shift() (system.memory.MemoryZone method)
sig() (code.tag class method)
signed() (cas.expressions.exp method)
signextend() (cas.expressions.cst method)
(cas.expressions.exp method)
simplify() (cas.expressions.comp method)
(cas.expressions.exp method)
(cas.expressions.mem method)
(cas.expressions.op method)
(cas.expressions.ptr method)
(cas.expressions.slc method)
(cas.expressions.tst method)
(cas.expressions.uop method)
(cas.expressions.vec method)
size (arch.core.ispec attribute)
(cas.expressions.exp attribute)
size() (system.structs.Field method)
slc (class in cas.expressions)
slc_to_z3() (in module cas.smt)
slicer() (in module cas.expressions)
smask (cas.expressions.comp attribute)
spec (arch.core.icore attribute)
specs (arch.core.disassembler attribute)
SREC (class in system.utils)
stacksize (config.Emu attribute)
state (system.core.CoreExec attribute)
StdSymbolRecord (class in system.pe)
struct_arm_thread_state32 (class in system.macho)
struct_arm_thread_state64 (class in system.macho)
struct_build_tool_version (class in system.macho)
struct_build_version_command (class in system.macho)
struct_data_in_code_entry (class in system.macho)
struct_dyld_info_command (class in system.macho)
struct_dylib (class in system.macho)
struct_dylib_command (class in system.macho)
struct_dylib_module (class in system.macho)
struct_dylib_module_64 (class in system.macho)
struct_dylib_reference (class in system.macho)
struct_dylib_table_of_contents (class in system.macho)
struct_dylinker_command (class in system.macho)
struct_dysymtab_command (class in system.macho)
struct_encryption_info_command (class in system.macho)
struct_entry_point_command (class in system.macho)
struct_fat_arch (class in system.macho)
struct_fat_header (class in system.macho)
struct_fvmfile_command (class in system.macho)
struct_fvmlib (class in system.macho)
struct_fvmlib_command (class in system.macho)
struct_ident_command (class in system.macho)
struct_indirect_entry (class in system.macho)
struct_linkedit_data_command (class in system.macho)
struct_load_command (class in system.macho)
struct_mach_header (class in system.macho)
struct_mach_header_64 (class in system.macho)
struct_nlist (class in system.macho)
struct_nlist64 (class in system.macho)
struct_note_command (class in system.macho)
struct_prebind_cksum_command (class in system.macho)
struct_prebound_dylib_command (class in system.macho)
struct_relocation_info (class in system.macho)
struct_routines_command (class in system.macho)
struct_routines_command_64 (class in system.macho)
struct_rpath_command (class in system.macho)
struct_section (class in system.macho)
struct_section_64 (class in system.macho)
struct_segment_command (class in system.macho)
struct_segment_command_64 (class in system.macho)
struct_source_version_command (class in system.macho)
struct_sub_client_command (class in system.macho)
struct_sub_framework_command (class in system.macho)
struct_sub_library_command (class in system.macho)
struct_sub_umbrella_command (class in system.macho)
struct_symseg_command (class in system.macho)
struct_symtab_command (class in system.macho)
struct_thread_command (class in system.macho)
struct_twolevel_hints_command (class in system.macho)
struct_uuid_command (class in system.macho)
struct_version_min_command (class in system.macho)
struct_x86_thread_state32 (class in system.macho)
struct_x86_thread_state64 (class in system.macho)
StructCore (class in system.structs)
StructDefine (class in system.structs)
StructFactory() (in module system.structs)
StructFormatter (class in system.structs)
StructMaker (class in system.structs)
StructureError
support (cfg.graph attribute)
(code.block attribute)
(code.func attribute)
sym (class in cas.expressions)
Sym (class in system.elf)
symbols_of() (in module cas.expressions)
symtab (system.macho.MachO attribute)
System (class in config)
system.core (module)
system.elf (module)
system.macho (module)
system.memory (module)
system.pe (module)
system.raw (module)
system.structs (module)
system.utils (module)
T
tag (class in code)
tempfile (config.Log attribute)
timeout (config.Server attribute)
tls (system.pe.PE attribute)
TLSTable (class in system.pe)
to_smtlib() (cas.expressions.exp method)
(in module cas.smt)
to_sym() (cas.expressions.cst method)
token_address_fmt() (in module system.structs)
token_constant_fmt() (in module system.structs)
token_datetime_fmt() (in module system.structs)
token_default_fmt() (in module system.structs)
token_flag_fmt() (in module system.structs)
token_mask_fmt() (in module system.structs)
token_name_fmt() (in module system.structs)
toks() (arch.core.instruction method)
(cas.expressions.cfp method)
(cas.expressions.comp method)
(cas.expressions.cst method)
(cas.expressions.exp method)
(cas.expressions.ext method)
(cas.expressions.mem method)
(cas.expressions.op method)
(cas.expressions.ptr method)
(cas.expressions.reg method)
(cas.expressions.slc method)
(cas.expressions.tst method)
(cas.expressions.uop method)
(cas.expressions.vec method)
(cas.expressions.vecw method)
top (class in cas.expressions)
top_to_z3() (in module cas.smt)
trim() (system.memory.mo method)
tst (cas.expressions.tst attribute)
(class in cas.expressions)
tst_to_z3() (in module cas.smt)
twolevel_hint (class in system.macho)
type (arch.core.icore attribute)
(system.structs.Field attribute)
typename (system.structs.Field attribute)
typename() (arch.core.icore method)
U
UI (class in config)
unicode (config.Cas attribute)
UnionDefine (class in system.structs)
UnionFactory() (in module system.structs)
unpack() (system.structs.BitField method)
(system.structs.CntField method)
(system.structs.Field method)
,
[1]
(system.structs.RawField method)
(system.structs.VarField method)
unsigned() (cas.expressions.exp method)
uop (class in cas.expressions)
uop_to_z3() (in module cas.smt)
update() (cas.mapper.mapper method)
update_delayed() (cas.mapper.mapper method)
url (config.DB attribute)
use() (cas.mapper.mapper method)
usemmap() (cas.mapper.mapper method)
V
v (cfg.link attribute)
V() (cfg.graph method)
vaddr (system.memory.mo attribute)
val (system.memory.datadiv attribute)
value (cas.expressions.cst attribute)
VarField (class in system.structs)
variables (system.elf.Elf attribute)
(system.pe.PE attribute)
vec (class in cas.expressions)
vec_to_z3() (in module cas.smt)
vecw (class in cas.expressions)
view (cas.mapper.mapper attribute)
(cfg.node attribute)
,
[1]
(code.block attribute)
W
wbsz (config.Server attribute)
write() (system.memory.MemoryMap method)
(system.memory.MemoryZone method)
(system.memory.mo method)
X
x (cas.expressions.slc attribute)
Z
zeroextend() (cas.expressions.cst method)
(cas.expressions.exp method)
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.