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

analyze: static/dynamic comparison mode for NON_NULL #1151

Merged
merged 5 commits into from
Nov 20, 2024
Merged

analyze: static/dynamic comparison mode for NON_NULL #1151

merged 5 commits into from
Nov 20, 2024

Commits on Nov 20, 2024

  1. Make scripts/pdg.sh more flexible for more use cases

    @ahomescu @spernsteiner
    ahomescu authored and spernsteiner committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    8dda381 View commit details
    Browse the repository at this point in the history

  2. analyze: refactor: build func_def_path_hash_to_ldid map only when loa… 

    …ding pdg
    @spernsteiner
    spernsteiner committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    75cdf73 View commit details
    Browse the repository at this point in the history

  3. analyze: refactor: move pdg loading into pdg_update_permissions helpe… 

    …r fn
    @spernsteiner
    spernsteiner committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    aae2f68 View commit details
    Browse the repository at this point in the history

  4. analyze: refactor: add pdg_update_permissions_with_callback

    @spernsteiner
    spernsteiner committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    a3a4878 View commit details
    Browse the repository at this point in the history

  5. analyze: implement static/dynamic NON_NULL comparison mode

    @spernsteiner
    spernsteiner committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    58d56c0 View commit details
    Browse the repository at this point in the history