Ddisasm
1. Installation
2. Building Ddisasm
3. Command-Line options
4. Testing
5. Advanced Usage
Tutorials
AuxData Documentation
Building the documentation
Development Guidelines
Datalog API Reference
arch/arch
arch/arm32/arch_arm
arch/arm32/float_operations
arch/arm32/interrupt_operations
arch/arm32/jump_operations
arch/arm32/memory_access
arch/arm32/registers
arch/arm32_binaries
arch/arm32_code_inference
arch/arm32_code_inference_weights
arch/arm32_jump_tables
arch/arm32_symbolization
arch/arm64/arch_arm64
arch/arm64/float_operations
arch/arm64/interrupt_operations
arch/arm64/jump_operations
arch/arm64/memory_access
arch/arm64/registers
arch/arm64_symbolization
arch/arm_binaries
arch/intel/arch_x86
arch/intel/arch_x86_32
arch/intel/arch_x86_64
arch/intel/float_operations
arch/intel/interrupt_operations
arch/intel/jump_operations
arch/intel/memory_access
arch/intel/registers_common
arch/intel/registers_x86_32
arch/intel/registers_x86_64
arch/mips32/arch_mips32
arch/mips32/float_operations
arch/mips32/interrupt_operations
arch/mips32/jump_operations
arch/mips32/memory_access
arch/mips32/registers
arch/mips_symbolization
arch/x86_32_symbolization
arch/x86_64_symbolization
binary/elf/elf_binaries
binary/elf/exceptions
binary/elf/relocations
binary/elf/symbolization
binary/elf/tls
binary/pe/exceptions
binary/pe/jump_tables
binary/pe/pe_binaries
binary/pe/relocations
binary/pe/symbolization
basic_def_used
basic_function_inference
bitmasks
boundary_value_analysis
cfg
code_inference
code_inference_postprocess
code_inference_weights
data
data_access_analysis
debug_stats
empty_range
jump_tables
main
noreturn
pointer_reattribution
printable_chars
register_type_analysis
relative_jump_tables
self_diagnose
straight_line_def_used
symbolization
symbols
use_def_analysis
value_analysis
Ddisasm
<no title>
Datalog API Reference
arch/intel/memory_access
View page source
arch/intel/memory_access
This module provides implements architecture-independent load and store relations for x86.