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