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

Account for allocated heap memory which is unreachable from globals #1241

Merged
merged 17 commits into from
Nov 24, 2023
Merged

Account for allocated heap memory which is unreachable from globals #1241

merged 17 commits into from
Nov 24, 2023

Commits on Nov 7, 2023

  1. Warn whenever there's allocated heap memory that's unreachable from g… 

    …lobals at program exit
    @mrstanb
    mrstanb committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    421abcd View commit details
    Browse the repository at this point in the history

  2. Add test cases for unreachable heap memory from globals

    @mrstanb
    mrstanb committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    9f7224e View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Remove //TODO comment from 76/09

    @mrstanb
    mrstanb committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    c056b32 View commit details
    Browse the repository at this point in the history

  2. Don't set InvalidMemTrack flag a second time 

    Co-authored-by: Michael Schwarz <[email protected]>
    @mrstanb @michael-schwarz
    mrstanb and michael-schwarz authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    175b003 View commit details
    Browse the repository at this point in the history

  3. Don't set InvalidMemTrack flag a second time 

    Co-authored-by: Michael Schwarz <[email protected]>
    @mrstanb @michael-schwarz
    mrstanb and michael-schwarz authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    05e4892 View commit details
    Browse the repository at this point in the history

  4. Add 3 regr. tests for trying out global struct variables

    @mrstanb
    mrstanb committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    f343d74 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Merge branch 'master' into improve-valid-memtrack-for-single-threaded… 

    …-programs
    @michael-schwarz
    michael-schwarz authored Nov 15, 2023
    Configuration menu
    Copy the full SHA
    24fd4e8 View commit details
    Browse the repository at this point in the history

  2. Improve the detection of reachable memory through global struct vars

    @mrstanb
    mrstanb committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    6decbdd View commit details
    Browse the repository at this point in the history

  3. Add regr. tests for reachable memory through global struct vars

    @mrstanb
    mrstanb committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    c380426 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'improve-valid-memtrack-for-single-threaded-programs' of… 

    … github.com:mrstanb/analyzer into improve-valid-memtrack-for-single-threaded-programs
    @mrstanb
    mrstanb committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    0bec1ac View commit details
    Browse the repository at this point in the history

  5. Fix semgrep warning for using List.length for an emptiness check

    @mrstanb
    mrstanb committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    8459104 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2023

  1. Use unrollType and GVarDecl for global vars 

    Also use `Queries.AD.fold` where applicable and prepend to accumulators
    @mrstanb
    mrstanb committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    6cc01b5 View commit details
    Browse the repository at this point in the history

  2. Check that addresses in struct fields are singletons and not top

    @mrstanb
    mrstanb committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    80492cc View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2023

  1. Use unrollType for non-pointer global struct vars

    @mrstanb
    mrstanb committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    f2ca6d1 View commit details
    Browse the repository at this point in the history

  2. Don't forget to prepend to acc when collecting globally reachable mem

    @mrstanb
    mrstanb committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    0e09d09 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2023

  1. Use AD.fold instead of List.fold_left

    @mrstanb
    mrstanb committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    9153eb3 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. MemLeak: Do not consider unions

    @michael-schwarz
    michael-schwarz committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    666795f View commit details
    Browse the repository at this point in the history