Reference

• smallworld
  • analyze()
• smallworld.logging
  • setup_logging()
• smallworld.hinting
  • Hint
    • Hint.message
  • DynamicRegisterValueHint
    • DynamicRegisterValueHint.message
  • DynamicMemoryValueHint
    • DynamicMemoryValueHint.message
  • MemoryUnavailableHint
    • MemoryUnavailableHint.message
  • DynamicRegisterValueSummaryHint
    • DynamicRegisterValueSummaryHint.message
  • DynamicMemoryValueSummaryHint
    • DynamicMemoryValueSummaryHint.message
  • MemoryUnavailableSummaryHint
    • MemoryUnavailableSummaryHint.message
  • EmulationException
    • EmulationException.message
  • CoverageHint
    • CoverageHint.message
  • ControlFlowHint
    • ControlFlowHint.message
  • ReachableCodeHint
    • ReachableCodeHint.message
  • DefUseGraphHint
    • DefUseGraphHint.message
  • TraceExecutionHint
    • TraceExecutionHint.message
  • BranchesHint
    • BranchesHint.message
  • CoverageFrontierHint
    • CoverageFrontierHint.message
  • LoopHint
    • LoopHint.message
  • HintSubclassFilter
    • HintSubclassFilter.filter()
• smallworld.platforms
  • Platform
    • Platform.architecture
    • Platform.byteorder
  • Architecture
    • Architecture.X86_32
    • Architecture.X86_64
    • Architecture.X86_64_AVX512
    • Architecture.AARCH64
    • Architecture.M68K
    • Architecture.MIPS32
    • Architecture.MIPS64
    • Architecture.POWERPC32
    • Architecture.POWERPC64
    • Architecture.ARM_V5T
    • Architecture.ARM_V6M
    • Architecture.ARM_V6M_THUMB
    • Architecture.ARM_V7M
    • Architecture.ARM_V7R
    • Architecture.ARM_V7A
    • Architecture.LOONGARCH32
    • Architecture.LOONGARCH64
    • Architecture.RISCV64
    • Architecture.XTENSA
    • Architecture.MSP430
    • Architecture.MSP430X
  • Byteorder
    • Byteorder.BIG
    • Byteorder.LITTLE
  • ABI
    • ABI.SYSTEMV
    • ABI.CDECL
    • ABI.VECTORCALL
    • ABI.FASTCALL
    • ABI.NONE
  • RegisterDef
  • RegisterAliasDef
• smallworld.emulators
  • Emulator
    • Emulator.read_register_content()
    • Emulator.read_register_symbolic()
    • Emulator.read_register_type()
    • Emulator.read_register_label()
    • Emulator.read_register()
    • Emulator.write_register_content()
    • Emulator.write_register_type()
    • Emulator.write_register_label()
    • Emulator.write_register()
    • Emulator.read_memory_content()
    • Emulator.read_memory_symbolic()
    • Emulator.read_memory_type()
    • Emulator.read_memory_label()
    • Emulator.read_memory()
    • Emulator.map_memory()
    • Emulator.get_memory_map()
    • Emulator.write_memory_content()
    • Emulator.write_memory_type()
    • Emulator.write_memory_label()
    • Emulator.write_memory()
    • Emulator.write_code()
    • Emulator.get_bounds()
    • Emulator.add_bound()
    • Emulator.get_exit_points()
    • Emulator.add_exit_point()
    • Emulator.step_instruction()
    • Emulator.step_block()
    • Emulator.step()
    • Emulator.run()
    • Emulator.get_thumb()
    • Emulator.set_thumb()
    • Emulator.description
    • Emulator.name
    • Emulator.version
  • InstructionHookable
    • InstructionHookable.hook_instruction()
    • InstructionHookable.unhook_instruction()
    • InstructionHookable.unhook_instructions()
  • FunctionHookable
    • FunctionHookable.hook_function()
    • FunctionHookable.unhook_function()
  • MemoryReadHookable
    • MemoryReadHookable.hook_memory_read()
    • MemoryReadHookable.hook_memory_read_symbolic()
    • MemoryReadHookable.unhook_memory_read()
    • MemoryReadHookable.hook_memory_reads()
    • MemoryReadHookable.hook_memory_reads_symbolic()
    • MemoryReadHookable.unhook_memory_reads()
  • MemoryWriteHookable
    • MemoryWriteHookable.hook_memory_write()
    • MemoryWriteHookable.hook_memory_write_symbolic()
    • MemoryWriteHookable.unhook_memory_write()
    • MemoryWriteHookable.hook_memory_writes()
    • MemoryWriteHookable.hook_memory_writes_symbolic()
    • MemoryWriteHookable.unhook_memory_writes()
  • InterruptHookable
    • InterruptHookable.hook_interrupts()
    • InterruptHookable.unhook_interrupts()
    • InterruptHookable.hook_interrupt()
    • InterruptHookable.unhook_interrupt()
  • ConstrainedEmulator
    • ConstrainedEmulator.add_constraint()
    • ConstrainedEmulator.get_constraints()
    • ConstrainedEmulator.satisfiable()
    • ConstrainedEmulator.eval_atmost()
    • ConstrainedEmulator.eval_atleast()
  • UnicornEmulator
    • UnicornEmulator.read_register_content()
    • UnicornEmulator.read_register_label()
    • UnicornEmulator.read_register()
    • UnicornEmulator.write_register_content()
    • UnicornEmulator.write_register_label()
    • UnicornEmulator.write_register()
    • UnicornEmulator.read_memory_content()
    • UnicornEmulator.read_memory_label()
    • UnicornEmulator.read_memory()
    • UnicornEmulator.map_memory()
    • UnicornEmulator.get_memory_map()
    • UnicornEmulator.write_memory_content()
    • UnicornEmulator.write_memory_label()
    • UnicornEmulator.write_memory()
    • UnicornEmulator.hook_instruction()
    • UnicornEmulator.hook_function()
    • UnicornEmulator.get_thumb()
    • UnicornEmulator.set_thumb()
    • UnicornEmulator.step_instruction()
    • UnicornEmulator.step_block()
    • UnicornEmulator.run()
    • UnicornEmulator.add_bound()
    • UnicornEmulator.add_exit_point()
    • UnicornEmulator.get_bounds()
    • UnicornEmulator.get_exit_points()
    • UnicornEmulator.hook_interrupt()
    • UnicornEmulator.hook_interrupts()
    • UnicornEmulator.hook_memory_read()
    • UnicornEmulator.hook_memory_read_symbolic()
    • UnicornEmulator.hook_memory_reads()
    • UnicornEmulator.hook_memory_reads_symbolic()
    • UnicornEmulator.hook_memory_write()
    • UnicornEmulator.hook_memory_write_symbolic()
    • UnicornEmulator.hook_memory_writes()
    • UnicornEmulator.hook_memory_writes_symbolic()
    • UnicornEmulator.read_memory_symbolic()
    • UnicornEmulator.read_memory_type()
    • UnicornEmulator.read_register_symbolic()
    • UnicornEmulator.read_register_type()
    • UnicornEmulator.step()
    • UnicornEmulator.unhook_function()
    • UnicornEmulator.unhook_instruction()
    • UnicornEmulator.unhook_instructions()
    • UnicornEmulator.unhook_interrupt()
    • UnicornEmulator.unhook_interrupts()
    • UnicornEmulator.unhook_memory_read()
    • UnicornEmulator.unhook_memory_reads()
    • UnicornEmulator.unhook_memory_write()
    • UnicornEmulator.unhook_memory_writes()
    • UnicornEmulator.write_code()
    • UnicornEmulator.write_memory_type()
    • UnicornEmulator.write_register_type()
  • UnicornEmulationError
    • UnicornEmulationError.add_note()
    • UnicornEmulationError.with_traceback()
  • UnicornEmulationMemoryReadError
    • UnicornEmulationMemoryReadError.add_note()
    • UnicornEmulationMemoryReadError.with_traceback()
  • UnicornEmulationMemoryWriteError
    • UnicornEmulationMemoryWriteError.add_note()
    • UnicornEmulationMemoryWriteError.with_traceback()
  • UnicornEmulationExecutionError
    • UnicornEmulationExecutionError.add_note()
    • UnicornEmulationExecutionError.with_traceback()
  • AngrEmulator
    • AngrEmulator.initialize()
    • AngrEmulator.read_register_symbolic()
    • AngrEmulator.read_register_content()
    • AngrEmulator.read_register_type()
    • AngrEmulator.read_register_label()
    • AngrEmulator.write_register_content()
    • AngrEmulator.write_register_type()
    • AngrEmulator.write_register_label()
    • AngrEmulator.read_memory_content()
    • AngrEmulator.read_memory_symbolic()
    • AngrEmulator.read_memory_type()
    • AngrEmulator.read_memory_label()
    • AngrEmulator.map_memory()
    • AngrEmulator.get_memory_map()
    • AngrEmulator.write_memory_content()
    • AngrEmulator.write_memory_type()
    • AngrEmulator.write_memory_label()
    • AngrEmulator.write_code()
    • AngrEmulator.hook_instruction()
    • AngrEmulator.unhook_instruction()
    • AngrEmulator.unhook_instructions()
    • AngrEmulator.hook_function()
    • AngrEmulator.unhook_function()
    • AngrEmulator.hook_syscall()
    • AngrEmulator.unhook_syscall()
    • AngrEmulator.hook_syscalls()
    • AngrEmulator.unhook_syscalls()
    • AngrEmulator.hook_memory_read_symbolic()
    • AngrEmulator.hook_memory_read()
    • AngrEmulator.unhook_memory_read()
    • AngrEmulator.hook_memory_reads_symbolic()
    • AngrEmulator.hook_memory_reads()
    • AngrEmulator.unhook_memory_reads()
    • AngrEmulator.hook_memory_write_symbolic()
    • AngrEmulator.hook_memory_write()
    • AngrEmulator.unhook_memory_write()
    • AngrEmulator.hook_memory_writes_symbolic()
    • AngrEmulator.hook_memory_writes()
    • AngrEmulator.unhook_memory_writes()
    • AngrEmulator.step_instruction()
    • AngrEmulator.step_block()
    • AngrEmulator.step()
    • AngrEmulator.run()
    • AngrEmulator.visit_states()
    • AngrEmulator.enable_linear()
    • AngrEmulator.get_bounds()
    • AngrEmulator.add_bound()
    • AngrEmulator.get_exit_points()
    • AngrEmulator.add_exit_point()
    • AngrEmulator.add_constraint()
    • AngrEmulator.get_constraints()
    • AngrEmulator.satisfiable()
    • AngrEmulator.eval_atmost()
    • AngrEmulator.eval_atleast()
    • AngrEmulator.add_extension()
    • AngrEmulator.get_extension()
    • AngrEmulator.byteorder
    • AngrEmulator.get_thumb()
    • AngrEmulator.read_memory()
    • AngrEmulator.read_register()
    • AngrEmulator.set_thumb()
    • AngrEmulator.write_memory()
    • AngrEmulator.write_register()
  • PathTerminationSignal
    • PathTerminationSignal.add_note()
    • PathTerminationSignal.with_traceback()
  • PandaEmulator
    • PandaEmulator.ThreadState
    • PandaEmulator.PandaThread
      • PandaEmulator.PandaThread.run()
      • PandaEmulator.PandaThread.daemon
      • PandaEmulator.PandaThread.getName()
      • PandaEmulator.PandaThread.ident
      • PandaEmulator.PandaThread.isDaemon()
      • PandaEmulator.PandaThread.is_alive()
      • PandaEmulator.PandaThread.join()
      • PandaEmulator.PandaThread.name
      • PandaEmulator.PandaThread.native_id
      • PandaEmulator.PandaThread.setDaemon()
      • PandaEmulator.PandaThread.setName()
      • PandaEmulator.PandaThread.start()
    • PandaEmulator.read_register_content()
    • PandaEmulator.write_register_content()
    • PandaEmulator.read_memory_content()
    • PandaEmulator.map_memory()
    • PandaEmulator.get_memory_map()
    • PandaEmulator.write_memory_content()
    • PandaEmulator.run()
    • PandaEmulator.step_block()
    • PandaEmulator.add_bound()
    • PandaEmulator.add_exit_point()
    • PandaEmulator.get_bounds()
    • PandaEmulator.get_exit_points()
    • PandaEmulator.get_thumb()
    • PandaEmulator.hook_function()
    • PandaEmulator.hook_instruction()
    • PandaEmulator.hook_interrupt()
    • PandaEmulator.hook_interrupts()
    • PandaEmulator.hook_memory_read()
    • PandaEmulator.hook_memory_read_symbolic()
    • PandaEmulator.hook_memory_reads()
    • PandaEmulator.hook_memory_reads_symbolic()
    • PandaEmulator.hook_memory_write()
    • PandaEmulator.hook_memory_write_symbolic()
    • PandaEmulator.hook_memory_writes()
    • PandaEmulator.hook_memory_writes_symbolic()
    • PandaEmulator.read_memory()
    • PandaEmulator.read_memory_label()
    • PandaEmulator.read_memory_symbolic()
    • PandaEmulator.read_memory_type()
    • PandaEmulator.read_register()
    • PandaEmulator.read_register_label()
    • PandaEmulator.read_register_symbolic()
    • PandaEmulator.read_register_type()
    • PandaEmulator.set_thumb()
    • PandaEmulator.step()
    • PandaEmulator.step_instruction()
    • PandaEmulator.unhook_function()
    • PandaEmulator.unhook_instruction()
    • PandaEmulator.unhook_instructions()
    • PandaEmulator.unhook_interrupt()
    • PandaEmulator.unhook_interrupts()
    • PandaEmulator.unhook_memory_read()
    • PandaEmulator.unhook_memory_reads()
    • PandaEmulator.unhook_memory_write()
    • PandaEmulator.unhook_memory_writes()
    • PandaEmulator.write_code()
    • PandaEmulator.write_memory()
    • PandaEmulator.write_memory_label()
    • PandaEmulator.write_memory_type()
    • PandaEmulator.write_register()
    • PandaEmulator.write_register_label()
    • PandaEmulator.write_register_type()
  • GhidraEmulator()
• smallworld.state
  • Stateful
    • Stateful.extract()
    • Stateful.apply()
  • Value
    • Value.get_size()
    • Value.get_content()
    • Value.set_content()
    • Value.get_type()
    • Value.set_type()
    • Value.get_label()
    • Value.set_label()
    • Value.get()
    • Value.set()
    • Value.to_symbolic()
    • Value.to_bytes()
    • Value.from_ctypes()
  • IntegerValue
    • IntegerValue.get_size()
    • IntegerValue.to_bytes()
    • IntegerValue.from_ctypes()
    • IntegerValue.get()
    • IntegerValue.get_content()
    • IntegerValue.get_label()
    • IntegerValue.get_type()
    • IntegerValue.set()
    • IntegerValue.set_content()
    • IntegerValue.set_label()
    • IntegerValue.set_type()
    • IntegerValue.to_symbolic()
  • BytesValue
    • BytesValue.get_size()
    • BytesValue.to_bytes()
    • BytesValue.from_ctypes()
    • BytesValue.get()
    • BytesValue.get_content()
    • BytesValue.get_label()
    • BytesValue.get_type()
    • BytesValue.set()
    • BytesValue.set_content()
    • BytesValue.set_label()
    • BytesValue.set_type()
    • BytesValue.to_symbolic()
  • SymbolicValue
    • SymbolicValue.get_size()
    • SymbolicValue.to_bytes()
    • SymbolicValue.from_ctypes()
    • SymbolicValue.get()
    • SymbolicValue.get_content()
    • SymbolicValue.get_label()
    • SymbolicValue.get_type()
    • SymbolicValue.set()
    • SymbolicValue.set_content()
    • SymbolicValue.set_label()
    • SymbolicValue.set_type()
    • SymbolicValue.to_symbolic()
  • Register
    • Register.name
    • Register.size
    • Register.byteorder
    • Register.set_content()
    • Register.get_size()
    • Register.extract()
    • Register.apply()
    • Register.to_bytes()
    • Register.from_ctypes()
    • Register.get()
    • Register.get_content()
    • Register.get_label()
    • Register.get_type()
    • Register.set()
    • Register.set_label()
    • Register.set_type()
    • Register.to_symbolic()
  • RegisterAlias
    • RegisterAlias.reference
    • RegisterAlias.offset
    • RegisterAlias.get_content()
    • RegisterAlias.set_content()
    • RegisterAlias.get_type()
    • RegisterAlias.set_type()
    • RegisterAlias.get_label()
    • RegisterAlias.set_label()
    • RegisterAlias.extract()
    • RegisterAlias.apply()
    • RegisterAlias.from_ctypes()
    • RegisterAlias.get()
    • RegisterAlias.get_size()
    • RegisterAlias.set()
    • RegisterAlias.to_bytes()
    • RegisterAlias.to_symbolic()
    • RegisterAlias.name
    • RegisterAlias.byteorder
    • RegisterAlias.size
  • FixedRegister
    • FixedRegister.set_content()
    • FixedRegister.get_label()
    • FixedRegister.set_label()
    • FixedRegister.get_type()
    • FixedRegister.set_type()
    • FixedRegister.extract()
    • FixedRegister.apply()
    • FixedRegister.from_ctypes()
    • FixedRegister.get()
    • FixedRegister.get_content()
    • FixedRegister.get_size()
    • FixedRegister.set()
    • FixedRegister.to_bytes()
    • FixedRegister.to_symbolic()
    • FixedRegister.name
    • FixedRegister.byteorder
    • FixedRegister.size
  • Machine
    • Machine.add_exit_point()
    • Machine.get_exit_points()
    • Machine.add_bound()
    • Machine.get_bounds()
    • Machine.add_constraint()
    • Machine.get_constraints()
    • Machine.apply()
    • Machine.extract()
    • Machine.emulate()
    • Machine.add()
    • Machine.analyze()
    • Machine.clear()
    • Machine.discard()
    • Machine.isdisjoint()
    • Machine.pop()
    • Machine.remove()
    • Machine.step()
    • Machine.fuzz()
    • Machine.fuzz_with_file()
    • Machine.get_cpus()
    • Machine.get_platforms()
    • Machine.get_cpu()
    • Machine.get_platform()
    • Machine.read_memory()
• smallworld.state.cpus
  • CPU
    • CPU.get_platform()
    • CPU.for_platform()
    • CPU.add()
    • CPU.apply()
    • CPU.clear()
    • CPU.discard()
    • CPU.extract()
    • CPU.isdisjoint()
    • CPU.pop()
    • CPU.remove()
  • AArch64
    • AArch64.add()
    • AArch64.apply()
    • AArch64.clear()
    • AArch64.discard()
    • AArch64.extract()
    • AArch64.for_platform()
    • AArch64.get_platform()
    • AArch64.isdisjoint()
    • AArch64.pop()
    • AArch64.remove()
  • AMD64
    • AMD64.add()
    • AMD64.apply()
    • AMD64.clear()
    • AMD64.discard()
    • AMD64.extract()
    • AMD64.for_platform()
    • AMD64.get_platform()
    • AMD64.isdisjoint()
    • AMD64.pop()
    • AMD64.remove()
  • ARMv5T
    • ARMv5T.add()
    • ARMv5T.apply()
    • ARMv5T.clear()
    • ARMv5T.discard()
    • ARMv5T.extract()
    • ARMv5T.for_platform()
    • ARMv5T.get_platform()
    • ARMv5T.isdisjoint()
    • ARMv5T.pop()
    • ARMv5T.remove()
  • ARMv6M
    • ARMv6M.add()
    • ARMv6M.apply()
    • ARMv6M.clear()
    • ARMv6M.discard()
    • ARMv6M.extract()
    • ARMv6M.for_platform()
    • ARMv6M.get_platform()
    • ARMv6M.isdisjoint()
    • ARMv6M.pop()
    • ARMv6M.remove()
  • ARMv6MThumb
    • ARMv6MThumb.add()
    • ARMv6MThumb.apply()
    • ARMv6MThumb.clear()
    • ARMv6MThumb.discard()
    • ARMv6MThumb.extract()
    • ARMv6MThumb.for_platform()
    • ARMv6MThumb.get_platform()
    • ARMv6MThumb.isdisjoint()
    • ARMv6MThumb.pop()
    • ARMv6MThumb.remove()
  • ARMv7M
    • ARMv7M.add()
    • ARMv7M.apply()
    • ARMv7M.clear()
    • ARMv7M.discard()
    • ARMv7M.extract()
    • ARMv7M.for_platform()
    • ARMv7M.get_platform()
    • ARMv7M.isdisjoint()
    • ARMv7M.pop()
    • ARMv7M.remove()
  • ARMv7R
    • ARMv7R.add()
    • ARMv7R.apply()
    • ARMv7R.clear()
    • ARMv7R.discard()
    • ARMv7R.extract()
    • ARMv7R.for_platform()
    • ARMv7R.get_platform()
    • ARMv7R.isdisjoint()
    • ARMv7R.pop()
    • ARMv7R.remove()
  • ARMv7A
    • ARMv7A.add()
    • ARMv7A.apply()
    • ARMv7A.clear()
    • ARMv7A.discard()
    • ARMv7A.extract()
    • ARMv7A.for_platform()
    • ARMv7A.get_platform()
    • ARMv7A.isdisjoint()
    • ARMv7A.pop()
    • ARMv7A.remove()
  • I386
    • I386.add()
    • I386.apply()
    • I386.clear()
    • I386.discard()
    • I386.extract()
    • I386.for_platform()
    • I386.get_platform()
    • I386.isdisjoint()
    • I386.pop()
    • I386.remove()
  • LoongArch64
    • LoongArch64.add()
    • LoongArch64.apply()
    • LoongArch64.clear()
    • LoongArch64.discard()
    • LoongArch64.extract()
    • LoongArch64.for_platform()
    • LoongArch64.get_platform()
    • LoongArch64.isdisjoint()
    • LoongArch64.pop()
    • LoongArch64.remove()
  • M68K
    • M68K.add()
    • M68K.apply()
    • M68K.clear()
    • M68K.discard()
    • M68K.extract()
    • M68K.for_platform()
    • M68K.get_platform()
    • M68K.isdisjoint()
    • M68K.pop()
    • M68K.remove()
  • MIPS64EL
    • MIPS64EL.add()
    • MIPS64EL.apply()
    • MIPS64EL.clear()
    • MIPS64EL.discard()
    • MIPS64EL.extract()
    • MIPS64EL.for_platform()
    • MIPS64EL.get_platform()
    • MIPS64EL.isdisjoint()
    • MIPS64EL.pop()
    • MIPS64EL.remove()
  • MIPS64BE
    • MIPS64BE.add()
    • MIPS64BE.apply()
    • MIPS64BE.clear()
    • MIPS64BE.discard()
    • MIPS64BE.extract()
    • MIPS64BE.for_platform()
    • MIPS64BE.get_platform()
    • MIPS64BE.isdisjoint()
    • MIPS64BE.pop()
    • MIPS64BE.remove()
  • MIPSEL
    • MIPSEL.add()
    • MIPSEL.apply()
    • MIPSEL.clear()
    • MIPSEL.discard()
    • MIPSEL.extract()
    • MIPSEL.for_platform()
    • MIPSEL.get_platform()
    • MIPSEL.isdisjoint()
    • MIPSEL.pop()
    • MIPSEL.remove()
  • MIPSBE
    • MIPSBE.add()
    • MIPSBE.apply()
    • MIPSBE.clear()
    • MIPSBE.discard()
    • MIPSBE.extract()
    • MIPSBE.for_platform()
    • MIPSBE.get_platform()
    • MIPSBE.isdisjoint()
    • MIPSBE.pop()
    • MIPSBE.remove()
  • MSP430
    • MSP430.add()
    • MSP430.apply()
    • MSP430.clear()
    • MSP430.discard()
    • MSP430.extract()
    • MSP430.for_platform()
    • MSP430.get_platform()
    • MSP430.isdisjoint()
    • MSP430.pop()
    • MSP430.remove()
  • MSP430X
    • MSP430X.add()
    • MSP430X.apply()
    • MSP430X.clear()
    • MSP430X.discard()
    • MSP430X.extract()
    • MSP430X.for_platform()
    • MSP430X.get_platform()
    • MSP430X.isdisjoint()
    • MSP430X.pop()
    • MSP430X.remove()
  • PowerPC32
    • PowerPC32.add()
    • PowerPC32.apply()
    • PowerPC32.clear()
    • PowerPC32.discard()
    • PowerPC32.extract()
    • PowerPC32.for_platform()
    • PowerPC32.get_platform()
    • PowerPC32.isdisjoint()
    • PowerPC32.pop()
    • PowerPC32.remove()
  • PowerPC64
    • PowerPC64.add()
    • PowerPC64.apply()
    • PowerPC64.clear()
    • PowerPC64.discard()
    • PowerPC64.extract()
    • PowerPC64.for_platform()
    • PowerPC64.get_platform()
    • PowerPC64.isdisjoint()
    • PowerPC64.pop()
    • PowerPC64.remove()
  • RISCV64
    • RISCV64.add()
    • RISCV64.apply()
    • RISCV64.clear()
    • RISCV64.discard()
    • RISCV64.extract()
    • RISCV64.for_platform()
    • RISCV64.get_platform()
    • RISCV64.isdisjoint()
    • RISCV64.pop()
    • RISCV64.remove()
  • XTensaBE
    • XTensaBE.add()
    • XTensaBE.apply()
    • XTensaBE.clear()
    • XTensaBE.discard()
    • XTensaBE.extract()
    • XTensaBE.for_platform()
    • XTensaBE.get_platform()
    • XTensaBE.isdisjoint()
    • XTensaBE.pop()
    • XTensaBE.remove()
  • XTensaEL
    • XTensaEL.add()
    • XTensaEL.apply()
    • XTensaEL.clear()
    • XTensaEL.discard()
    • XTensaEL.extract()
    • XTensaEL.for_platform()
    • XTensaEL.get_platform()
    • XTensaEL.isdisjoint()
    • XTensaEL.pop()
    • XTensaEL.remove()
• smallworld.state.models
  • Hook
    • Hook.extract()
    • Hook.apply()
  • Breakpoint
    • Breakpoint.apply()
    • Breakpoint.extract()
  • PDBBreakpoint
    • PDBBreakpoint.apply()
    • PDBBreakpoint.extract()
  • PythonShellBreakpoint
    • PythonShellBreakpoint.apply()
    • PythonShellBreakpoint.extract()
  • Model
    • Model.name
    • Model.platform
    • Model.abi
    • Model.lookup()
    • Model.apply()
    • Model.model()
    • Model.get_return_address()
    • Model.run()
    • Model.extract()
  • MemoryMappedModel
    • MemoryMappedModel.on_read()
    • MemoryMappedModel.on_write()
    • MemoryMappedModel.extract()
    • MemoryMappedModel.apply()
• smallworld.state.memory
  • Memory
    • Memory.address
    • Memory.size
    • Memory.to_bytes()
    • Memory.get_capacity()
    • Memory.get_used()
    • Memory.apply()
    • Memory.extract()
    • Memory.write_bytes()
    • Memory.read_bytes()
    • Memory.write_int()
    • Memory.read_int()
  • RawMemory
    • RawMemory.from_bytes()
    • RawMemory.from_file()
    • RawMemory.apply()
    • RawMemory.extract()
    • RawMemory.from_filepath()
    • RawMemory.get_capacity()
    • RawMemory.get_used()
    • RawMemory.read_bytes()
    • RawMemory.read_int()
    • RawMemory.to_bytes()
    • RawMemory.write_bytes()
    • RawMemory.write_int()
    • RawMemory.address
    • RawMemory.size
  • ElfExecutable
    • ElfExecutable.size
    • ElfExecutable.entrypoint
    • ElfExecutable.get_symbol_value()
    • ElfExecutable.apply()
    • ElfExecutable.extract()
    • ElfExecutable.from_bndb()
    • ElfExecutable.from_bytes()
    • ElfExecutable.from_elf()
    • ElfExecutable.from_elf_core()
    • ElfExecutable.from_file()
    • ElfExecutable.from_filepath()
    • ElfExecutable.from_pe()
    • ElfExecutable.from_vxworks()
    • ElfExecutable.get_capacity()
    • ElfExecutable.get_symbol_size()
    • ElfExecutable.get_used()
    • ElfExecutable.read_bytes()
    • ElfExecutable.read_int()
    • ElfExecutable.to_bytes()
    • ElfExecutable.write_bytes()
    • ElfExecutable.write_int()
    • ElfExecutable.address
    • ElfExecutable.update_symbol_value()
    • ElfExecutable.link_elf()
  • ElfCoreFile
    • ElfCoreFile.apply()
    • ElfCoreFile.entrypoint
    • ElfCoreFile.extract()
    • ElfCoreFile.from_bndb()
    • ElfCoreFile.from_bytes()
    • ElfCoreFile.from_elf()
    • ElfCoreFile.from_elf_core()
    • ElfCoreFile.from_file()
    • ElfCoreFile.from_filepath()
    • ElfCoreFile.from_pe()
    • ElfCoreFile.from_vxworks()
    • ElfCoreFile.get_capacity()
    • ElfCoreFile.get_symbol_size()
    • ElfCoreFile.get_symbol_value()
    • ElfCoreFile.get_used()
    • ElfCoreFile.link_elf()
    • ElfCoreFile.read_bytes()
    • ElfCoreFile.read_int()
    • ElfCoreFile.to_bytes()
    • ElfCoreFile.update_symbol_value()
    • ElfCoreFile.write_bytes()
    • ElfCoreFile.write_int()
    • ElfCoreFile.address
    • ElfCoreFile.size
• smallworld.state.memory.stack
  • Stack
    • Stack.platform
    • Stack.get_platform()
    • Stack.get_pointer()
    • Stack.get_alignment()
    • Stack.push()
    • Stack.push_integer()
    • Stack.push_bytes()
    • Stack.push_ctype()
    • Stack.push_symbolic()
    • Stack.for_platform()
    • Stack.apply()
    • Stack.extract()
    • Stack.get_capacity()
    • Stack.get_used()
    • Stack.read_bytes()
    • Stack.read_int()
    • Stack.to_bytes()
    • Stack.write_bytes()
    • Stack.write_int()
    • Stack.address
    • Stack.size
  • AArch64Stack
    • AArch64Stack.get_alignment()
    • AArch64Stack.apply()
    • AArch64Stack.extract()
    • AArch64Stack.for_platform()
    • AArch64Stack.get_capacity()
    • AArch64Stack.get_platform()
    • AArch64Stack.get_pointer()
    • AArch64Stack.get_used()
    • AArch64Stack.push()
    • AArch64Stack.push_bytes()
    • AArch64Stack.push_ctype()
    • AArch64Stack.push_integer()
    • AArch64Stack.push_symbolic()
    • AArch64Stack.read_bytes()
    • AArch64Stack.read_int()
    • AArch64Stack.to_bytes()
    • AArch64Stack.write_bytes()
    • AArch64Stack.write_int()
    • AArch64Stack.address
    • AArch64Stack.size
  • AMD64Stack
    • AMD64Stack.get_alignment()
    • AMD64Stack.apply()
    • AMD64Stack.extract()
    • AMD64Stack.for_platform()
    • AMD64Stack.get_capacity()
    • AMD64Stack.get_platform()
    • AMD64Stack.get_pointer()
    • AMD64Stack.get_used()
    • AMD64Stack.push()
    • AMD64Stack.push_bytes()
    • AMD64Stack.push_ctype()
    • AMD64Stack.push_integer()
    • AMD64Stack.push_symbolic()
    • AMD64Stack.read_bytes()
    • AMD64Stack.read_int()
    • AMD64Stack.to_bytes()
    • AMD64Stack.write_bytes()
    • AMD64Stack.write_int()
    • AMD64Stack.address
    • AMD64Stack.size
  • ARMv5tStack
    • ARMv5tStack.apply()
    • ARMv5tStack.extract()
    • ARMv5tStack.for_platform()
    • ARMv5tStack.get_alignment()
    • ARMv5tStack.get_capacity()
    • ARMv5tStack.get_platform()
    • ARMv5tStack.get_pointer()
    • ARMv5tStack.get_used()
    • ARMv5tStack.push()
    • ARMv5tStack.push_bytes()
    • ARMv5tStack.push_ctype()
    • ARMv5tStack.push_integer()
    • ARMv5tStack.push_symbolic()
    • ARMv5tStack.read_bytes()
    • ARMv5tStack.read_int()
    • ARMv5tStack.to_bytes()
    • ARMv5tStack.write_bytes()
    • ARMv5tStack.write_int()
    • ARMv5tStack.address
    • ARMv5tStack.size
  • ARMv6mStack
    • ARMv6mStack.apply()
    • ARMv6mStack.extract()
    • ARMv6mStack.for_platform()
    • ARMv6mStack.get_alignment()
    • ARMv6mStack.get_capacity()
    • ARMv6mStack.get_platform()
    • ARMv6mStack.get_pointer()
    • ARMv6mStack.get_used()
    • ARMv6mStack.push()
    • ARMv6mStack.push_bytes()
    • ARMv6mStack.push_ctype()
    • ARMv6mStack.push_integer()
    • ARMv6mStack.push_symbolic()
    • ARMv6mStack.read_bytes()
    • ARMv6mStack.read_int()
    • ARMv6mStack.to_bytes()
    • ARMv6mStack.write_bytes()
    • ARMv6mStack.write_int()
    • ARMv6mStack.address
    • ARMv6mStack.size
  • ARMv7mStack
    • ARMv7mStack.apply()
    • ARMv7mStack.extract()
    • ARMv7mStack.for_platform()
    • ARMv7mStack.get_alignment()
    • ARMv7mStack.get_capacity()
    • ARMv7mStack.get_platform()
    • ARMv7mStack.get_pointer()
    • ARMv7mStack.get_used()
    • ARMv7mStack.push()
    • ARMv7mStack.push_bytes()
    • ARMv7mStack.push_ctype()
    • ARMv7mStack.push_integer()
    • ARMv7mStack.push_symbolic()
    • ARMv7mStack.read_bytes()
    • ARMv7mStack.read_int()
    • ARMv7mStack.to_bytes()
    • ARMv7mStack.write_bytes()
    • ARMv7mStack.write_int()
    • ARMv7mStack.address
    • ARMv7mStack.size
  • ARMv7rStack
    • ARMv7rStack.apply()
    • ARMv7rStack.extract()
    • ARMv7rStack.for_platform()
    • ARMv7rStack.get_alignment()
    • ARMv7rStack.get_capacity()
    • ARMv7rStack.get_platform()
    • ARMv7rStack.get_pointer()
    • ARMv7rStack.get_used()
    • ARMv7rStack.push()
    • ARMv7rStack.push_bytes()
    • ARMv7rStack.push_ctype()
    • ARMv7rStack.push_integer()
    • ARMv7rStack.push_symbolic()
    • ARMv7rStack.read_bytes()
    • ARMv7rStack.read_int()
    • ARMv7rStack.to_bytes()
    • ARMv7rStack.write_bytes()
    • ARMv7rStack.write_int()
    • ARMv7rStack.address
    • ARMv7rStack.size
  • ARMv7aStack
    • ARMv7aStack.apply()
    • ARMv7aStack.extract()
    • ARMv7aStack.for_platform()
    • ARMv7aStack.get_alignment()
    • ARMv7aStack.get_capacity()
    • ARMv7aStack.get_platform()
    • ARMv7aStack.get_pointer()
    • ARMv7aStack.get_used()
    • ARMv7aStack.push()
    • ARMv7aStack.push_bytes()
    • ARMv7aStack.push_ctype()
    • ARMv7aStack.push_integer()
    • ARMv7aStack.push_symbolic()
    • ARMv7aStack.read_bytes()
    • ARMv7aStack.read_int()
    • ARMv7aStack.to_bytes()
    • ARMv7aStack.write_bytes()
    • ARMv7aStack.write_int()
    • ARMv7aStack.address
    • ARMv7aStack.size
  • X86Stack
    • X86Stack.get_alignment()
    • X86Stack.apply()
    • X86Stack.extract()
    • X86Stack.for_platform()
    • X86Stack.get_capacity()
    • X86Stack.get_platform()
    • X86Stack.get_pointer()
    • X86Stack.get_used()
    • X86Stack.push()
    • X86Stack.push_bytes()
    • X86Stack.push_ctype()
    • X86Stack.push_integer()
    • X86Stack.push_symbolic()
    • X86Stack.read_bytes()
    • X86Stack.read_int()
    • X86Stack.to_bytes()
    • X86Stack.write_bytes()
    • X86Stack.write_int()
    • X86Stack.address
    • X86Stack.size
  • LoongArch64Stack
    • LoongArch64Stack.apply()
    • LoongArch64Stack.extract()
    • LoongArch64Stack.for_platform()
    • LoongArch64Stack.get_alignment()
    • LoongArch64Stack.get_capacity()
    • LoongArch64Stack.get_platform()
    • LoongArch64Stack.get_pointer()
    • LoongArch64Stack.get_used()
    • LoongArch64Stack.push()
    • LoongArch64Stack.push_bytes()
    • LoongArch64Stack.push_ctype()
    • LoongArch64Stack.push_integer()
    • LoongArch64Stack.push_symbolic()
    • LoongArch64Stack.read_bytes()
    • LoongArch64Stack.read_int()
    • LoongArch64Stack.to_bytes()
    • LoongArch64Stack.write_bytes()
    • LoongArch64Stack.write_int()
    • LoongArch64Stack.address
    • LoongArch64Stack.size
  • M68KStack
    • M68KStack.get_alignment()
    • M68KStack.apply()
    • M68KStack.extract()
    • M68KStack.for_platform()
    • M68KStack.get_capacity()
    • M68KStack.get_platform()
    • M68KStack.get_pointer()
    • M68KStack.get_used()
    • M68KStack.push()
    • M68KStack.push_bytes()
    • M68KStack.push_ctype()
    • M68KStack.push_integer()
    • M68KStack.push_symbolic()
    • M68KStack.read_bytes()
    • M68KStack.read_int()
    • M68KStack.to_bytes()
    • M68KStack.write_bytes()
    • M68KStack.write_int()
    • M68KStack.address
    • M68KStack.size
  • MIPSBEStack
    • MIPSBEStack.apply()
    • MIPSBEStack.extract()
    • MIPSBEStack.for_platform()
    • MIPSBEStack.get_alignment()
    • MIPSBEStack.get_capacity()
    • MIPSBEStack.get_platform()
    • MIPSBEStack.get_pointer()
    • MIPSBEStack.get_used()
    • MIPSBEStack.push()
    • MIPSBEStack.push_bytes()
    • MIPSBEStack.push_ctype()
    • MIPSBEStack.push_integer()
    • MIPSBEStack.push_symbolic()
    • MIPSBEStack.read_bytes()
    • MIPSBEStack.read_int()
    • MIPSBEStack.to_bytes()
    • MIPSBEStack.write_bytes()
    • MIPSBEStack.write_int()
    • MIPSBEStack.address
    • MIPSBEStack.size
  • MIPSELStack
    • MIPSELStack.apply()
    • MIPSELStack.extract()
    • MIPSELStack.for_platform()
    • MIPSELStack.get_alignment()
    • MIPSELStack.get_capacity()
    • MIPSELStack.get_platform()
    • MIPSELStack.get_pointer()
    • MIPSELStack.get_used()
    • MIPSELStack.push()
    • MIPSELStack.push_bytes()
    • MIPSELStack.push_ctype()
    • MIPSELStack.push_integer()
    • MIPSELStack.push_symbolic()
    • MIPSELStack.read_bytes()
    • MIPSELStack.read_int()
    • MIPSELStack.to_bytes()
    • MIPSELStack.write_bytes()
    • MIPSELStack.write_int()
    • MIPSELStack.address
    • MIPSELStack.size
  • MIPS64BEStack
    • MIPS64BEStack.apply()
    • MIPS64BEStack.extract()
    • MIPS64BEStack.for_platform()
    • MIPS64BEStack.get_alignment()
    • MIPS64BEStack.get_capacity()
    • MIPS64BEStack.get_platform()
    • MIPS64BEStack.get_pointer()
    • MIPS64BEStack.get_used()
    • MIPS64BEStack.push()
    • MIPS64BEStack.push_bytes()
    • MIPS64BEStack.push_ctype()
    • MIPS64BEStack.push_integer()
    • MIPS64BEStack.push_symbolic()
    • MIPS64BEStack.read_bytes()
    • MIPS64BEStack.read_int()
    • MIPS64BEStack.to_bytes()
    • MIPS64BEStack.write_bytes()
    • MIPS64BEStack.write_int()
    • MIPS64BEStack.address
    • MIPS64BEStack.size
  • MIPS64ELStack
    • MIPS64ELStack.apply()
    • MIPS64ELStack.extract()
    • MIPS64ELStack.for_platform()
    • MIPS64ELStack.get_alignment()
    • MIPS64ELStack.get_capacity()
    • MIPS64ELStack.get_platform()
    • MIPS64ELStack.get_pointer()
    • MIPS64ELStack.get_used()
    • MIPS64ELStack.push()
    • MIPS64ELStack.push_bytes()
    • MIPS64ELStack.push_ctype()
    • MIPS64ELStack.push_integer()
    • MIPS64ELStack.push_symbolic()
    • MIPS64ELStack.read_bytes()
    • MIPS64ELStack.read_int()
    • MIPS64ELStack.to_bytes()
    • MIPS64ELStack.write_bytes()
    • MIPS64ELStack.write_int()
    • MIPS64ELStack.address
    • MIPS64ELStack.size
  • MSP430Stack
    • MSP430Stack.get_alignment()
    • MSP430Stack.apply()
    • MSP430Stack.extract()
    • MSP430Stack.for_platform()
    • MSP430Stack.get_capacity()
    • MSP430Stack.get_platform()
    • MSP430Stack.get_pointer()
    • MSP430Stack.get_used()
    • MSP430Stack.push()
    • MSP430Stack.push_bytes()
    • MSP430Stack.push_ctype()
    • MSP430Stack.push_integer()
    • MSP430Stack.push_symbolic()
    • MSP430Stack.read_bytes()
    • MSP430Stack.read_int()
    • MSP430Stack.to_bytes()
    • MSP430Stack.write_bytes()
    • MSP430Stack.write_int()
    • MSP430Stack.address
    • MSP430Stack.size
  • PowerPC32Stack
    • PowerPC32Stack.apply()
    • PowerPC32Stack.extract()
    • PowerPC32Stack.for_platform()
    • PowerPC32Stack.get_alignment()
    • PowerPC32Stack.get_capacity()
    • PowerPC32Stack.get_platform()
    • PowerPC32Stack.get_pointer()
    • PowerPC32Stack.get_used()
    • PowerPC32Stack.push()
    • PowerPC32Stack.push_bytes()
    • PowerPC32Stack.push_ctype()
    • PowerPC32Stack.push_integer()
    • PowerPC32Stack.push_symbolic()
    • PowerPC32Stack.read_bytes()
    • PowerPC32Stack.read_int()
    • PowerPC32Stack.to_bytes()
    • PowerPC32Stack.write_bytes()
    • PowerPC32Stack.write_int()
    • PowerPC32Stack.address
    • PowerPC32Stack.size
  • PowerPC64Stack
    • PowerPC64Stack.apply()
    • PowerPC64Stack.extract()
    • PowerPC64Stack.for_platform()
    • PowerPC64Stack.get_alignment()
    • PowerPC64Stack.get_capacity()
    • PowerPC64Stack.get_platform()
    • PowerPC64Stack.get_pointer()
    • PowerPC64Stack.get_used()
    • PowerPC64Stack.push()
    • PowerPC64Stack.push_bytes()
    • PowerPC64Stack.push_ctype()
    • PowerPC64Stack.push_integer()
    • PowerPC64Stack.push_symbolic()
    • PowerPC64Stack.read_bytes()
    • PowerPC64Stack.read_int()
    • PowerPC64Stack.to_bytes()
    • PowerPC64Stack.write_bytes()
    • PowerPC64Stack.write_int()
    • PowerPC64Stack.address
    • PowerPC64Stack.size
  • RISCV64Stack
    • RISCV64Stack.get_alignment()
    • RISCV64Stack.apply()
    • RISCV64Stack.extract()
    • RISCV64Stack.for_platform()
    • RISCV64Stack.get_capacity()
    • RISCV64Stack.get_platform()
    • RISCV64Stack.get_pointer()
    • RISCV64Stack.get_used()
    • RISCV64Stack.push()
    • RISCV64Stack.push_bytes()
    • RISCV64Stack.push_ctype()
    • RISCV64Stack.push_integer()
    • RISCV64Stack.push_symbolic()
    • RISCV64Stack.read_bytes()
    • RISCV64Stack.read_int()
    • RISCV64Stack.to_bytes()
    • RISCV64Stack.write_bytes()
    • RISCV64Stack.write_int()
    • RISCV64Stack.address
    • RISCV64Stack.size
  • XTensaBEStack
    • XTensaBEStack.apply()
    • XTensaBEStack.extract()
    • XTensaBEStack.for_platform()
    • XTensaBEStack.get_alignment()
    • XTensaBEStack.get_capacity()
    • XTensaBEStack.get_platform()
    • XTensaBEStack.get_pointer()
    • XTensaBEStack.get_used()
    • XTensaBEStack.push()
    • XTensaBEStack.push_bytes()
    • XTensaBEStack.push_ctype()
    • XTensaBEStack.push_integer()
    • XTensaBEStack.push_symbolic()
    • XTensaBEStack.read_bytes()
    • XTensaBEStack.read_int()
    • XTensaBEStack.to_bytes()
    • XTensaBEStack.write_bytes()
    • XTensaBEStack.write_int()
    • XTensaBEStack.address
    • XTensaBEStack.size
  • XTensaELStack
    • XTensaELStack.apply()
    • XTensaELStack.extract()
    • XTensaELStack.for_platform()
    • XTensaELStack.get_alignment()
    • XTensaELStack.get_capacity()
    • XTensaELStack.get_platform()
    • XTensaELStack.get_pointer()
    • XTensaELStack.get_used()
    • XTensaELStack.push()
    • XTensaELStack.push_bytes()
    • XTensaELStack.push_ctype()
    • XTensaELStack.push_integer()
    • XTensaELStack.push_symbolic()
    • XTensaELStack.read_bytes()
    • XTensaELStack.read_int()
    • XTensaELStack.to_bytes()
    • XTensaELStack.write_bytes()
    • XTensaELStack.write_int()
    • XTensaELStack.address
    • XTensaELStack.size
• smallworld.state.memory.heap
  • Heap
    • Heap.allocate()
    • Heap.free()
    • Heap.allocate_integer()
    • Heap.allocate_bytes()
    • Heap.allocate_ctype()
    • Heap.apply()
    • Heap.extract()
    • Heap.get_capacity()
    • Heap.get_used()
    • Heap.read_bytes()
    • Heap.read_int()
    • Heap.to_bytes()
    • Heap.write_bytes()
    • Heap.write_int()
    • Heap.address
    • Heap.size
  • BumpAllocator
    • BumpAllocator.allocate()
    • BumpAllocator.free()
    • BumpAllocator.allocate_bytes()
    • BumpAllocator.allocate_ctype()
    • BumpAllocator.allocate_integer()
    • BumpAllocator.apply()
    • BumpAllocator.extract()
    • BumpAllocator.get_capacity()
    • BumpAllocator.get_used()
    • BumpAllocator.read_bytes()
    • BumpAllocator.read_int()
    • BumpAllocator.to_bytes()
    • BumpAllocator.write_bytes()
    • BumpAllocator.write_int()
    • BumpAllocator.address
    • BumpAllocator.size
  • CheckedBumpAllocator
    • CheckedBumpAllocator.get_used()
    • CheckedBumpAllocator.allocate()
    • CheckedBumpAllocator.free()
    • CheckedBumpAllocator.apply()
    • CheckedBumpAllocator.allocate_bytes()
    • CheckedBumpAllocator.allocate_ctype()
    • CheckedBumpAllocator.allocate_integer()
    • CheckedBumpAllocator.extract()
    • CheckedBumpAllocator.get_capacity()
    • CheckedBumpAllocator.read_bytes()
    • CheckedBumpAllocator.read_int()
    • CheckedBumpAllocator.to_bytes()
    • CheckedBumpAllocator.write_bytes()
    • CheckedBumpAllocator.write_int()
    • CheckedBumpAllocator.address
    • CheckedBumpAllocator.size
• smallworld.state.memory.code
  • Executable
    • Executable.entrypoint
    • Executable.apply()
    • Executable.extract()
    • Executable.from_elf()
    • Executable.from_elf_core()
    • Executable.from_pe()
    • Executable.from_vxworks()
    • Executable.from_bndb()
    • Executable.from_bytes()
    • Executable.from_file()
    • Executable.from_filepath()
    • Executable.get_capacity()
    • Executable.get_used()
    • Executable.read_bytes()
    • Executable.read_int()
    • Executable.to_bytes()
    • Executable.write_bytes()
    • Executable.write_int()
    • Executable.address
    • Executable.size
• smallworld.analyses
  • Analysis
    • Analysis.run()
    • Analysis.description
    • Analysis.name
    • Analysis.version
  • FieldDetectionAnalysis
    • FieldDetectionAnalysis.emulator
    • FieldDetectionAnalysis.execute()
    • FieldDetectionAnalysis.run()
  • ForcedFieldDetectionAnalysis
    • ForcedFieldDetectionAnalysis.emulator
    • ForcedFieldDetectionAnalysis.execute()
    • ForcedFieldDetectionAnalysis.run()
  • ForcedExecution
    • ForcedExecution.emulator
    • ForcedExecution.run()
    • ForcedExecution.execute()
  • CrashTriage
    • CrashTriage.run()
  • CrashTriagePrinter
    • CrashTriagePrinter.run()
  • CrashTriageVerification
    • CrashTriageVerification.run()
  • Colorizer
    • Colorizer.run()
  • ColorizerSummary
    • ColorizerSummary.run()
  • ColorizerReadWrite
    • ColorizerReadWrite.run()
  • TraceExecution
    • TraceExecution.run()
  • TraceElement
  • TraceRes
  • LoopDetection
    • LoopDetection.run()
  • CoverageFrontier
    • CoverageFrontier.run()
• smallworld.exceptions
  • Error
    • Error.add_note()
    • Error.with_traceback()
  • ConfigurationError
    • ConfigurationError.add_note()
    • ConfigurationError.with_traceback()
  • EmulationError
    • EmulationError.add_note()
    • EmulationError.with_traceback()
  • EmulationStop
    • EmulationStop.add_note()
    • EmulationStop.with_traceback()
  • EmulationBounds
    • EmulationBounds.add_note()
    • EmulationBounds.with_traceback()
  • EmulationExitpoint
    • EmulationExitpoint.add_note()
    • EmulationExitpoint.with_traceback()
  • EmulationException
    • EmulationException.add_note()
    • EmulationException.with_traceback()
  • ImpreciseModelError
    • ImpreciseModelError.add_note()
    • ImpreciseModelError.with_traceback()
  • SymbolicValueError
    • SymbolicValueError.add_note()
    • SymbolicValueError.with_traceback()
  • UnsatError
    • UnsatError.add_note()
    • UnsatError.with_traceback()
  • EmulationFailure
    • EmulationFailure.add_note()
    • EmulationFailure.with_traceback()
  • EmulationExecFailure
    • EmulationExecFailure.add_note()
    • EmulationExecFailure.with_traceback()
  • EmulationExecInvalidFailure
    • EmulationExecInvalidFailure.add_note()
    • EmulationExecInvalidFailure.with_traceback()
  • EmulationExecExceptionFailure
    • EmulationExecExceptionFailure.add_note()
    • EmulationExecExceptionFailure.with_traceback()
  • EmulationMemoryFailure
    • EmulationMemoryFailure.add_note()
    • EmulationMemoryFailure.with_traceback()
  • EmulationReadFailure
    • EmulationReadFailure.add_note()
    • EmulationReadFailure.with_traceback()
  • EmulationReadUnmappedFailure
    • EmulationReadUnmappedFailure.add_note()
    • EmulationReadUnmappedFailure.with_traceback()
  • EmulationReadProtectedFailure
    • EmulationReadProtectedFailure.add_note()
    • EmulationReadProtectedFailure.with_traceback()
  • EmulationReadUnalignedFailure
    • EmulationReadUnalignedFailure.add_note()
    • EmulationReadUnalignedFailure.with_traceback()
  • EmulationWriteFailure
    • EmulationWriteFailure.add_note()
    • EmulationWriteFailure.with_traceback()
  • EmulationWriteUnmappedFailure
    • EmulationWriteUnmappedFailure.add_note()
    • EmulationWriteUnmappedFailure.with_traceback()
  • EmulationWriteProtectedFailure
    • EmulationWriteProtectedFailure.add_note()
    • EmulationWriteProtectedFailure.with_traceback()
  • EmulationWriteUnalignedFailure
    • EmulationWriteUnalignedFailure.add_note()
    • EmulationWriteUnalignedFailure.with_traceback()
  • EmulationFetchFailure
    • EmulationFetchFailure.add_note()
    • EmulationFetchFailure.with_traceback()
  • EmulationFetchUnmappedFailure
    • EmulationFetchUnmappedFailure.add_note()
    • EmulationFetchUnmappedFailure.with_traceback()
  • EmulationFetchProtectedFailure
    • EmulationFetchProtectedFailure.add_note()
    • EmulationFetchProtectedFailure.with_traceback()
  • EmulationFetchUnalignedFailure
    • EmulationFetchUnalignedFailure.add_note()
    • EmulationFetchUnalignedFailure.with_traceback()
  • UnsupportedModelError
    • UnsupportedModelError.add_note()
    • UnsupportedModelError.with_traceback()
  • UnsupportedRegisterError
    • UnsupportedRegisterError.add_note()
    • UnsupportedRegisterError.with_traceback()
  • AnalysisError
    • AnalysisError.add_note()
    • AnalysisError.with_traceback()
• smallworld.extern.ctypes
  • TypedPointer
    • TypedPointer.type
    • TypedPointer.from_param()
    • TypedPointer.value
  • create_typed_pointer()