Search results

Not tracking pointers through casts and arithmetic

Status: Open.

#1840 In SVF-tools/SVF;

· Khosro-Moeini opened on Jun 12, 2026

Missing targets of global pointer array

Status: Open.

#1839 In SVF-tools/SVF;

· Khosro-Moeini opened on Jun 12, 2026

Missing targets of variadic function's argument

Status: Open.

#1838 In SVF-tools/SVF;

· Khosro-Moeini opened on Jun 12, 2026

Over-complicated handling of the ModelArrays option

Status: Open.

#1829 In SVF-tools/SVF;

· vonavi opened on May 29, 2026

a problem with std::function

Status: Open.

#1819 In SVF-tools/SVF;

· hiruwaKS opened on May 6, 2026

fspta fails on global initializer

Status: Open.

#1817 In SVF-tools/SVF;

· hiruwaKS opened on May 3, 2026

Segfault in AndersenWaveDiff::analyze() on ml-kem-512/clean combined IR

Status: Open.

#1802 In SVF-tools/SVF;

· parjavadian opened on Mar 18, 2026

Shared library globals cause unrelated functions to appear in value-flow due to common memory regions in MSSA

Status: Open.

#1799 In SVF-tools/SVF;

· hadi81 opened on Mar 11, 2026

Increased analysis time since SVF 2.5

Status: Open.

#1790 In SVF-tools/SVF;

· mortkever opened on Feb 12, 2026

Inconsistent field sensitivity for array accesses

Status: Open.

#1779 In SVF-tools/SVF;

· Yanhaoxi opened on Dec 21, 2025

On new CFL-r solver integration

Status: Open.

#1775 In SVF-tools/SVF;

· gsvgit opened on Dec 11, 2025

How to build a subgraph instead of a full graph (SVFG)

Status: Open.

#1771 In SVF-tools/SVF;

· void0red opened on Dec 2, 2025