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

Fix GH79 (on top of PR#78 fixes) #80

Closed
wants to merge 10 commits into from
Closed

Fix GH79 (on top of PR#78 fixes) #80

wants to merge 10 commits into from

Commits on Jun 10, 2022

  1. add cbmc verify and fix a --conversion-check 

    add another formal verifier (much easier to use),
and fix an invalid signed conversion
    Reinhard Urban committed Jun 10, 2022
    Configuration menu
    Copy the full SHA
    7fb7a51 View commit details
    Browse the repository at this point in the history

  2. extend CBMC checks to all APIs 

    compare GH kokke#76
    Reinhard Urban committed Jun 10, 2022
    Configuration menu
    Copy the full SHA
    69afafe View commit details
    Browse the repository at this point in the history

  3. fix GH kokke#76 out-of-bounds 

    with invalid types in re_print
    Reinhard Urban committed Jun 10, 2022
    Configuration menu
    Copy the full SHA
    e448651 View commit details
    Browse the repository at this point in the history

  4. refactor cbmc proofs a bit 

    seperate functions.
check assume vs nondet_uchar() (both are the same).
use less MAX_REGEXP_OBJECTS for cbmc (much faster then)

improve the no buffer-out-of-bounds access on invalid patterns check.
    Reinhard Urban committed Jun 10, 2022
    Configuration menu
    Copy the full SHA
    bd55c35 View commit details
    Browse the repository at this point in the history

  5. support "\\\\" pattern, and disallow "..\\" 

    ending \\
    Reinhard Urban committed Jun 10, 2022
    Configuration menu
    Copy the full SHA
    9d25c22 View commit details
    Browse the repository at this point in the history

  6. Clarify python2 is needed

    Reinhard Urban committed Jun 10, 2022
    Configuration menu
    Copy the full SHA
    7bd15de View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2022

  1. re-enable INV_CHAR_CLASS 

    and use the enum type internally
    Reinhard Urban committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    0388df3 View commit details
    Browse the repository at this point in the history

  2. prepare multi-byte support 

    and fix isalpha crashes on bad libc's. Fixes GH kokke#70.
e.g. UTF-8.
    Reinhard Urban committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    f334c5b View commit details
    Browse the repository at this point in the history

  3. TODOs and new tests

    Reinhard Urban committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    148e229 View commit details
    Browse the repository at this point in the history

  4. fix ranges with ending - 

    Fixes GH kokke#79 and the exreg failures with [1-5-]+[-1-2]-[-]
    Reinhard Urban committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    89f513f View commit details
    Browse the repository at this point in the history