Code

Memsafety and memcleanup#322

Code

Merged

leventeBajczi merged 25 commits intomasterftsrg/theta:masterfrom memsafetyftsrg/theta:memsafetyCopy head branch name to clipboardNov 14, 2024

+636-54

Commits

Commits on Nov 12, 2024

• Added support for memsafety and memcleanup

  leventeBajczi

  committed
  d0db083

• Added memcleanup

  leventeBajczi

  committed
  56edf4a

• version bump

  leventeBajczi

  committed
  12b16fd

• Merge branch 'master' into memsafety

  leventeBajczi

  authored
  99b0766

• fixed pointer arithmetic check

  leventeBajczi

  committed
  955f0de

• Merge branch 'master' into memsafety

  leventeBajczi

  authored
  85937a9

• Handling fix-sized arrays

  leventeBajczi

  committed
  38c8235

• Disabled non-linux bounded portfolio test

  leventeBajczi

  committed
  913b15b

• Version bump

  leventeBajczi

  committed
  d8838cf

• Sigkill after Sigterm in test

  leventeBajczi

  committed
  bef071b

• fix syntax

  leventeBajczi

  committed
  3747bc5

• More resilient

  leventeBajczi

  committed
  572efa6

• fix order

  leventeBajczi

  committed
  e6d7a38

Commits on Nov 13, 2024

• Portfolio is now better

  leventeBajczi

  committed
  abb6d06

• Removing normal errors

  leventeBajczi

  committed
  8840a7e

• Fixed optimizing locations and scoped arrays

  leventeBajczi

  committed
  02fb1b9

• Added better logging of subproperty

  leventeBajczi

  committed
  b7946ff

• Determining property now

  leventeBajczi

  committed
  38ba862

• fix memtrack

  leventeBajczi

  committed
  8a95eef

• Fix bug and better memtrack

  leventeBajczi

  committed
  3165862

• Added comment on assumptions and dereferences

  leventeBajczi

  committed
  82efcc2

Commits on Nov 14, 2024

• Fixed reference elimination when params are dereffd

  leventeBajczi

  committed
  62dd365

• Handling unknowns better

  leventeBajczi

  committed
  99427b5

• Instead of exception, only working when scope is found

  leventeBajczi

  committed
  b36d87f

• Merge branch 'master' into memsafety

  leventeBajczi

  authored
  577d4d6