Issues

• SVF-AE BufOverflowDetector crashes on pinned SV-COMP list task

  SVF-tools/SVF#1943 · Filter by author ExcitedAgent opened on Oct 27, 2026

• SVF-AE aborts on SV-COMP tasks with branch-condition and other assertions

  SVF-tools/SVF#1942 · Filter by author ExcitedAgent opened on Oct 27, 2026

• Calls through function aliases are treated as indirect, adding spurious virtual call targets

  SVF-tools/SVF#1940 · Filter by author aleksisch opened on Oct 21, 2026
  3

• Feature request: report sound lower and upper bounds for OOB buffer allocation sizes

  SVF-tools/SVF#1918 · Filter by author ExcitedAgent opened on Oct 9, 2026

• Steensgaard reports NoAlias for two pointers loaded from the same struct field

  SVF-tools/SVF#1895 · Filter by author Haocheng-Geng opened on Sep 20, 2026
  1

• AE misses buffer overflows in LLVM memcpy/memmove/memset intrinsics because rule names do not match

  SVF-tools/SVF#1891 · Filter by author aleksisch opened on Sep 17, 2026

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

  SVF-tools/SVF#1864 · Filter by author Acture opened on Jul 9, 2026

• Not tracking pointers through casts and arithmetic

  SVF-tools/SVF#1840 · Filter by author Khosro-Moeini opened on Jun 12, 2026
  2

• Missing targets of global pointer array

  SVF-tools/SVF#1839 · Filter by author Khosro-Moeini opened on Jun 12, 2026
  2

• Missing targets of variadic function's argument

  SVF-tools/SVF#1838 · Filter by author Khosro-Moeini opened on Jun 12, 2026
  3

• Over-complicated handling of the ModelArrays option

  SVF-tools/SVF#1829 · Filter by author vonavi opened on May 29, 2026
  1

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

  SVF-tools/SVF#1802 · Filter by author parjavadian opened on Mar 18, 2026
  1

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

  SVF-tools/SVF#1799 · Filter by author hadi81 opened on Mar 11, 2026
  5

• Increased analysis time since SVF 2.5

  SVF-tools/SVF#1790 · Filter by author mortkever opened on Feb 12, 2026
  1

• Inconsistent field sensitivity for array accesses

  SVF-tools/SVF#1779 · Filter by author Yanhaoxi opened on Dec 21, 2025
  3

• On new CFL-r solver integration

  SVF-tools/SVF#1775 · Filter by author gsvgit opened on Dec 11, 2025
  7

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

  SVF-tools/SVF#1767 · Filter by author changshengyun opened on Nov 9, 2025

• Unable to Create VFG after Updating Callgraph with Indirect Callee Targets

  SVF-tools/SVF#1763 · Filter by author hadi81 opened on Nov 2, 2025

• Indirect Callee Changes Made to CallGraph are lost if PTA is run after that

  SVF-tools/SVF#1762 · Filter by author hadi81 opened on Nov 1, 2025

• Does updating Callgraph result in updating icfg and pag?

  SVF-tools/SVF#1760 · Filter by author hadi81 opened on Oct 30, 2025

• How to update PAG, ICFG and Callgraph after Updating a Callsite for Indirect Callees

  SVF-tools/SVF#1758 · Filter by author hadi81 opened on Oct 29, 2025
  2

• how to know pts graph of a variable at a pirticular statement

  SVF-tools/SVF#1752 · Filter by author NeyagapulaSiddhartha opened on Sep 22, 2025
  4

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

  SVF-tools/SVF#1751 · Filter by author FXTi opened on Sep 15, 2025

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

  SVF-tools/SVF#1750 · Filter by author Kolt1911 opened on Sep 2, 2025
  3

• Question about garbage collection support in PersistentPointsToCache

  SVF-tools/SVF#1749 · Filter by author Yang-CUHK opened on Aug 31, 2025
  1