Code

Feature Taint Analysis#738

Code

Open

fabianbs96 wants to merge 33 commits intodevelopmentsecure-software-engineering/phasar:developmentfrom f-FeatureTaintAnalysissecure-software-engineering/phasar:f-FeatureTaintAnalysisCopy head branch name to clipboard

+1,888-68

Commits

Commits on Mar 24, 2024

• Add feature-taint analysis (WIP)

  fabianbs96

  committed
  05298c5

  Copy full SHA for 05298c5

Commits on Mar 26, 2024

• gen from zero in CTR-EF

  fabianbs96

  committed
  4f7e593

  Copy full SHA for 4f7e593

• Add alloca flow

  fabianbs96

  committed
  e6598b4

  Copy full SHA for e6598b4

• generate at fallback insts

  fabianbs96

  committed
  3ea6631

  Copy full SHA for 3ea6631

Commits on Apr 18, 2024

• Tie the EF semi-ring to the problem + integrate into solver

  fabianbs96

  committed
  79c46cf

  Copy full SHA for 79c46cf

• Incorporate combine and extend into IIA

  fabianbs96

  committed
  dd68906

  Copy full SHA for dd68906

Commits on Apr 20, 2024

• minor

  fabianbs96

  committed
  ad25ac4

  Copy full SHA for ad25ac4

Commits on Apr 22, 2024

• Merge branch 'f-EFSemiRingInProblem' into f-FeatureTaintAnalysis

  fabianbs96

  committed
  13fb47f

  Copy full SHA for 13fb47f

• Make the FTaint Analysis work on the iia tests (not all pass, though)

  fabianbs96

  committed
  ed5ca47

  Copy full SHA for ed5ca47

Commits on Apr 23, 2024

• Fix IIA

  fabianbs96

  committed
  4f3ba96

  Copy full SHA for 4f3ba96

• Fix call handling (TODO: Should we strong update pointer args?)

  fabianbs96

  committed
  9d5de40

  Copy full SHA for 9d5de40

• Rename FeatureTaintAnalysis to FeatureInteractionAnalysis

  fabianbs96

  committed
  0adaae8

  Copy full SHA for 0adaae8

Commits on May 19, 2024

• Add taints for args at callsite

  fabianbs96

  committed
  b007669

  Copy full SHA for b007669

Commits on May 20, 2024

• Add FTaint Analysis to controller

  fabianbs96

  committed
  4f73b80

  Copy full SHA for 4f73b80

Commits on May 21, 2024

• rename

  fabianbs96

  committed
  a7adbab

  Copy full SHA for a7adbab

Commits on Jun 11, 2024

• rename FIIA Domain

  fabianbs96

  committed
  0e1ad69

  Copy full SHA for 0e1ad69

• rename

  fabianbs96

  committed
  4753f66

  Copy full SHA for 4753f66

• Make PathSensitivityManagerMixin more self-contained

  fabianbs96

  committed
  a3b9b67

  Copy full SHA for a3b9b67

Commits on Jun 19, 2024

• Fix top edge facts + further debugging

  fabianbs96

  committed
  6e883d7

  Copy full SHA for 6e883d7

Commits on Aug 9, 2024

• Merge branch 'development' into f-FeatureTaintAnalysis

  fabianbs96

  committed
  c24ed2e

  Copy full SHA for c24ed2e

• IMprove alias handling in store ff

  fabianbs96

  committed
  d940b7e

  Copy full SHA for d940b7e

• Handle memset + add one more rvo test

  fabianbs96

  committed
  7a05228

  Copy full SHA for 7a05228

Commits on Sep 10, 2024

• cs taints do not hold within callees

  fabianbs96

  committed
  9fbc417

  Copy full SHA for 9fbc417

Commits on Oct 8, 2024

• Fix unionWith in IDEFeatureTaintEdgeFact

  fabianbs96

  committed
  d8b5a3c

  Copy full SHA for d8b5a3c

Commits on Nov 13, 2024

• some cleanup

  fabianbs96

  committed
  5a7a126

  Copy full SHA for 5a7a126

• Merge branch 'development' into f-FeatureTaintAnalysis

  fabianbs96

  committed
  404e081

  Copy full SHA for 404e081

• fix bugs introduced by merge

  fabianbs96

  committed
  926ec4f

  Copy full SHA for 926ec4f

Commits on Nov 29, 2024

• Start adding global_5 test

  fabianbs96

  committed
  bfc76ed

  Copy full SHA for bfc76ed

Commits on Dec 17, 2024

• Add print on error to debug the ci

  fabianbs96

  committed
  0207c1f

  Copy full SHA for 0207c1f

Commits on Jan 5, 2025

• Start fixing CI for FIIA

  fabianbs96

  committed
  402eec1

  Copy full SHA for 402eec1

• Add missing ground-truth for FIIA RVO and Global

  fabianbs96

  committed
  46338ba

  Copy full SHA for 46338ba

• CI Fix for FIIA GlobalTest_05

  fabianbs96

  committed
  ca67f0c

  Copy full SHA for ca67f0c

• Fix buffer overflow

  fabianbs96

  committed
  381e9e7

  Copy full SHA for 381e9e7