Code

Integrate PDGs created by Flowistry#119

Code

Merged

JustusAdam merged 89 commits intomainbrownsys/paralegal:mainfrom flowistry-pdgbrownsys/paralegal:flowistry-pdgCopy head branch name to clipboardFeb 21, 2024

+4,195-10,758

Commits

Commits on Dec 4, 2023

• [WIP] Updating deps, cutting code

  JustusAdam

  committed
  c6b982d

  Copy full SHA for c6b982d

Commits on Dec 5, 2023

• [WIP] Bump flowistry again, remove more code

  JustusAdam

  committed
  37e32fa

  Copy full SHA for 37e32fa

• [WIP] Fixed some of the type/migration errors

  JustusAdam

  committed
  226b8c0

  Copy full SHA for 226b8c0

Commits on Dec 6, 2023

• Compile errors fixed

  Show description for 2dbcf70
  JustusAdam

  committed
  2dbcf70

  Copy full SHA for 2dbcf70

• Fix test case compilation

  JustusAdam

  committed
  f23b31b

  Copy full SHA for f23b31b

Commits on Dec 7, 2023

• [WIP] Graph compression

  JustusAdam

  committed
  0efd35f

  Copy full SHA for 0efd35f

• WIP Graph condensing

  JustusAdam

  committed
  be6a9ac

  Copy full SHA for be6a9ac

• Compression sketch

  JustusAdam

  committed
  fb43a09

  Copy full SHA for fb43a09

• Slowly working towards running tests

  JustusAdam

  committed
  bf75d55

  Copy full SHA for bf75d55

Commits on Dec 15, 2023

• Merge branch 'main' into flowistry-pdg

  JustusAdam

  committed
  2a5ac69

  Copy full SHA for 2a5ac69

Commits on Dec 18, 2023

• Setup for SDPG integration

  JustusAdam

  committed
  9077259

  Copy full SHA for 9077259

• Merge branch 'main' into flowistry-pdg

  Show description for ef31414
  JustusAdam

  committed
  ef31414

  Copy full SHA for ef31414

Commits on Dec 23, 2023

• [WIP] integrating new PDG

  JustusAdam

  committed
  8aaaf0c

  Copy full SHA for 8aaaf0c

Commits on Dec 25, 2023

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

  JustusAdam

  committed
  84cb839

  Copy full SHA for 84cb839

Commits on Dec 26, 2023

• [WIP] It compiles

  JustusAdam

  committed
  ba4caa3

  Copy full SHA for ba4caa3

• Cargo fix

  JustusAdam

  committed
  dd07a0e

  Copy full SHA for dd07a0e

• Fmt and fix warnings

  JustusAdam

  committed
  cda0021

  Copy full SHA for cda0021

Commits on Dec 28, 2023

• Finished Flowistry update.

  Show description for 8fe7ee6
  JustusAdam

  committed
  8fe7ee6

  Copy full SHA for 8fe7ee6

Commits on Dec 30, 2023

• Format and clippy

  JustusAdam

  committed
  5610d3d

  Copy full SHA for 5610d3d

Commits on Jan 3, 2024

• Displaying nodes

  JustusAdam

  committed
  656f367

  Copy full SHA for 656f367

• Progress on test cases.

  Show description for 40d6868
  JustusAdam

  committed
  40d6868

  Copy full SHA for 40d6868

Commits on Jan 5, 2024

• Debug printing for new graphs

  Show description for 3626715
  JustusAdam

  committed
  3626715

  Copy full SHA for 3626715

• Dumping flowistry graphs

  JustusAdam

  committed
  015dbd0

  Copy full SHA for 015dbd0

Commits on Jan 13, 2024

• False call edge config

  JustusAdam

  committed
  0afb874

  Copy full SHA for 0afb874

Commits on Jan 19, 2024

• First successes on test cases

  JustusAdam

  committed
  1659011

  Copy full SHA for 1659011

• Removing dead code for CallOnlyFlow and flowistry pdg dot

  JustusAdam

  committed
  f127f5f

  Copy full SHA for f127f5f

• MIR dumping

  JustusAdam

  committed
  34e2caf

  Copy full SHA for 34e2caf

• Simple and basic control flow test cases fixed and debugged

  JustusAdam

  committed
  8e8af43

  Copy full SHA for 8e8af43

• "and" desugaring test case

  JustusAdam

  committed
  fa9fed0

  Copy full SHA for fa9fed0

Commits on Jan 30, 2024

• Update flowistry

  JustusAdam

  committed
  926a086

  Copy full SHA for 926a086

• Merge remote-tracking branch 'origin/flowistry-pdg' into flowistry-pdg

  JustusAdam

  committed
  3ff90c2

  Copy full SHA for 3ff90c2

Commits on Feb 1, 2024

• Fixed all non_transitive_graph_tests cases

  JustusAdam

  committed
  8856319

  Copy full SHA for 8856319

• Fixed the call_chain_analysis_tests

  JustusAdam

  committed
  068e632

  Copy full SHA for 068e632

• Moving test cases to new format and fix all ctrl flow test

  JustusAdam

  committed
  e42f5a3

  Copy full SHA for e42f5a3

Commits on Feb 2, 2024

• Fixing determine_place_type for async functions

  JustusAdam

  committed
  33fb971

  Copy full SHA for 33fb971

Commits on Feb 6, 2024

• Fixing place type resolution

  JustusAdam

  committed
  91fd222

  Copy full SHA for 91fd222

• new_alias_analysis_tests now work

  JustusAdam

  committed
  976d6b8

  Copy full SHA for 976d6b8

Commits on Feb 8, 2024

• Clippy and formatting

  JustusAdam

  committed
  05a31b7

  Copy full SHA for 05a31b7

• Return nodes should be optional

  JustusAdam

  committed
  9598f92

  Copy full SHA for 9598f92

• Basic test case fixes

  JustusAdam

  committed
  ad923c6

  Copy full SHA for ad923c6

Commits on Feb 9, 2024

• Add missing await

  JustusAdam

  committed
  515e7c4

  Copy full SHA for 515e7c4

• Debugging always_happens_before

  JustusAdam

  committed
  9b1e434

  Copy full SHA for 9b1e434

• Experimenting with a different input function

  JustusAdam

  committed
  8381c01

  Copy full SHA for 8381c01

Commits on Feb 12, 2024

• Works without skip now.

  JustusAdam

  committed
  61478e8

  Copy full SHA for 61478e8

• Adapt test cases to semantics of new alias analysis

  JustusAdam

  committed
  73f6226

  Copy full SHA for 73f6226

• Removing dbg statement

  JustusAdam

  committed
  08db185

  Copy full SHA for 08db185

• WIP async test cases

  JustusAdam

  committed
  daa2741

  Copy full SHA for daa2741

Commits on Feb 13, 2024

• Refactor converters

  JustusAdam

  committed
  f11b124

  Copy full SHA for f11b124

• Even more splitting

  JustusAdam

  committed
  ee253bc

  Copy full SHA for ee253bc

• Fix return value recognition for async controllers

  JustusAdam

  committed
  c57467e

  Copy full SHA for c57467e

Commits on Feb 14, 2024

• Finished evaluating test cases

  Show description for b07cd42
  JustusAdam

  committed
  b07cd42

  Copy full SHA for b07cd42

• Bumping flowistry dependency

  JustusAdam

  committed
  d9f6f20

  Copy full SHA for d9f6f20

• Another test case for issue willcrichton/flowistry#94

  JustusAdam

  committed
  5c83934

  Copy full SHA for 5c83934

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

  JustusAdam

  committed
  1fa3084

  Copy full SHA for 1fa3084

Commits on Feb 15, 2024

• Swap in the judge

  JustusAdam

  committed
  605c567

  Copy full SHA for 605c567

• Updating Flowistry

  JustusAdam

  committed
  2b2c78c

  Copy full SHA for 2b2c78c

• Move async handling into marker context

  JustusAdam

  committed
  1faceef

  Copy full SHA for 1faceef

• Display markers in dot

  JustusAdam

  committed
  0188e30

  Copy full SHA for 0188e30

• Attach markers to the correct id

  JustusAdam

  committed
  968a7bf

  Copy full SHA for 968a7bf

• Fix basic policy test case

  Show description for 829e1cb
  JustusAdam

  committed
  829e1cb

  Copy full SHA for 829e1cb

Commits on Feb 19, 2024

• Debugged two test cases

  JustusAdam

  committed
  4f7b03c

  Copy full SHA for 4f7b03c

• use node clusters

  JustusAdam

  committed
  0c925ab

  Copy full SHA for 0c925ab

• Update to clustering, fixed last policy test case

  JustusAdam

  committed
  400a657

  Copy full SHA for 400a657

• Emit node indices for easier debugging

  JustusAdam

  committed
  8ecdad9

  Copy full SHA for 8ecdad9

• Update websubmit for new API

  JustusAdam

  committed
  5f06265

  Copy full SHA for 5f06265

• Clippy

  JustusAdam

  committed
  6bece6e

  Copy full SHA for 6bece6e

• Clippy

  JustusAdam

  committed
  d7432ba

  Copy full SHA for d7432ba

Commits on Feb 20, 2024

• Fixing dot representation when rustc is not linked

  JustusAdam

  committed
  17e2ebb

  Copy full SHA for 17e2ebb

• Remove integration test

  JustusAdam

  committed
  8d1bf86

  Copy full SHA for 8d1bf86

• Doc fixes

  JustusAdam

  committed
  f005417

  Copy full SHA for f005417

• Fix async skip handling in flowistry

  JustusAdam

  committed
  b7ec2a8

  Copy full SHA for b7ec2a8

• Pass unstable options

  JustusAdam

  committed
  95d1e3f

  Copy full SHA for 95d1e3f

• Remove unused cmd options and dead code

  JustusAdam

  committed
  b424977

  Copy full SHA for b424977

• Fix resolver

  JustusAdam

  committed
  df04d0d

  Copy full SHA for df04d0d

• Remove random printlns

  JustusAdam

  committed
  d813a71

  Copy full SHA for d813a71

• Fix programmatic analyzer invocation

  JustusAdam

  committed
  0cb5bac

  Copy full SHA for 0cb5bac

• Small adjustment to deletion policy

  JustusAdam

  committed
  e7d6dbe

  Copy full SHA for e7d6dbe

• Remove dead code

  JustusAdam

  committed
  72d3ad0

  Copy full SHA for 72d3ad0

• Unrecognized arguments

  JustusAdam

  committed
  3aa19b0

  Copy full SHA for 3aa19b0

• Forwarding of cargo args

  JustusAdam

  committed
  df37f0e

  Copy full SHA for df37f0e

• [WIP] Fixing plume policy

  JustusAdam

  committed
  b073731

  Copy full SHA for b073731

• Empty workflow for status check

  JustusAdam

  committed
  37b0a03

  Copy full SHA for 37b0a03

• Empty steps

  JustusAdam

  committed
  a1c4d68

  Copy full SHA for a1c4d68

• Documentation

  JustusAdam

  committed
  122fba3

  Copy full SHA for 122fba3

• Format

  JustusAdam

  committed
  8c15d94

  Copy full SHA for 8c15d94

• Correcting some errors with the macro definition

  JustusAdam

  committed
  73324f5

  Copy full SHA for 73324f5

Commits on Feb 21, 2024

• make sure rustc_plugin doesn't select --all

  JustusAdam

  committed
  ba19bc4

  Copy full SHA for ba19bc4

• No need to collect

  JustusAdam

  committed
  ada2b86

  Copy full SHA for ada2b86

• Formatter

  JustusAdam

  committed
  1f95ee7

  Copy full SHA for 1f95ee7