Search results

Edge case occurs in store analysis of vtable assignment when using std::function

Status: Open.

#1751 In SVF-tools/SVF;

· FXTi opened on Sep 15, 2025

AndersenWaveDiff->solveAndwritePtsToFile has an error when storing pointer analysis results to a file

Status: Open.

#1750 In SVF-tools/SVF;

· Kolt1911 opened on Sep 2, 2025

Question about garbage collection support in PersistentPointsToCache

Status: Open.

#1749 In SVF-tools/SVF;

· Yang-CUHK opened on Aug 31, 2025

SEGV in update ICFG by andersen pointer analysis callgraph

Status: Open.

#1747 In SVF-tools/SVF;

· goldthree-shit opened on Aug 25, 2025

Dumped dot files are not valid Graphviz format (contain stats instead of graph)

Status: Open.

#1745 In SVF-tools/SVF;

· esrss6998 opened on Aug 17, 2025

Why didn't Saber find the memory leak vulnerability? Is it because of the global variable?

Status: Open.

#1742 In SVF-tools/SVF;

· puzhuoliu opened on Aug 10, 2025

FSMPTA

Status: Open.

#1741 In SVF-tools/SVF;

· NeyagapulaSiddhartha opened on Aug 5, 2025

Flow-Sensitive Alias Analysis in SVF Using ASAN

Status: Open.

#1740 In SVF-tools/SVF;

· xijiaxin2665073132 opened on Jul 30, 2025

Can SVF's pointer analysis precisely determine which specific field of a global variable a pointer points to?

Status: Open.

#1739 In SVF-tools/SVF;

· Lqs66 opened on Jul 29, 2025

An error occurred while analyzing the latest version of xmllint

Status: Open.

#1738 In SVF-tools/SVF;

· kittener opened on Jul 18, 2025

SVF: SVFVar does not have a definition??

Status: Open.

#1734 In SVF-tools/SVF;

· CyanM0un opened on Jul 4, 2025

🚀 [Feature Request] Support Saving and Loading PAG Cache to Accelerate Repeated Analysis

Status: Open.

#1731 In SVF-tools/SVF;

· 101010zyl opened on Jun 25, 2025