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

Integrate PDGs created by Flowistry #119

Merged
merged 89 commits into from
Feb 21, 2024
Merged

Integrate PDGs created by Flowistry #119

merged 89 commits into from
Feb 21, 2024

Commits on Dec 4, 2023

  1. [WIP] Updating deps, cutting code

    @JustusAdam
    JustusAdam committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    c6b982d View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. [WIP] Bump flowistry again, remove more code

    @JustusAdam
    JustusAdam committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    37e32fa View commit details
    Browse the repository at this point in the history

  2. [WIP] Fixed some of the type/migration errors

    @JustusAdam
    JustusAdam committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    226b8c0 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Compile errors fixed 

    Excluding explorer
    @JustusAdam
    JustusAdam committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    2dbcf70 View commit details
    Browse the repository at this point in the history

  2. Fix test case compilation

    @JustusAdam
    JustusAdam committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    f23b31b View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. [WIP] Graph compression

    @JustusAdam
    JustusAdam committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    0efd35f View commit details
    Browse the repository at this point in the history

  2. WIP Graph condensing

    @JustusAdam
    JustusAdam committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    be6a9ac View commit details
    Browse the repository at this point in the history

  3. Compression sketch

    @JustusAdam
    JustusAdam committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    fb43a09 View commit details
    Browse the repository at this point in the history

  4. Slowly working towards running tests

    @JustusAdam
    JustusAdam committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    bf75d55 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. Merge branch 'main' into flowistry-pdg

    @JustusAdam
    JustusAdam committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    2a5ac69 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. Setup for SDPG integration

    @JustusAdam
    JustusAdam committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    9077259 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into flowistry-pdg 

    # Conflicts:
#	crates/paralegal-policy/src/context.rs
#	crates/paralegal-policy/src/flows_to.rs
    @JustusAdam
    JustusAdam committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    ef31414 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2023

  1. [WIP] integrating new PDG

    @JustusAdam
    JustusAdam committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    8aaaf0c View commit details
    Browse the repository at this point in the history

Commits on Dec 25, 2023

  1. [WIP] I think I've fixed the type errors in flow

    @JustusAdam
    JustusAdam committed Dec 25, 2023
    Configuration menu
    Copy the full SHA
    84cb839 View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2023

  1. [WIP] It compiles

    @JustusAdam
    JustusAdam committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    ba4caa3 View commit details
    Browse the repository at this point in the history

  2. Cargo fix

    @JustusAdam
    JustusAdam committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    dd07a0e View commit details
    Browse the repository at this point in the history

  3. Fmt and fix warnings

    @JustusAdam
    JustusAdam committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    cda0021 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2023

  1. Finished Flowistry update. 

    Implemented missing test utils functions
    @JustusAdam
    JustusAdam committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    8fe7ee6 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2023

  1. Format and clippy

    @JustusAdam
    JustusAdam committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    5610d3d View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. Displaying nodes

    @JustusAdam
    JustusAdam committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    656f367 View commit details
    Browse the repository at this point in the history

  2. Progress on test cases. 

    Non-transitive graph tests are migrated and no longer crash
    @JustusAdam
    JustusAdam committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    40d6868 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. Debug printing for new graphs 

    Moved CallString methods to pdg module
    @JustusAdam
    JustusAdam committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    3626715 View commit details
    Browse the repository at this point in the history

  2. Dumping flowistry graphs

    @JustusAdam
    JustusAdam committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    015dbd0 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2024

  1. False call edge config

    @JustusAdam
    JustusAdam committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    0afb874 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. First successes on test cases

    @JustusAdam
    JustusAdam committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    1659011 View commit details
    Browse the repository at this point in the history

  2. Removing dead code for CallOnlyFlow and flowistry pdg dot

    @JustusAdam
    JustusAdam committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    f127f5f View commit details
    Browse the repository at this point in the history

  3. MIR dumping

    @JustusAdam
    JustusAdam committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    34e2caf View commit details
    Browse the repository at this point in the history

  4. Simple and basic control flow test cases fixed and debugged

    @JustusAdam
    JustusAdam committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    8e8af43 View commit details
    Browse the repository at this point in the history

  5. "and" desugaring test case

    @JustusAdam
    JustusAdam committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    fa9fed0 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. Update flowistry

    @JustusAdam
    JustusAdam committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    926a086 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/flowistry-pdg' into flowistry-pdg

    @JustusAdam
    JustusAdam committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    3ff90c2 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Fixed all non_transitive_graph_tests cases

    @JustusAdam
    JustusAdam committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    8856319 View commit details
    Browse the repository at this point in the history

  2. Fixed the call_chain_analysis_tests

    @JustusAdam
    JustusAdam committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    068e632 View commit details
    Browse the repository at this point in the history

  3. Moving test cases to new format and fix all ctrl flow test

    @JustusAdam
    JustusAdam committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    e42f5a3 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. Fixing determine_place_type for async functions

    @JustusAdam
    JustusAdam committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    33fb971 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Fixing place type resolution

    @JustusAdam
    JustusAdam committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    91fd222 View commit details
    Browse the repository at this point in the history

  2. new_alias_analysis_tests now work

    @JustusAdam
    JustusAdam committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    976d6b8 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. Clippy and formatting

    @JustusAdam
    JustusAdam committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    05a31b7 View commit details
    Browse the repository at this point in the history

  2. Return nodes should be optional

    @JustusAdam
    JustusAdam committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    9598f92 View commit details
    Browse the repository at this point in the history

  3. Basic test case fixes

    @JustusAdam
    JustusAdam committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    ad923c6 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2024

  1. Add missing await

    @JustusAdam
    JustusAdam committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    515e7c4 View commit details
    Browse the repository at this point in the history

  2. Debugging always_happens_before

    @JustusAdam
    JustusAdam committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    9b1e434 View commit details
    Browse the repository at this point in the history

  3. Experimenting with a different input function

    @JustusAdam
    JustusAdam committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    8381c01 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. Works without skip now.

    @JustusAdam
    JustusAdam committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    61478e8 View commit details
    Browse the repository at this point in the history

  2. Adapt test cases to semantics of new alias analysis

    @JustusAdam
    JustusAdam committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    73f6226 View commit details
    Browse the repository at this point in the history

  3. Removing dbg statement

    @JustusAdam
    JustusAdam committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    08db185 View commit details
    Browse the repository at this point in the history

  4. WIP async test cases

    @JustusAdam
    JustusAdam committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    daa2741 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. Refactor converters

    @JustusAdam
    JustusAdam committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    f11b124 View commit details
    Browse the repository at this point in the history

  2. Even more splitting

    @JustusAdam
    JustusAdam committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    ee253bc View commit details
    Browse the repository at this point in the history

  3. Fix return value recognition for async controllers

    @JustusAdam
    JustusAdam committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    c57467e View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Finished evaluating test cases 

    Unified test template with skip template, now uses #[ignore]
Test template instantiations now simply forward fragments
Marker tests are skipped completely for now
Debugged last tests cases, issues are reported in willcrichton/flowistry#93 and willcrichton/flowistry#94
Fixed propagating marker skip from async function to their generators
Added new test cases for discovered issues
    @JustusAdam
    JustusAdam committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    b07cd42 View commit details
    Browse the repository at this point in the history

  2. Bumping flowistry dependency

    @JustusAdam
    JustusAdam committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    d9f6f20 View commit details
    Browse the repository at this point in the history

  3. Another test case for issue willcrichton/flowistry#94

    @JustusAdam
    JustusAdam committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    5c83934 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/main' into flowistry-pdg

    @JustusAdam
    JustusAdam committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    1fa3084 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. Swap in the judge

    @JustusAdam
    JustusAdam committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    605c567 View commit details
    Browse the repository at this point in the history

  2. Updating Flowistry

    @JustusAdam
    JustusAdam committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    2b2c78c View commit details
    Browse the repository at this point in the history

  3. Move async handling into marker context

    @JustusAdam
    JustusAdam committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    1faceef View commit details
    Browse the repository at this point in the history

  4. Display markers in dot

    @JustusAdam
    JustusAdam committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    0188e30 View commit details
    Browse the repository at this point in the history

  5. Attach markers to the correct id

    @JustusAdam
    JustusAdam committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    968a7bf View commit details
    Browse the repository at this point in the history

  6. Fix basic policy test case 

    Force paralegal-flow binary compilation in test utils.
Fix marker attachment to nodes
Fix checking for marker assignment
Show markers in dot
    @JustusAdam
    JustusAdam committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    829e1cb View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. Debugged two test cases

    @JustusAdam
    JustusAdam committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    4f7b03c View commit details
    Browse the repository at this point in the history

  2. use node clusters

    @JustusAdam
    JustusAdam committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    0c925ab View commit details
    Browse the repository at this point in the history

  3. Update to clustering, fixed last policy test case

    @JustusAdam
    JustusAdam committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    400a657 View commit details
    Browse the repository at this point in the history

  4. Emit node indices for easier debugging

    @JustusAdam
    JustusAdam committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    8ecdad9 View commit details
    Browse the repository at this point in the history

  5. Update websubmit for new API

    @JustusAdam
    JustusAdam committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    5f06265 View commit details
    Browse the repository at this point in the history

  6. Clippy

    @JustusAdam
    JustusAdam committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    6bece6e View commit details
    Browse the repository at this point in the history

  7. Clippy

    @JustusAdam
    JustusAdam committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    d7432ba View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Fixing dot representation when rustc is not linked

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    17e2ebb View commit details
    Browse the repository at this point in the history

  2. Remove integration test

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    8d1bf86 View commit details
    Browse the repository at this point in the history

  3. Doc fixes

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    f005417 View commit details
    Browse the repository at this point in the history

  4. Fix async skip handling in flowistry

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    b7ec2a8 View commit details
    Browse the repository at this point in the history

  5. Pass unstable options

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    95d1e3f View commit details
    Browse the repository at this point in the history

  6. Remove unused cmd options and dead code

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    b424977 View commit details
    Browse the repository at this point in the history

  7. Fix resolver

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    df04d0d View commit details
    Browse the repository at this point in the history

  8. Remove random printlns

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d813a71 View commit details
    Browse the repository at this point in the history

  9. Fix programmatic analyzer invocation

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    0cb5bac View commit details
    Browse the repository at this point in the history

  10. Small adjustment to deletion policy

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    e7d6dbe View commit details
    Browse the repository at this point in the history

  11. Remove dead code

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    72d3ad0 View commit details
    Browse the repository at this point in the history

  12. Unrecognized arguments

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    3aa19b0 View commit details
    Browse the repository at this point in the history

  13. Forwarding of cargo args

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    df37f0e View commit details
    Browse the repository at this point in the history

  14. [WIP] Fixing plume policy

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    b073731 View commit details
    Browse the repository at this point in the history

  15. Empty workflow for status check

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    37b0a03 View commit details
    Browse the repository at this point in the history

  16. Empty steps

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    a1c4d68 View commit details
    Browse the repository at this point in the history

  17. Documentation

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    122fba3 View commit details
    Browse the repository at this point in the history

  18. Format

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    8c15d94 View commit details
    Browse the repository at this point in the history

  19. Correcting some errors with the macro definition

    @JustusAdam
    JustusAdam committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    73324f5 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. make sure rustc_plugin doesn't select --all

    @JustusAdam
    JustusAdam committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    ba19bc4 View commit details
    Browse the repository at this point in the history

  2. No need to collect

    @JustusAdam
    JustusAdam committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    ada2b86 View commit details
    Browse the repository at this point in the history

  3. Formatter

    @JustusAdam
    JustusAdam committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    1f95ee7 View commit details
    Browse the repository at this point in the history