Ai
Generic abstract interpretation definitions
Ai_options
Command line options for abstract interpretation
Ai_utils
Utilities for abstract interpretation
Backward_analysis
Backward analysis for better precision
Basic_types
Definitions of non-DBA types
Bigint
Big integer wrapper for BINSEC
Binsec_utils
General BINSEC related utilities
Bitvector
Bitvector representation
Call_convention
Check_trace
Concrete_eval
Concrete_state
Conf_exploration
Dba_io
Parsing/Serializing DBA from/to DBA piqi data structure
Dba_printer
Pretty-printing modules & functions for DBA
Dba_to_smtlib
Convert some DBA structure to Smtlib
Dba_types
Modules & types related to DBA types
Dba_utils
Shelter for functions over DBA
Dba_visitor
Decode_utils
Disasm
Disassemblers & utilities
Disasm_options
Command-line options specific to disassembly
Domain_common
Dse
Errors
Constructors
File_utils
Extra functions over files
Formula
SMT Formula manipulation module
Formula_optim
Formula optimizations
Formula_type
alias to string Map
Formula_utils
High level formula manipulation
High_level_predicate
Infos
Abstract representation of configuration data for static analyses
Instruction_stubs
Instruction stubs (DSE)
Interval
Interval sub-domains
Kset
Sets of values of cardinality K
Libcall_stubs
Libcall_types
Libcall_utils
Libc_stubs
Libcall stubs
List_utils
Extra functions over lists
Logger
Logging/output facilities
Nonrelational
Normalize_instructions
Normalize_predicate
Options
General command-line options (globals vars)
Parameters
Functors for command-line parameters declarations
Parse_helpers
General helper module for construction of Dba elements
Parse_utils
Path_pred_env
DSE Environment
Path_predicate
Policy_engine
Print_utils
Extra pretty-printing functions
Qed
not exposed class inheriting smt_inplace_visitor
Range
Extended intervals with regions
Reduced_product
Region_bitvector
Bitvectors with low-level regions
Server
Server handling remote requests
Server_callback
Server callbacks handling the different kind of requests
Sigs
Generic signatures used throughout BINSEC
Simplification_dba
Simplification_dba_block
Intra-block simplifications
Simplification_dba_instr
Simplification_dba_prog
Simplification_dba_utils
Generic utility functions for DBA simplification
Simulate
Symbolic simulation of DBA with low-level regions
Simulate_options
Options for simulation
Simulate_utils
Smt_bitvectors
Types for SMT-LIB bitvectors
Smtlib2
Smtlib2 data representation (AST)
Smtlib2print
Smtlib2 printer
Smt_model
Internal model representation
Solver
Interface with SMT solvers
Static_options
Common command-line options for static analyses
Static_utils
Common functions for static analyses
String_utils
Extra functions over strings
Syscall_stubs
Syscall stubs (DSE)
Taint
Taint domain
Trace_loader
Load traces generated by Pinsec
Trace_postprocessing
Trace postprocessing operations
Trace_type
Trace type definition
Trace_visitor
Visitor for traces
Uaf_detection
Union_find
Union-find for equality domain
Utils
Generic utilities
Windows_stubs
Binpatcher
Definitions for binary patcher
Binpatcher_options
Options for binary patching
ArmToDba
Disasm_cfg
Disasm_core
Core functionalities for disassembly
Disasm_dyn_infos_callrets
Disasm_dyn_infos
Disasm_types
Mnemonic
Lreader
Basic stream reader
Predba
First IL before producing DBA
X86decoder
Decode a function from a reader
X86Instruction
Interface for X86 instructions
X86pp
Pretty-printers for X86
X86toDba
Lifter from X86 to DBA
X86Types
Register sets
X86Util
Default values are: address_mode: A32, address_base: None, address_index: None
Worklist
Worklist / Work queue implementation
Machine
Abstract representation of hardware architecture
Colors
General color definitions for outputs
Generic_decoder
Generic_decoder_sig
Transfer_functions
Llvm_decoder
Loader_utils
Loader utility functions