Code

Beta9 roundup#289

Code

Merged

lucaneg merged 53 commits intomasterlisa-analyzer/lisa:masterfrom beta9lisa-analyzer/lisa:beta9Copy head branch name to clipboardOct 9, 2023

+20,977-10,471

Commits

Commits on Sep 6, 2023

• Customizability of widening points usage

  lucaneg

  committed
  f61b2b3

  Copy full SHA for f61b2b3

• Exposing callgraph to semantic checks

  lucaneg

  committed
  eaa833f

  Copy full SHA for eaa833f

• Disabling optimizations by default in cron tests

  lucaneg

  committed
  b895388

  Copy full SHA for b895388

Commits on Sep 7, 2023

• Minor refactorings

  lucaneg

  committed
  4387f2f

  Copy full SHA for 4387f2f

• Preventing syntactic structure change on call creation

  lucaneg

  committed
  4323231

  Copy full SHA for 4323231

• Fixing tests

  lucaneg

  committed
  55dac3b

  Copy full SHA for 55dac3b

• Moved exposed ops to AbstractState to prepare for generics elimination

  lucaneg

  committed
  4dbd26d

  Copy full SHA for 4dbd26d

• Removing non-essential type parameters from AnalysisState

  lucaneg

  committed
  8418f32

  Copy full SHA for 8418f32

Commits on Sep 8, 2023

• Using DefaultConfiguration for defaults #268

  lucaneg

  committed
  e3815b9

  Copy full SHA for e3815b9

• Flattening cron test structure

  lucaneg

  committed
  7d2a115

  Copy full SHA for 7d2a115

• Renaming variable() to fixedVariable() in NonRelationalElement #279

  lucaneg

  committed
  229430c

  Copy full SHA for 229430c

• FunctionalLattice.stateOfUnknown() for customization #279

  lucaneg

  committed
  a02125b

  Copy full SHA for a02125b

• Ensuring assignability to Untyped #284

  lucaneg

  committed
  ddfcaaa

  Copy full SHA for ddfcaaa

Commits on Sep 11, 2023

• Moving DomainRepresentation classes

  lucaneg

  committed
  ca3b2f8

  Copy full SHA for ca3b2f8

• Renamed DomainRepresentation to StructuredRepresentation

  lucaneg

  committed
  50562ff

  Copy full SHA for 50562ff

• StructuredObject for accessing representation method

  lucaneg

  committed
  98313a9

  Copy full SHA for 98313a9

• Removing type param from ExpressionSet

  lucaneg

  committed
  2f14160

  Copy full SHA for 2f14160

• Adding FixpointInfo #287

  lucaneg

  committed
  b44d850

  Copy full SHA for b44d850

• Supporting arraylength #288

  lucaneg

  committed
  a700f6c

  Copy full SHA for a700f6c

• Fixing javadoc

  lucaneg

  committed
  fea333e

  Copy full SHA for fea333e

Commits on Sep 13, 2023

• Substitutions for FieldSensitivePointBasedHeap

  lucaneg

  committed
  22b2079

  Copy full SHA for 22b2079

• Refactoring point-based heap analyses

  lucaneg

  committed
  3fbf1b7

  Copy full SHA for 3fbf1b7

Commits on Sep 14, 2023

• Documentation and formatting

  lucaneg

  committed
  423ef4a

  Copy full SHA for 423ef4a

• Adding ExpressionInverseSet

  lucaneg

  committed
  7e77c69

  Copy full SHA for 7e77c69

• Fixing javadoc visibility problems

  lucaneg

  committed
  1e73fab

  Copy full SHA for 1e73fab

Commits on Sep 18, 2023

• Fixing minor bugs

  lucaneg

  committed
  629e3c9

  Copy full SHA for 629e3c9

Commits on Sep 19, 2023

• Javadoc links

  lucaneg

  committed
  6a03e5d

  Copy full SHA for 6a03e5d

• SemanticDomain.knowsIdentifier() for querying info on id

  lucaneg

  committed
  66b7c83

  Copy full SHA for 66b7c83

Commits on Sep 20, 2023

• Annotations propagation for field insensitive point based heap analysis

  VincenzoArceri

  committed
  a4ae7ba

  Copy full SHA for a4ae7ba

Commits on Sep 21, 2023

• Add annotation propagations to field sensitive point-based heap analysis

  VincenzoArceri

  committed
  da2fcdb

  Copy full SHA for da2fcdb

• Apply spotless and Javadoc

  VincenzoArceri

  committed
  2b06a4d

  Copy full SHA for 2b06a4d

• Recursions work with top as default for NRVDs

  lucaneg

  committed
  a208102

  Copy full SHA for a208102

• Adding SemanticOracle to domains #291

  lucaneg

  committed
  60d095c

  Copy full SHA for 60d095c

Commits on Sep 27, 2023

• Using SemanticOracle to retrieve runtime types #291

  lucaneg

  committed
  121014c

  Copy full SHA for 121014c

• Avoiding rewriting of value expressions #291

  lucaneg

  committed
  898b911

  Copy full SHA for 898b911

Commits on Sep 28, 2023

• Supporting recursions #291

  lucaneg

  committed
  49eda2e

  Copy full SHA for 49eda2e

• Fixing rewriting #291

  lucaneg

  committed
  db68abb

  Copy full SHA for db68abb

• Changing formatting style and applying spotless + javadoc

  lucaneg

  committed
  1f05cbe

  Copy full SHA for 1f05cbe

• Merge remote-tracking branch 'origin/beta9' into anns-propagation

  lucaneg

  committed
  b2e030d

  Copy full SHA for b2e030d

• Merge pull request #290 from lisa-analyzer/anns-propagation

  Show description for fdd42df
  lucaneg

  authored
  fdd42df

  Copy full SHA for fdd42df

Commits on Oct 2, 2023

• Fixing recursion tests

  lucaneg

  committed
  31959f8

  Copy full SHA for 31959f8

• Default and unknown values at type level #280

  lucaneg

  committed
  217b756

  Copy full SHA for 217b756

• Removing 'forward' from dataflow class naming #120

  lucaneg

  committed
  7776342

  Copy full SHA for 7776342

Commits on Oct 3, 2023

• Infrastructure for backward analyses #120

  lucaneg

  committed
  88217bf

  Copy full SHA for 88217bf

• Fwd/Bwd edge traversal #120

  lucaneg

  committed
  cebe6fe

  Copy full SHA for cebe6fe

• Renaming forward semantics methods #120

  lucaneg

  committed
  81586ba

  Copy full SHA for 81586ba

Commits on Oct 6, 2023

• Methods renaming #120

  lucaneg

  committed
  fe14abc

  Copy full SHA for fe14abc

• Fixing tests #120

  lucaneg

  committed
  9827722

  Copy full SHA for 9827722

• Minor refactorings

  lucaneg

  committed
  820abcf

  Copy full SHA for 820abcf

• Liveness analysis #120

  lucaneg

  committed
  2543b47

  Copy full SHA for 2543b47

Commits on Oct 9, 2023

• Finalizing backward tests #120

  lucaneg

  committed
  896d23b

  Copy full SHA for 896d23b

• Memory oracle methods #291

  lucaneg

  committed
  bd00779

  Copy full SHA for bd00779

• Bumping version number

  lucaneg

  committed
  eac22a8

  Copy full SHA for eac22a8