WIP: Baseline which can run big programs#1789

Open

bjjwwang wants to merge 28 commits intoSVF-tools:masterfrom

bjjwwang:worklist

Commits on Jan 26, 2026

refactor AE, use worklist algorithm(naive)
bjjwwang
committed

Commits on Jan 28, 2026

sync with SSA Ass3
bjjwwang
committed

Commits on Jan 29, 2026

refactor recursion
bjjwwang
committed

Commits on Jan 31, 2026

Continue to reduce the Options() handleRecur. (vibe-kanban 5f1e98b0)
bjjwwang
committed
Continue to reduce the Options() handleRecur. (vibe-kanban 5f1e98b0)
bjjwwang
committed

Commits on Feb 2, 2026

Commits on Feb 3, 2026

rename handleICFGCycle
bjjwwang
committed
Continue to reduce the Options() handleRecur. (vibe-kanban 5f1e98b0)
bjjwwang
committed

Commits on Feb 4, 2026

Commits on Feb 6, 2026

Add multi-entry whole-program analysis for library code

bjjwwang
and
claude
committed
Add -ae-multientry option for multi-entry analysis

bjjwwang
and
claude
committed
Fix handleICFGNode regression in function entry state handling

bjjwwang
and
claude
committed
Fix assertion errors in AE for multi-entry analysis

bjjwwang
and
claude
committed

Commits on Feb 7, 2026

fix merge conflict
bjjwwang
committed

Commits on Feb 8, 2026

Some Rename and Refactor
bjjwwang
committed
Read the comments in PullRequest (vibe-kanban 78898480)
bjjwwang
committed
Read the comments in PullRequest (vibe-kanban 78898480)
bjjwwang
committed

Commits on Feb 10, 2026

Read the comments in PullRequest (vibe-kanban 78898480)
bjjwwang
committed
Read the comments in PullRequest (vibe-kanban 78898480)
bjjwwang
committed