Code

Propagating field information #294

Code

Merged

VincenzoArceri merged 7 commits intomasterlisa-analyzer/lisa:masterfrom field-sensitive-fixlisa-analyzer/lisa:field-sensitive-fixCopy head branch name to clipboardOct 27, 2023

+125-73

Commits

Commits on Oct 16, 2023

• Propagating field information #293

  lucaneg

  committed
  bb7e271

  Copy full SHA for bb7e271

Commits on Oct 19, 2023

• Allowing subclassing through mk()

  lucaneg

  committed
  0ed21e8

  Copy full SHA for 0ed21e8

• Allowing subclasses to access field information

  lucaneg

  committed
  fb6b2c9

  Copy full SHA for fb6b2c9

• Fixing allInstances method for reference type

  VincenzoArceri

  committed
  ce0700b

  Copy full SHA for ce0700b

• Fixing commonSuperType and canBeAssignedTo methods for ReferenceType

  VincenzoArceri

  committed
  26841f9

  Copy full SHA for 26841f9

Commits on Oct 25, 2023

• Regenerated tests

  lucaneg

  committed
  e6a7e59

  Copy full SHA for e6a7e59

• Spotless

  lucaneg

  committed
  75be2cc

  Copy full SHA for 75be2cc