Search results

Symex guards: avoid unnecessary duplicate negation

cleanup

Status: Open (in progress).

diffblue/cbmcnumber 8041

#8041 In diffblue/cbmc;

· tautschnig opened on Nov 15, 2023

src/goto-analyzer/static_verifier.cpp - calls to <code>x.set_attribute</code>?

cleanup

Status: Open.

#8027 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/util/source_location.h - <code>set_function</code> and <code>get_function</code>

cleanup

Status: Open.

#8026 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/solvers/strings/string_constraint_generator.h -

cleanup

Status: Open.

#8025 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/solvers/strings/string_constraint_generator.h -

cleanup

Status: Open.

#8024 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/solvers/strings/string_constraint_generator_valueof.cpp - <code>pair&lt;exprt, string_constraints&gt; string_constraint_generatort::add_axioms_from_int_hex</code>

cleanup

Status: Open.

#8023 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/solvers/strings/string_constraint_generator_valueof.cpp - <code>pair&lt;exprt, string_constraints&gt; string_constraint_generatort::add_axioms_from_bool</code>

cleanup

Status: Open.

#8022 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/solvers/strings/string_constraint_generator_valueof.cpp - <code>pair&lt;exprt, string_constraints&gt; string_constraint_generatort::add_axioms_from_long</code>

cleanup

Status: Open.

#8021 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/solvers/strings/string_constraint_generator_testing.cpp - <code>pair&lt;exprt, string_constraints&gt; string_constraint_generatort::add_axioms_for_is_suffix</code>

cleanup

Status: Open.

#8020 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/solvers/strings/string_constraint_generator_testing.cpp - <code>pair&lt;exprt, string_constraints&gt; string_constraint_generatort::add_axioms_for_is_empty</code>

cleanup

Status: Open.

#8019 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/solvers/strings/string_constraint_generator_main.cpp - <code>pair&lt;exprt, string_constraints&gt; string_constraint_generatort::add_axioms_for_copy</code>

cleanup

Status: Open.

#8018 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023

src/util/lispexpr.h

cleanup

Status: Open.

#8016 In diffblue/cbmc;

· NlightNFotis opened on Nov 13, 2023