SVF-3.3

What's Changed

• add svf-graphdb to docker_publish by @JasonZhongZexin in #1780
• update llvm/svf version by @yuleisui in #1782
• fix C++ this pointer for struct ret by @yuleisui in #1783
• refactor AE, use worklist algorithm(naive) by @bjjwwang in #1786
• Add check for empty caller arguments in CHGBuilder::connectInheritEdgeViaCall by @mortkever in #1788
• WIP: Baseline which can run big programs by @bjjwwang in #1789
• WTO help worklist by @bjjwwang in #1792
• Refactor worklist algorithm, PreAnalysis extraction by @bjjwwang in #1793
• [WIP] propagateToSuccessor by @bjjwwang in #1797
• Refactor/edge based propagation by @bjjwwang in #1801
• fix: guard against negative/out-of-bounds struct indices in computeGepOffset by @cjsrxzdyzds in #1805
• Set correct ICFGNode for ValVar subclasses during SVFIR construction by @bjjwwang in #1804
• Refactor CallPE to phi-like MultiOpndStmt at FunEntryICFGNodeCallpe by @bjjwwang in #1808
• Semi-Sparse infrastructure (no semi-sparse loop handle) by @bjjwwang in #1809
• semi-sparse loop handling, cycle helpers, and dense fixes by @bjjwwang in #1810
• Port SVF to LLVM 21 by @cjsrxzdyzds in #1815
• refactor Sparse Abstract Interpt by @bjjwwang in #1812
• Fix missing push() before pop() in SaberCondAllocator::isSatisfiable by @Patrickstarrrrr in #1816
• fix: the entry point should be "svf_main" if using -svf-main by @hiruwaKS in #1818
• Fix AE singleton destructor crash at program exit by @bjjwwang in #1822
• fix: replace wrnMsg with writeWrnMsg by @Khosro-Moeini in #1823
• Model external APIs(like scanf) stores with top value by @bjjwwang in #1825
• Full Sparse by @bjjwwang in #1821
• Add AE function entry mode on latest master by @bjjwwang in #1826
• Remove quotes from AE no-main CI regex by @bjjwwang in #1827

New Contributors

• @mortkever made their first contribution in #1788
• @cjsrxzdyzds made their first contribution in #1805
• @Patrickstarrrrr made their first contribution in #1816
• @hiruwaKS made their first contribution in #1818

Full Changelog: SVF-3.2...SVF-3.3