Code

Fix taint analysis#648

Code

Merged

MMory merged 6 commits intodevelopmentsecure-software-engineering/phasar:developmentfrom f-FixTaintAnalysissecure-software-engineering/phasar:f-FixTaintAnalysisCopy head branch name to clipboardAug 2, 2023

+177-142

Commits

Commits on Jul 7, 2023

• Move Source/Sink/Sanitizer handling from CTR to Summary FF preventing those functions from being analyzed

  fabianbs96

  committed
  c8b9e36

Commits on Jul 31, 2023

• Fix TA summary FF

  fabianbs96

  committed
  566c09a

• Add insertvalue and bitcast handling

  fabianbs96

  committed
  b6c84fb

• Improve alias-handling in TA

  fabianbs96

  committed
  57661fe

• minor style

  fabianbs96

  committed
  93de96d

• Merge branch 'development' into f-FixTaintAnalysis

  fabianbs96

  authored
  34c18ec