cprover
goto_checkt Member List

This is the complete list of members for goto_checkt, including all inherited members.

add_guarded_property(const exprt &asserted_expr, const std::string &comment, const std::string &property_class, const source_locationt &source_location, const exprt &src_expr, const guardt &guard)goto_checktprotected
address_check(const exprt &address, const exprt &size)goto_checktprotected
allocationsgoto_checktprotected
allocationst typedefgoto_checktprotected
allocationt typedefgoto_checktprotected
array_name(const exprt &)goto_checktprotected
assertionsgoto_checktprotected
assertionst typedefgoto_checktprotected
bounds_check(const index_exprt &, const guardt &)goto_checktprotected
check(const exprt &expr)goto_checktprotected
check_rec(const exprt &expr, guardt &guard)goto_checktprotected
check_rec_address(const exprt &expr, guardt &guard)goto_checktprotected
check_rec_arithmetic_op(const exprt &expr, guardt &guard)goto_checktprotected
check_rec_div(const div_exprt &div_expr, guardt &guard)goto_checktprotected
check_rec_if(const if_exprt &if_expr, guardt &guard)goto_checktprotected
check_rec_logical_op(const exprt &expr, guardt &guard)goto_checktprotected
check_rec_member(const member_exprt &member, guardt &guard)goto_checktprotected
collect_allocations(const goto_functionst &goto_functions)goto_checkt
conditionst typedefgoto_checktprotected
conversion_check(const exprt &, const guardt &)goto_checktprotected
current_targetgoto_checktprotected
div_by_zero_check(const div_exprt &, const guardt &)goto_checktprotected
enable_assert_to_assumegoto_checktprotected
enable_assertionsgoto_checktprotected
enable_assumptionsgoto_checktprotected
enable_bounds_checkgoto_checktprotected
enable_built_in_assertionsgoto_checktprotected
enable_conversion_checkgoto_checktprotected
enable_div_by_zero_checkgoto_checktprotected
enable_enum_range_checkgoto_checktprotected
enable_float_overflow_checkgoto_checktprotected
enable_memory_leak_checkgoto_checktprotected
enable_nan_checkgoto_checktprotected
enable_pointer_checkgoto_checktprotected
enable_pointer_overflow_checkgoto_checktprotected
enable_pointer_primitive_checkgoto_checktprotected
enable_signed_overflow_checkgoto_checktprotected
enable_simplifygoto_checktprotected
enable_undefined_shift_checkgoto_checktprotected
enable_unsigned_overflow_checkgoto_checktprotected
enum_range_check(const exprt &, const guardt &)goto_checktprotected
error_labelsgoto_checktprotected
error_labelst typedefgoto_checktprotected
float_overflow_check(const exprt &, const guardt &)goto_checktprotected
goto_check(const irep_idt &function_identifier, goto_functiont &goto_function)goto_checkt
goto_checkt(const namespacet &_ns, const optionst &_options)goto_checktinline
goto_functiont typedefgoto_checkt
guard_managergoto_checktprotected
integer_overflow_check(const exprt &, const guardt &)goto_checktprotected
invalidate(const exprt &lhs)goto_checktprotected
is_pointer_primitive(const exprt &expr)goto_checktprotected
local_bitvector_analysisgoto_checktprotected
mod_by_zero_check(const mod_exprt &, const guardt &)goto_checktprotected
mod_overflow_check(const mod_exprt &, const guardt &)goto_checktprotected
modegoto_checktprotected
nan_check(const exprt &, const guardt &)goto_checktprotected
new_codegoto_checktprotected
no_enum_checkgoto_checktprotected
nsgoto_checktprotected
pointer_overflow_check(const exprt &, const guardt &)goto_checktprotected
pointer_primitive_check(const exprt &expr, const guardt &guard)goto_checktprotected
pointer_rel_check(const binary_relation_exprt &, const guardt &)goto_checktprotected
pointer_validity_check(const dereference_exprt &expr, const exprt &src_expr, const guardt &guard)goto_checktprotected
retain_trivialgoto_checktprotected
rw_ok_check(exprt)goto_checktprotected
undefined_shift_check(const shift_exprt &, const guardt &)goto_checktprotected