cprover
goto_checkt Member List

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

add_guarded_claim(const exprt &expr, const std::string &comment, const std::string &property_class, const source_locationt &, const exprt &src_expr, const guardt &guard)goto_checktprotected
allocationsgoto_checktprotected
allocationst typedefgoto_checktprotected
allocationt typedefgoto_checktprotected
array_name(const exprt &expr)goto_checktprotected
assertionsgoto_checktprotected
assertionst typedefgoto_checktprotected
bounds_check(const index_exprt &expr, const guardt &guard)goto_checktprotected
check(const exprt &expr)goto_checktprotected
check_rec(const exprt &expr, guardt &guard, bool address)goto_checktprotected
collect_allocations(const goto_functionst &goto_functions)goto_checkt
conversion_check(const exprt &expr, const guardt &guard)goto_checktprotected
div_by_zero_check(const div_exprt &expr, const guardt &guard)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_float_overflow_checkgoto_checktprotected
enable_memory_leak_checkgoto_checktprotected
enable_nan_checkgoto_checktprotected
enable_pointer_checkgoto_checktprotected
enable_pointer_overflow_checkgoto_checktprotected
enable_signed_overflow_checkgoto_checktprotected
enable_simplifygoto_checktprotected
enable_undefined_shift_checkgoto_checktprotected
enable_unsigned_overflow_checkgoto_checktprotected
error_labelsgoto_checktprotected
error_labelst typedefgoto_checktprotected
float_overflow_check(const exprt &expr, const guardt &guard)goto_checktprotected
goto_check(goto_functiont &goto_function, const irep_idt &mode)goto_checkt
goto_checkt(const namespacet &_ns, const optionst &_options)goto_checktinline
goto_functiont typedefgoto_checkt
integer_overflow_check(const exprt &expr, const guardt &guard)goto_checktprotected
invalidate(const exprt &lhs)goto_checktprotected
local_bitvector_analysisgoto_checktprotected
mod_by_zero_check(const mod_exprt &expr, const guardt &guard)goto_checktprotected
modegoto_checktprotected
nan_check(const exprt &expr, const guardt &guard)goto_checktprotected
new_codegoto_checktprotected
nsgoto_checktprotected
pointer_overflow_check(const exprt &expr, const guardt &guard)goto_checktprotected
pointer_rel_check(const exprt &expr, const guardt &guard)goto_checktprotected
pointer_validity_check(const dereference_exprt &expr, const guardt &guard, const exprt &access_lb, const exprt &access_ub)goto_checktprotected
retain_trivialgoto_checktprotected
tgoto_checktprotected
undefined_shift_check(const shift_exprt &expr, const guardt &guard)goto_checktprotected