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

Use AddressDomain for queries #1144

Merged
merged 21 commits into from
Sep 27, 2023
Merged

Use AddressDomain for queries #1144

merged 21 commits into from
Sep 27, 2023

Commits on Aug 29, 2023

  1. Add MustLocksetA and MustProtectedVarsA to queries

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    dc0df88 View commit details
    Browse the repository at this point in the history

  2. Use MustLocksetA and MustProtectedVarsA in mutexAnalysis

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    326b8e6 View commit details
    Browse the repository at this point in the history

  3. Use MustProtectedVarsA in mutexAnalysis

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    2bf9353 View commit details
    Browse the repository at this point in the history

  4. Remove MustLockset and MustProtectedVars from queries

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    65567a6 View commit details
    Browse the repository at this point in the history

  5. Rename MustLocksetA -> MustLockset, MustProtectedVarsA -> MustProtect… 

    …edVars
    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    4bf3680 View commit details
    Browse the repository at this point in the history

  6. Add EvalFunvarA to queries

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    586a595 View commit details
    Browse the repository at this point in the history

  7. Use EvalFunvarA in base

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    f15b41f View commit details
    Browse the repository at this point in the history

  8. Use EvalFunvarA in constraints

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    bdd90b4 View commit details
    Browse the repository at this point in the history

  9. Remove EvalFunvar queries

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    e9e53a7 View commit details
    Browse the repository at this point in the history

  10. Rename EvalFunvarA -> EvalFunvar

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    9fef594 View commit details
    Browse the repository at this point in the history

  11. Add MayBeTaintedA to queries

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    8e42121 View commit details
    Browse the repository at this point in the history

  12. Use MayBeTaintedA in base

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    392834b View commit details
    Browse the repository at this point in the history

  13. Use MayBeTaintedA

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    224615f View commit details
    Browse the repository at this point in the history

  14. Remove MayBeTainted from queries

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    26151ef View commit details
    Browse the repository at this point in the history

  15. Rename MayBeTaintedA -> MayBeTainted

    @karoliineh
    karoliineh committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    0d3af6c View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Merge branch 'queries-ad' into queries-ad-cont

    @sim642
    sim642 committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    fb1be83 View commit details
    Browse the repository at this point in the history

  2. Simplify some AD conversions, add TODOs

    @sim642
    sim642 committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    cb08d33 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2023

  1. Use AddressDomain in eval_funvar

    @karoliineh
    karoliineh committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    a32be38 View commit details
    Browse the repository at this point in the history

  2. Use relevants_from_ad instead of relevants_from_ls

    @karoliineh
    karoliineh committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    3879fdc View commit details
    Browse the repository at this point in the history

  3. Use VS domain instead of AD for MustProtectedVars

    @karoliineh
    karoliineh committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    2917999 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. Merge branch 'master' into queries-ad-cont

    @sim642
    sim642 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    e718562 View commit details
    Browse the repository at this point in the history