Code

Sparse IDE#714

Code

Open

fabianbs96 wants to merge 20 commits intodevelopmentsecure-software-engineering/phasar:developmentfrom f-SparseIDEsecure-software-engineering/phasar:f-SparseIDECopy head branch name to clipboard

+1,077-22

Commits

Commits on Mar 29, 2024

• Start with sparse ICFG

  fabianbs96

  committed
  0c6d0c0

  Copy full SHA for 0c6d0c0

Commits on Apr 1, 2024

• Build sparse CFG (not tested yet)

  fabianbs96

  committed
  58d4f67

  Copy full SHA for 58d4f67

Commits on Apr 4, 2024

• Integrate Sparse CFG into IDESolver + add test (WIP)

  fabianbs96

  committed
  acc467d

  Copy full SHA for acc467d

Commits on Apr 7, 2024

• Make sparse IDE work for linear constant analysis

  fabianbs96

  committed
  fd00f1f

  Copy full SHA for fd00f1f

• Add taint analysis to SparseIDETest (passes) -- NO SPARSITY!!

  fabianbs96

  committed
  833a139

  Copy full SHA for 833a139

• minor

  fabianbs96

  committed
  93087b0

  Copy full SHA for 93087b0

Commits on Jun 9, 2024

• Select right opt tool for mem2reg

  fabianbs96

  committed
  d101dc7

  Copy full SHA for d101dc7

• Introduce PSR_FWD

  fabianbs96

  committed
  a9dc76f

  Copy full SHA for a9dc76f

• Integrate sparse ifds taint analysis into phasar-cli

  fabianbs96

  committed
  ca3b968

  Copy full SHA for ca3b968

• Merge branch 'development' into f-SparseIDE

  fabianbs96

  committed
  2167bbe

  Copy full SHA for 2167bbe

• Fix build after merge from dev +relax opt path requirement

  fabianbs96

  committed
  9523fe5

  Copy full SHA for 9523fe5

• Fix opt-tool selection

  fabianbs96

  committed
  c4994e0

  Copy full SHA for c4994e0

• fallback

  fabianbs96

  committed
  cf14f78

  Copy full SHA for cf14f78

Commits on Oct 14, 2024

• Merge branch 'development' into f-SparseIDE

  fabianbs96

  committed
  cdb2f85

  Copy full SHA for cdb2f85

Commits on Oct 18, 2024

• Fixed seqfault if find() = end()

  mxHuber

  committed
  0d0b592

  Copy full SHA for 0d0b592

Commits on Oct 29, 2024

• AliasAnalysis for fuzzyMayAlias

  mxHuber

  committed
  8f820b3

  Copy full SHA for 8f820b3

Commits on Oct 30, 2024

• changed to LLVMAliasInfoRef

  mxHuber

  committed
  3dbc530

  Copy full SHA for 3dbc530

Commits on Nov 28, 2024

• some cleanup

  fabianbs96

  committed
  dcb239d

  Copy full SHA for dcb239d

• Merge branch 'development' into f-SparseIDE

  fabianbs96

  committed
  2335d4e

  Copy full SHA for 2335d4e

Commits on Dec 15, 2024

• minor

  fabianbs96

  committed
  c9d9ba1

  Copy full SHA for c9d9ba1