Code

Filtered AliasSet#723

Code

Open

fabianbs96 wants to merge 10 commits intodevelopmentsecure-software-engineering/phasar:developmentfrom f-FilteredAliasSetsecure-software-engineering/phasar:f-FilteredAliasSetCopy head branch name to clipboard

+595-18

Commits

Commits on May 10, 2024

• Add alias set filter

  fabianbs96

  committed
  d1891f5

  Copy full SHA for d1891f5

• Add test

  fabianbs96

  committed
  52b24a0

  Copy full SHA for 52b24a0

Commits on May 12, 2024

• apply review comments from vulder

  fabianbs96

  committed
  4e10792

  Copy full SHA for 4e10792

• Add caching for reachable allocation sites

  fabianbs96

  committed
  e1e8fb5

  Copy full SHA for e1e8fb5

• Bugfix

  fabianbs96

  committed
  5ef3331

  Copy full SHA for 5ef3331

Commits on May 13, 2024

• adding noexcept

  fabianbs96

  committed
  f027b39

  Copy full SHA for f027b39

Commits on May 18, 2024

• Rename Context to AliasQueryInst in IFDSTaintAnalysis

  fabianbs96

  committed
  9000760

  Copy full SHA for 9000760

Commits on Aug 8, 2024

• Merge branch 'development' into f-FilteredAliasSet

  fabianbs96

  authored
  5b31ecd

  Copy full SHA for 5b31ecd

Commits on Aug 9, 2024

• Merge branch 'development' into f-FilteredAliasSet

  fabianbs96

  authored
  da93441

  Copy full SHA for da93441

Commits on Nov 28, 2024

• Merge branch 'development' into f-FilteredAliasSet

  fabianbs96

  committed
  e1ff500

  Copy full SHA for e1ff500