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

Extending point-based analyses to handle pointers to primitive types #272

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

Extending point-based analyses to handle pointers to primitive types #272

wants to merge 13 commits into from

Commits on Feb 3, 2023

  1. Add VariableAllocationSite for variable referencing

    @simonegazza
    simonegazza committed Feb 3, 2023
    Configuration menu
    Copy the full SHA
    4f2dba6 View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2023

  1. Variable allocation site creation made when referenced, javadoc spotless

    @VincenzoArceri
    VincenzoArceri committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    b573618 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2023

  1. Fix rewriting of heap reference in point-based heap analysis

    @VincenzoArceri
    VincenzoArceri committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    98ef772 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2023

  1. Merge branch 'string-domains' into 'andersen'

    @simonegazza
    simonegazza committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    c6f5a53 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2023

  1. Merge branch 'string-domains' into andersen

    @simonegazza
    simonegazza committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    12b3dd1 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. Add pushScope and popScope to HeapDereference

    @simonegazza
    simonegazza committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    56d2ef1 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2023

  1. Merge master into andersen

    @lucaneg
    lucaneg committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    04197ec View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2023

  1. Merge master into andersen

    @lucaneg
    lucaneg committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    16616e7 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2023

  1. Merge master into andersen

    @lucaneg
    lucaneg committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    e6f3e30 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

  1. Merge master into andersen

    @lucaneg
    lucaneg committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    b2fe932 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2023

  1. Merge master into andersen

    @lucaneg
    lucaneg committed Apr 20, 2023
    Configuration menu
    Copy the full SHA
    fd41628 View commit details
    Browse the repository at this point in the history

  2. Merge master into andersen

    @lucaneg
    lucaneg committed Apr 20, 2023
    Configuration menu
    Copy the full SHA
    c3ba379 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. Merge master into andersen

    @lucaneg
    lucaneg committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    294862b View commit details
    Browse the repository at this point in the history