Search results

hasUseList() build break on LLVM 16-20 in ObjTypeInference.cpp

Status: Open.

#1864 In SVF-tools/SVF;

· Acture opened on Jul 9, 2026

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

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

内存分区inter选项的之后的InterDisjointMRG 的 getMRsForLoad 实现问题

Status: Open.

#1767 In SVF-tools/SVF;

· changshengyun opened on Nov 9, 2025