Index of modules


A
Addr64 [Basic_types]
AddressStack [Dba_types]
Ai
Generic abstract interpretation definitions
Ai_options
Command line options for abstract interpretation
Ai_utils
Utilities for abstract interpretation
Arity [Transfer_functions.Binary_Backward]
Arity [Transfer_functions.Boolean_Backward]
ArmDecoder [Disasm_options]
ArmToDba
Ascii [Dba_printer]
Atoi_call [Libc_stubs]
Atoi stub

B
Backward_analysis
Backward analysis for better precision
Basic_types
Definitions of non-DBA types
BfsDSE [Dse]
BigInt [Basic_types]
Bigint
Big integer wrapper for BINSEC
Binary [Generic_decoder_sig.Expr_Input]
BinaryOperator [Dba_types]
Binpatcher
Definitions for binary patcher
Binpatcher_options
Options for binary patching
Binsec_utils
General BINSEC related utilities
Binstream [Basic_types]
BitSize [Basic_types]
Bitvector
Bitvector representation
Block [Dba_types]
Boolean [Generic_decoder_sig.Expr_Input]
Boolean [Parameters.Builder]
BoundThreshold [Infos]
Bsearch_call [Libc_stubs]
Builder [Parameters]
ByteSize [Basic_types]

C
CMake [Worklist]
Priority queues with generated comparison function.
Caddress [Dba_types]
A DBA instruction is uniquely located at an address + label/id
Call_convention
Call_stack [Dba_types]
Cdecl [Call_convention]
Check [Dba_types.Block]
Check_trace
Colors
General color definitions for outputs
Concrete_eval
Concrete_state
Condition [Dba_types]
ConditionalStrategy [Simulate_options]
Conf_exploration
Constant_propagation [Simplification_dba_block]
Constants [Basic_types]
CriteriaDSE [Dse.DSE]
Ctype_b_loc_call [Libc_stubs]
Ctype_b_loc stub

D
DSE [Dse]
DbaOutputFile [Disasm_options]
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
Declarations [Parse_helpers]
Declarations [Dba_types]
Decode_Expr [Generic_decoder]
Decode_Instr [Generic_decoder]
Decode_utils
DfsDSE [Dse]
DfsDSETree [Dse]
Disasm
Disassemblers & utilities
Disasm_cfg
Disasm_core
Core functionalities for disassembly
Disasm_dyn_infos
Disasm_dyn_infos_callrets
Disasm_options
Command-line options specific to disassembly
Disasm_types
Mnemonic
Disassembly [Static_options]
DisassemblyMode [Disasm_options]
Domain [Ai_options]
Domain_common
Dse

E
EICAscii [Dba_printer]
EICUnicode [Dba_printer]
Endianness [Machine]
Errors
Constructors
ExecFile [Options]
Executable file (or unnamed argument)
Expr [Parse_helpers.Mk]
Expr [Dba_utils]
Expr [Dba_types]

F
FailSoftMode [Ai_options]
False [Parameters.Builder]
Fgetc_call [Libc_stubs]
File_utils
Extra functions over files
FlatUI [Colors]
Formula
SMT Formula manipulation module
Formula_optim
Formula optimizations
Formula_type
alias to string Map
Formula_utils
High level formula manipulation
Fread_call [Libc_stubs]
Fread stub: Create new symbolic inputs
Free_call [Libc_stubs]
Free stub
Fscanf_call [Libc_stubs]
Fscanf stub: Create new symbolic inputs (experimental)
Fstat_call [Libc_stubs]
FuzzerIterations [Simulate_options]
Fxstat64_call [Libc_stubs]

G
GenericInstruction [Disasm_types]
Generic_call [Libc_stubs]
Generic stub
Generic_decoder
Generic_decoder_sig
GetModuleHandle_call [Windows_stubs]
GetProcAddress_call [Windows_stubs]
Gethostname_call [Windows_stubs]
Getmainargs_call [Windows_stubs]
GuideAsStrcmpUAF [Dse]
GuideDSE [Dse.DSE]

H
Hashtbl [Dba_types.Virtual_address]
Hashtbl [Dba_types.Caddress]
Hashtbl [Basic_types.Int64]
Hashtbl [Basic_types.String]
High_level_predicate
HistoryDSE [Dse.DSE]

I
ISA [Machine]
IgnoreUnhandledInstructions [Disasm_options]
Defaults to true *
Infos
Abstract representation of configuration data for static analyses
InstrMap [Trace_type]
Trace instructions are indexed in this map
Instruction [Disasm_types]
Instruction [Dba_types]
Instruction_stubs
Instruction stubs (DSE)
Int [Basic_types]
Int64 [Basic_types]
Integer [Transfer_functions]
Integer [Parameters.Builder]
Interval
Interval sub-domains

J
Jump_target [Dba_types]

K
KSetSize [Ai_options]
K_set [Kset]
Kset
Sets of values of cardinality K

L
LValue [Dba_types]
Lhs [Parse_helpers.Mk]
Libc_stubs
Libcall stubs
Libcall_stubs
Libcall_types
Libcall_utils
List_utils
Extra functions over lists
Llvm_decoder
Loader_utils
Loader utility functions
Logger
Logging/output facilities
Logger [Disasm_options]
Lreader
Basic stream reader
Lseek_call [Libc_stubs]
Lseek stub: stub of lseek

M
M [Generic_decoder_sig.Expr_Input]
Machine
Abstract representation of hardware architecture
Make [Worklist]
Priority queues over comparable types
Make [Disasm_types]
Functor
Make [Disasm_core]
Make [Union_find]
Make [Reduced_product]
Make [Nonrelational]
Make [Logger]
Make [Dba_printer]
Make [Ai]
Malloc_call [Libc_stubs]
Malloc stub
Map [Dba_types.LValue]
Map [Sigs.Collection]
MapSetMaker [Basic_types]
Memcmp_call [Libc_stubs]
* Memcmp stub * * Pol: src: (addr: action, value: action); dst: (addr: action, value:action), ret: action * * Rules: All actions = logic * * Notes: compare elements up to the max of the concrete size of the two paramaters *
Memcpy_call [Libc_stubs]
Memset_call [Libc_stubs]
Memset stub
Message [Parse_helpers]
Mk [Parse_helpers]
Mmap_call [Libc_stubs]
Mmap stub: Create new symbolic inputs
Mnemonic [Disasm_types]
Mnemonic
Monadic_Arity [Generic_decoder_sig]

N
NaiveWidening [Static_options]
Natural [Basic_types]
Specific modules & types
NoLoaderMode [Disasm_options]
Default to false.
Nonrelational
Normalize_instructions
Normalize_predicate

O
OpcodeOutputFile [Disasm_options]
Open_stub_call [Libc_stubs]
Open stub
OptionalString [Parameters.Builder]
Options
General command-line options (globals vars)

P
Parameters
Functors for command-line parameters declarations
Parse_helpers
General helper module for construction of Dba elements
Parse_utils
PatchFile [Binpatcher_options]
PatchMap [Binpatcher]
PatchOutFile [Binpatcher_options]
Path_pred_env
DSE Environment
Path_predicate
Peek [Lreader]
Peek is like Read but does not advance
Permissions [Parse_helpers.Mk]
Policy_engine
Predba
First IL before producing DBA
Predicates [Parse_helpers.Mk]
Print_utils
Extra pretty-printing functions
Printf_call [Libc_stubs]
Printf stub
Program [Disasm_types]
Program [Disasm]
ProtectedMode [Disasm_options]

Q
Qed
not exposed class inheriting smt_inplace_visitor
Qsort_call [Libc_stubs]

R
RandomDSE [Dse]
Range
Extended intervals with regions
Read [Lreader]
Accessor functions of module Read read n=1, 2, 4, or 8 bytes and advance n bytes as well.
Read_call [Libc_stubs]
Read stub: Create new symbolic inputs
Realloc_call [Libc_stubs]
Realloc stub
Recursive [Disasm]
Reduced_product
Region [Parse_helpers.Mk]
Region [Dba_types]
Region_bitvector
Bitvectors with low-level regions
Rights [Dba_types]

S
Sections [Disasm_options]
SemanticsMode [Simulate_options]
Server
Server handling remote requests
Server_callback
Server callbacks handling the different kind of requests
Set [Sigs.Collection]
ShareDirectory [Options]
ShowInstructionCount [Disasm_options]
Signed [Interval]
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
SmtBvVarSet [Smtlib2]
Set of smt_bv_var to hold a set of variables
SmtVarSet [Smtlib2]
Set of smt_var_decl, used to hold inputs
Smt_bitvectors
Types for SMT-LIB bitvectors
Smt_model
Internal model representation
Smtlib2
Smtlib2 data representation (AST)
Smtlib2print
Smtlib2 printer
Solver
Interface with SMT solvers
State [Generic_decoder_sig.Instr_Input]
State_Monad [Generic_decoder_sig]
Statement [Dba_types]
Static_options
Common command-line options for static analyses
Static_utils
Common functions for static analyses
Stdcall [Call_convention]
StepByStep [Simulate_options]
Strchr_call [Libc_stubs]
Strchr stub
Strcmp_call [Libc_stubs]
Strcmp stub
Strcpy_call [Libc_stubs]
String [Parameters.Builder]
String [Basic_types]
StringSet [Parameters.Builder]
String_utils
Extra functions over strings
Strncmp_call [Libc_stubs]
Strncmp stub
Strncpy_call [Libc_stubs]
Strrchr_call [Libc_stubs]
Strchr stub
SubEnv [Concrete_state]
SubSymb [Region_bitvector]
Successors [Disasm_core]
SymbMap [Region_bitvector]
SymbVar [Formula_type]
Syscall_stubs
Syscall stubs (DSE)

T
Tag [Dba_types]
Taint
Taint domain
Ternary [Basic_types]
Ternary logic
TraceDSE [Dse.DSE]
Trace_loader
Load traces generated by Pinsec
Trace_postprocessing
Trace postprocessing operations
Trace_type
Trace type definition
Trace_visitor
Visitor for traces
Transfer_functions
True [Parameters.Builder]

U
UAFDSE [Dse]
UafStrcmpDSE [Dse]
Uaf_detection
Unicode [Dba_printer]
Union_find
Union-find for equality domain
Unsigned [Interval]
Utils
Generic utilities

V
Value [Parse_helpers.Message]
Virtual_address [Dba_types]

W
W [Disasm_core]
WideningThreshold [Infos]
Windows_stubs
Word_size [Machine]
Word size of the machine in bits
Worklist
Worklist / Work queue implementation
WritableLoader [Binpatcher]
Writable loader

X
X86FlagPatterns [Ai_options]
X86Instruction
Interface for X86 instructions
X86Types
Register sets
X86Util
Default values are: address_mode: A32, address_base: None, address_index: None
X86decoder
Decode a function from a reader
X86pp
Pretty-printers for X86
X86toDba
Lifter from X86 to DBA

Z
Zero [Parameters.Builder]