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

Difficulty in obtaining pointer IDs of memory objects corresponding to pointer variables

Status: Open.

#1791 In SVF-tools/SVF;

· theeshaan opened on Feb 20, 2026

Increased analysis time since SVF 2.5

Status: Open.

#1790 In SVF-tools/SVF;

· mortkever opened on Feb 12, 2026

Unable to run context-sensitive pointer analysis

Status: Open.

#1784 In SVF-tools/SVF;

· theeshaan opened on Jan 15, 2026

Inconsistent field sensitivity for array accesses

Status: Open.

#1779 In SVF-tools/SVF;

· Yanhaoxi opened on Dec 21, 2025