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: initial implementation of NON_NULL static analysis #1081

Merged
merged 6 commits into from
Apr 22, 2024
Merged

analyze: initial implementation of NON_NULL static analysis #1081

merged 6 commits into from
Apr 22, 2024

Commits on Apr 22, 2024

  1. analyze: initial implementation of NON_NULL analysis

    @spernsteiner
    spernsteiner committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    e8aa1e6 View commit details
    Browse the repository at this point in the history

  2. analyze: add Callee::Null for ptr::{null,null_mut}

    @spernsteiner
    spernsteiner committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    e2b8a19 View commit details
    Browse the repository at this point in the history

  3. analyze: add non_null test case

    @spernsteiner
    spernsteiner committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    ae439c4 View commit details
    Browse the repository at this point in the history

  4. analyze: treat 0 as *const _ like ptr::null() in dataflow

    @spernsteiner
    spernsteiner committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    2dbd59f View commit details
    Browse the repository at this point in the history

  5. analyze: fix cast.rs test after NON_NULL changes

    @spernsteiner
    spernsteiner committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    b1728e6 View commit details
    Browse the repository at this point in the history

  6. analyze: fix comments

    @spernsteiner
    spernsteiner committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    7b99d25 View commit details
    Browse the repository at this point in the history