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

Data Structure Analysis #222

Merged
merged 39 commits into from
Oct 14, 2024
Merged

Data Structure Analysis #222

merged 39 commits into from
Oct 14, 2024

Commits on Jul 8, 2024

  1. graph utilities

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    af21c7d View commit details
    Browse the repository at this point in the history

  2. added stack object mapping

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    02eff56 View commit details
    Browse the repository at this point in the history

  3. fixed pointer arithmetic with offset calculations

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    24e22ad View commit details
    Browse the repository at this point in the history

  4. tests

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    8772452 View commit details
    Browse the repository at this point in the history

  5. added call sites

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    2b8b563 View commit details
    Browse the repository at this point in the history

  6. bu phase

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    24ecede View commit details
    Browse the repository at this point in the history

  7. td phase

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    fbee14c View commit details
    Browse the repository at this point in the history

  8. handling relocations

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    d4f97f3 View commit details
    Browse the repository at this point in the history

  9. IL changes

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    fccfa94 View commit details
    Browse the repository at this point in the history

  10. fixes

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    c2f5a4b View commit details
    Browse the repository at this point in the history

  11. changed slice tuples to case class

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    75a3bfb View commit details
    Browse the repository at this point in the history

  12. separated function entries

    @sadrabt
    sadrabt committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    f600c66 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2024

  1. added bv to signed integer

    @sadrabt
    sadrabt committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    3526de8 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. readability

    @sadrabt
    sadrabt committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    c806362 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. added solver

    @sadrabt
    sadrabt committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    ce94199 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. union-find merge

    @sadrabt
    sadrabt committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    17a35a2 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. resolved bugs

    @sadrabt
    sadrabt committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    7583c31 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. debugged internal offset tracking

    @sadrabt
    sadrabt committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    78df354 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. tests

    @sadrabt
    sadrabt committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    1b47aa9 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. visualiser

    @sadrabt
    sadrabt committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    6ecbf09 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. fixes

    @sadrabt
    sadrabt committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    7f0ee33 View commit details
    Browse the repository at this point in the history

  2. documented tests

    @sadrabt
    sadrabt committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    4dc7239 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. fixes

    @sadrabt
    sadrabt committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    65c672a View commit details
    Browse the repository at this point in the history

  2. fixes

    @sadrabt
    sadrabt committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    e6ee680 View commit details
    Browse the repository at this point in the history

  3. fixes

    @sadrabt
    sadrabt committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    8518723 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. fixes

    @sadrabt
    sadrabt committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    b4fe131 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. stopped propagating stack SAA facts through direct calls

    @sadrabt
    sadrabt committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    832937f View commit details
    Browse the repository at this point in the history

  2. fix

    @sadrabt
    sadrabt committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    e962460 View commit details
    Browse the repository at this point in the history

  3. fixes

    @sadrabt
    sadrabt committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    83033a7 View commit details
    Browse the repository at this point in the history

  4. example that causes assertions to fail

    @sadrabt
    l-kent authored and sadrabt committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    8caf294 View commit details
    Browse the repository at this point in the history

  5. removed the unambiguous stack assumption

    @sadrabt
    sadrabt committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    9bc70df View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. Merge branch 'main' into points-to-analysis-alternate-merge 

    # Conflicts:
#	src/main/scala/analysis/solvers/IDESolver.scala
#	src/main/scala/translating/ReadELFLoader.scala
#	src/main/scala/util/RunUtils.scala
#	src/test/scala/IndirectCallsTests.scala
#	src/test/scala/IrreducibleLoop.scala
#	src/test/scala/LiveVarsAnalysisTests.scala
#	src/test/scala/PointsToTest.scala
#	src/test/scala/ir/InterpreterTests.scala
    l-kent committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    7c49adb View commit details
    Browse the repository at this point in the history

  2. fix IDESolver issues with empty procedures

    l-kent committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    69792b7 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. general cleanup of DSA, particularly around overuse of tuple accesses… 

    … which are difficult to follow at a glance
    l-kent committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    4592fd3 View commit details
    Browse the repository at this point in the history

  2. deprecate DSA test that used removed example, update DSA tests to use… 

    … newer jumptable2 example, DSA test cleanup
    l-kent committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    6e25419 View commit details
    Browse the repository at this point in the history

  3. put DSA in its own package, rename classes for clarity, put DSG/Graph… 

    … in its own file since it's so big
    l-kent committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    c0cf064 View commit details
    Browse the repository at this point in the history

  4. remove unnecessary use of options in StaticAnalysisContext for DSA re… 

    …sults
    l-kent committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    01b6c75 View commit details
    Browse the repository at this point in the history

  5. more cleanup

    l-kent committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    b4c965f View commit details
    Browse the repository at this point in the history

  6. fix spelling

    l-kent committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    1c82a09 View commit details
    Browse the repository at this point in the history