Commits

Breadcrumbs

History for

onf-FixPathTrackingForLoops

User selector

All users

All time

Commit History

Commits on Oct 21, 2025

• Add more general version of pathGraphToAll that accepts a range of <inst, fact> pairs.

  fabianbs96

  committed
  f80e999

  Copy full SHA for f80e999

• Merge branch 'development' into f-FixPathTrackingForLoops

  fabianbs96

  committed
  1313d3e

  Copy full SHA for 1313d3e

Commits on Oct 12, 2025

• GCC Compatibility (#787)

  Show description for a5c611a
  fabianbs96

  authored
  a5c611a

  Copy full SHA for a5c611a

Commits on Sep 11, 2025

• Remove boost from BitVectorSet (#788)

  Show description for 10483a3
  fabianbs96

  authored
  10483a3

  Copy full SHA for 10483a3

Commits on Sep 8, 2025

• Some fixes in the IterativeIDESolver (#782)

  Show description for 776600f
  fabianbs96

  authored
  776600f

  Copy full SHA for 776600f

• Dbg-Info based Type Matching (#791)

  Show description for 814ae82
  

  mxHuber

  and

  fabianbs96

  authored
  814ae82

  Copy full SHA for 814ae82

• Call-Graph Improvements (#785)

  Show description for 1e857b1
  fabianbs96

  authored
  1e857b1

  Copy full SHA for 1e857b1

Commits on Sep 5, 2025

• SourceCode-based IFDS/IDE UnitTests (#789)

  Show description for 0024a53
  

  mxHuber

  and

  fabianbs96

  authored
  0024a53

  Copy full SHA for 0024a53

• Refactor AnalysisPrinter (#790)

  Show description for 501c7e3
  fabianbs96

  authored
  501c7e3

  Copy full SHA for 501c7e3

Commits on Jul 27, 2025

• Fix Type-based Call-Graphs with Multiple Inheritance (#776)

  Show description for e5e20ba
  

  3 peopleauthored
  e5e20ba

  Copy full SHA for e5e20ba

Commits on Jul 25, 2025

• Misc Changes (#773)

  Show description for 6352566
  

  4 peopleauthored
  6352566

  Copy full SHA for 6352566

Commits on Jun 30, 2025

• Example Programs (#774)

  Show description for e3908bd
  fabianbs96

  authored
  e3908bd

  Copy full SHA for e3908bd

Commits on Jun 21, 2025

• Added c++ 20 modules support (#775)

  Show description for f5a9b43
  

  mxHuber

  and

  fabianbs96

  authored
  f5a9b43

  Copy full SHA for f5a9b43

Commits on Jun 18, 2025

• Added default reachable allocation sites functions (#781)

  Show description for 64e8241
  

  mxHuber

  and

  fabianbs96

  authored
  64e8241

  Copy full SHA for 64e8241

Commits on May 28, 2025

• Improved Code Documentation (#771)

  Show description for ed7995a
  

  fabianbs96

  and

  mxHuber

  authored
  ed7995a

  Copy full SHA for ed7995a

Commits on May 26, 2025

• More Heap-Allocating Functions (#772)

  Show description for b56205d
  fabianbs96

  authored
  b56205d

  Copy full SHA for b56205d

Commits on May 19, 2025

• SVF Pointer Analyses (#767)

  Show description for 64412c5
  fabianbs96

  authored
  64412c5

  Copy full SHA for 64412c5

Commits on Apr 3, 2025

• Default Flow Functions (#768)

  Show description for 6e25891
  

  mxHuber

  and

  fabianbs96

  authored
  6e25891

  Copy full SHA for 6e25891

Commits on Apr 2, 2025

• Remove deprecated APIs and mark some others as deprecated (#766)

  fabianbs96

  authored
  9e0f2ca

  Copy full SHA for 9e0f2ca

Commits on Mar 24, 2025

• Mark Hexastore as deprecated (#764)

  Show description for 9915cae
  fabianbs96

  authored
  9915cae

  Copy full SHA for 9915cae

Commits on Mar 13, 2025

• Feature Taint Analysis (#738)

  Show description for 646a549
  

  fabianbs96

  and

  sritejakv

  authored
  646a549

  Copy full SHA for 646a549

Commits on Mar 5, 2025

• Update Phasar Config (#752)

  Show description for 332509b
  fabianbs96

  authored
  332509b

  Copy full SHA for 332509b

• Sparse IDE (#714)

  Show description for d9d0b65
  

  fabianbs96

  and

  mxHuber

  authored
  d9d0b65

  Copy full SHA for d9d0b65

Commits on Mar 4, 2025

• Opaque Pointers Integration (#730)

  Show description for 751a984
  

  3 peopleauthored
  751a984

  Copy full SHA for 751a984

Commits on Feb 22, 2025

• Filtered AliasSet (#723)

  Show description for cd5f556
  fabianbs96

  authored
  cd5f556

  Copy full SHA for cd5f556

Commits on Feb 14, 2025

• Fixes missing include for IIAA (#748)

  vulder

  authored
  6d3f495

  Copy full SHA for 6d3f495

• Fixes operator less than for CallStringCTX (#747)

  vulder

  authored
  bdcf46b

  Copy full SHA for bdcf46b

• Simplifications in Helper Analyses (#740)

  Show description for c11482c
  

  fabianbs96

  and

  sritejakv

  authored
  c11482c

  Copy full SHA for c11482c

Commits on Feb 10, 2025

• Extract More Information from Debug Info (#742)

  Show description for 2f0d6c5
  

  fabianbs96

  and

  sritejakv

  authored
  2f0d6c5

  Copy full SHA for 2f0d6c5

Commits on Feb 7, 2025

• feat/conan2 (#744)

  Show description for 2c111b5
  

  jusito

  and

  fabianbs96

  authored
  2c111b5

  Copy full SHA for 2c111b5

Commits on Feb 6, 2025

• Misc fixes (#743)

  Show description for 590f19f
  

  fabianbs96

  and

  fabianbs

  authored
  590f19f

  Copy full SHA for 590f19f

Commits on Jan 24, 2025

• Start adding max unroll factor

  fabianbs96

  committed
  37a67ae

  Copy full SHA for 37a67ae

• Add strongly-typed NodeId to explicit-ESG + add default PSM + add path-length filter

  fabianbs96

  committed
  a25876d

  Copy full SHA for a25876d

Commits on Nov 10, 2024

• Pull in the IDESolver++ (aka. IterativeIDESolver) (#733)

  Show description for 64a7233
  fabianbs96

  authored
  64a7233

  Copy full SHA for 64a7233

Commits on Oct 22, 2024

• Split LLVMBasedICFG (#726)

  Show description for bb86c25
  fabianbs96

  authored
  bb86c25

  Copy full SHA for bb86c25