Index of class methods


A
add_alloc [Uaf_detection.uaf_detection]
add_free [Uaf_detection.uaf_detection]
add_free_check [Uaf_detection.uaf_detection]
add_inst_key_to_invert [Uaf_detection.uaf_detection]
add_location_it_to_invert [Uaf_detection.uaf_detection]
add_location_to_invert [Uaf_detection.uaf_detection]
add_uaf_check [Uaf_detection.uaf_detection]
add_witness_variable [Path_predicate.dse_analysis_t]

B
build_address_comparison_predicate [Path_predicate.dse_analysis_t]
build_cond_predicate [Path_predicate.dse_analysis_t]
build_multiple_condition_predicate [Path_predicate.dse_analysis_t]
build_witness_bitvector_comparison_predicate [Path_predicate.dse_analysis_t]
build_witness_expr_comparison_predicate [Path_predicate.dse_analysis_t]

C
call_free [Uaf_detection.uaf_detection]
call_malloc [Uaf_detection.uaf_detection]
change_entries [Uaf_detection.uaf_detection]
check_fscanf [Uaf_detection.uaf_detection]
check_lib [Uaf_detection.uaf_detection]
check_mmap [Uaf_detection.uaf_detection]
check_read [Uaf_detection.uaf_detection]
check_with_visitor [Uaf_detection.uaf_detection]
compare_address [Path_predicate.dse_analysis_t]
compute [Trace_visitor.trace_visitor_inplace]
start the iteration on the given trace
compute [Path_predicate.dse_analysis_t]
concretize_cond [Path_predicate.dse_analysis_t]
concretize_expr_bv [Path_predicate.dse_analysis_t]

E
exec [Path_predicate.dse_analysis_t]
expr_to_smt [Path_predicate.dse_analysis_t]

G
get_current_concrete_infos [Path_predicate.dse_analysis_t]
get_current_dbacodeaddress [Path_predicate.dse_analysis_t]
get_new_conf_files [Uaf_detection.uaf_detection]
get_new_symbols [Formula_optim.memory_flattener_visitor]
get_taint [Path_predicate.dse_analysis_t]

I
init_entries [Uaf_detection.uaf_detection]
input_message_received [Path_predicate.dse_analysis_t]
is_symbolic_condition [Path_predicate.dse_analysis_t]
is_symbolic_expression [Path_predicate.dse_analysis_t]
is_taint_computed [Path_predicate.dse_analysis_t]
is_uaf [Uaf_detection.uaf_detection]

P
post_execution [Path_predicate.dse_analysis_t]
pre_execution [Path_predicate.dse_analysis_t]

S
send_message [Path_predicate.dse_analysis_t]
set_alloc [Uaf_detection.uaf_detection]
set_check_init [Uaf_detection.uaf_detection]
set_counter [Uaf_detection.uaf_detection]
set_dba_dynamic_call [Trace_visitor.trace_visitor_inplace]
set a callback on a DBA dynamic call
set_dba_dynamic_jump [Trace_visitor.trace_visitor_inplace]
set a callback on a DBA dynamic jump/call
set_dba_dynamic_jump_strict [Trace_visitor.trace_visitor_inplace]
set a callback on DBA dynamic jump only!
set_dba_dynamic_ret [Trace_visitor.trace_visitor_inplace]
set a callback on a DBA ret instruction
set_dba_nonlocal_if [Trace_visitor.trace_visitor_inplace]
set a callback on a DBA conditional instruction
set_dbainstruction_callback [Trace_visitor.trace_visitor_inplace]
set a callback on a DBA instruction
set_exception_callback [Trace_visitor.trace_visitor_inplace]
set a callback on an exception
set_free [Uaf_detection.uaf_detection]
set_instruction_callback [Trace_visitor.trace_visitor_inplace]
set a callback on an instruction
set_libcall_instr_callback [Trace_visitor.trace_visitor_inplace]
set a callback on a library call
set_metadata_callback [Trace_visitor.trace_visitor_inplace]
set a callback on a metadata
set_module_callback [Trace_visitor.trace_visitor_inplace]
set a callback on a module metadata
set_not_decoded_callback [Trace_visitor.trace_visitor_inplace]
set a callback on a not decoded instruction
set_nth_alloc [Uaf_detection.uaf_detection]
set_nth_free [Uaf_detection.uaf_detection]
set_nth_use [Uaf_detection.uaf_detection]
set_syscall_instr_callback [Trace_visitor.trace_visitor_inplace]
set a callback on a syscall
set_use [Uaf_detection.uaf_detection]
set_wave_callback [Trace_visitor.trace_visitor_inplace]
set a callback on a self-modification wave
solve_predicate [Path_predicate.dse_analysis_t]

V
visit_alternative [Dba_visitor.inplace_visitor_t]
visit_assert [Dba_visitor.inplace_visitor_t]
visit_assign [Dba_visitor.inplace_visitor_t]
visit_assume [Dba_visitor.inplace_visitor_t]
visit_binary [Dba_visitor.inplace_visitor_t]
visit_cond [Dba_visitor.inplace_visitor_t]
visit_cond_and [Dba_visitor.inplace_visitor_t]
visit_cond_or [Dba_visitor.inplace_visitor_t]
visit_cst [Dba_visitor.inplace_visitor_t]
visit_dbainstr [Dba_visitor.inplace_visitor_t]
visit_dbainstr_after [Path_predicate.dse_analysis_t]
visit_dbainstr_before [Path_predicate.dse_analysis_t]
visit_dbainstr_before [Check_trace.check_trace]
visit_djump [Dba_visitor.inplace_visitor_t]
visit_expr [Dba_visitor.inplace_visitor_t]
visit_exts [Dba_visitor.inplace_visitor_t]
visit_extu [Dba_visitor.inplace_visitor_t]
visit_free [Dba_visitor.inplace_visitor_t]
visit_if [Dba_visitor.inplace_visitor_t]
visit_instr_after [Path_predicate.dse_analysis_t]
visit_instr_before [Path_predicate.dse_analysis_t]
visit_instrkind [Dba_visitor.inplace_visitor_t]
visit_ite [Dba_visitor.inplace_visitor_t]
visit_lhs [Dba_visitor.inplace_visitor_t]
visit_lhs_var [Dba_visitor.inplace_visitor_t]
visit_load [Dba_visitor.inplace_visitor_t]
visit_local_if [Dba_visitor.inplace_visitor_t]
visit_malloc [Dba_visitor.inplace_visitor_t]
visit_metadata [Path_predicate.dse_analysis_t]
visit_nondet [Dba_visitor.inplace_visitor_t]
visit_nondet_assume [Dba_visitor.inplace_visitor_t]
visit_remote_if [Dba_visitor.inplace_visitor_t]
visit_restrict [Dba_visitor.inplace_visitor_t]
visit_sjump [Dba_visitor.inplace_visitor_t]
visit_stop [Dba_visitor.inplace_visitor_t]
visit_store [Dba_visitor.inplace_visitor_t]
visit_unary [Dba_visitor.inplace_visitor_t]
visit_undef [Dba_visitor.inplace_visitor_t]
visit_var [Dba_visitor.inplace_visitor_t]