Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Avoid global path conditions in Kani's library #2394

Draft
wants to merge 4 commits into
base: main
Choose a base branch
from
Draft

Avoid global path conditions in Kani's library #2394

wants to merge 4 commits into from
+28 −18

Commits on Apr 20, 2023

  1. Avoid global path conditions in Kani's library 

    There is no need to maintain global path conditions in order to
constrain non-deterministic data: we can locally pick an arbitrary one
of the permitted values. This avoids propagating guards on input data
across all properties subsequently seen in symbolic execution.
    @tautschnig
    tautschnig committed Apr 20, 2023
    Configuration menu
    Copy the full SHA
    4bb9295 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2023

  1. Fix slice length setting in case of null pointer 

    Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
    @tautschnig @zhassan-aws
    tautschnig and zhassan-aws authored Apr 27, 2023
    Configuration menu
    Copy the full SHA
    360e406 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into no-assume

    @tautschnig
    tautschnig authored Apr 27, 2023
    Configuration menu
    Copy the full SHA
    aec5fb5 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2023

  1. Merge branch 'main' into no-assume

    @tautschnig
    tautschnig authored Sep 2, 2023
    Configuration menu
    Copy the full SHA
    be11b58 View commit details
    Browse the repository at this point in the history