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 unsound return types being allowed for autorecover #3595

Merged
merged 11 commits into from
Aug 3, 2020
Merged

Fix unsound return types being allowed for autorecover #3595

merged 11 commits into from
Aug 3, 2020

Commits on Jul 15, 2020

  1. Add directionality to safe_to_write 

    autorecover from trn now allows box returns, but not trns
    @jasoncarr0
    jasoncarr0 committed Jul 15, 2020
    Configuration menu
    Copy the full SHA
    3736eeb View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2020

  1. Add minimal example of unsoundness for 3571

    @jasoncarr0
    jasoncarr0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    2c96b1a View commit details
    Browse the repository at this point in the history

  2. Actually check if safe to extract

    @jasoncarr0
    jasoncarr0 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    d99380f View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2020

  1. Move trn autorecovery test case to badpony.cc

    @jasoncarr0
    jasoncarr0 committed Jul 18, 2020
    Configuration menu
    Copy the full SHA
    74d350c View commit details
    Browse the repository at this point in the history

  2. Move trn autorecover test

    @jasoncarr0
    jasoncarr0 committed Jul 18, 2020
    Configuration menu
    Copy the full SHA
    d49d7d8 View commit details
    Browse the repository at this point in the history

  3. Fix name for test case

    @jasoncarr0
    jasoncarr0 committed Jul 18, 2020
    Configuration menu
    Copy the full SHA
    61a2724 View commit details
    Browse the repository at this point in the history

  4. Correct test suite for trn trn autorecovery

    @jasoncarr0
    jasoncarr0 committed Jul 18, 2020
    Configuration menu
    Copy the full SHA
    b8fe2cb View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2020

  1. Add test to extract box from trn

    @jasoncarr0
    jasoncarr0 committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    3c06a8b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into autorecover-trn

    @jasoncarr0
    jasoncarr0 committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    aecc78e View commit details
    Browse the repository at this point in the history

  3. Expand tests to handle recover arguments

    @jasoncarr0
    jasoncarr0 committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    19e8e71 View commit details
    Browse the repository at this point in the history

  4. Make cap_safetowrite into cap_safetomove to avoid more repetition

    @jasoncarr0
    jasoncarr0 committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    1497986 View commit details
    Browse the repository at this point in the history