feat(analyzer): Introduce call resolution success fact propagation - #331

Open

Bupaheh wants to merge 12 commits into

mainfrom

bupaheh/core-diff

Commits on Aug 11, 2026

Introduce call resolution success fact propagation
Bupaheh
committed
2ef13bb
Add `prepareZeroToFactSummary`
Bupaheh
committed
57c2422
Use MethodWithContext in success call resolution
Bupaheh
committed
29c39a9
Add ep to SummaryEdge
Bupaheh
committed
f0517dd
Refactor summary application
Bupaheh
committed
cc00c76
Rewrite call2return fact propagation
Bupaheh
committed
db8f270
Remove unnecessary helper
Bupaheh
committed
36e3513
Changes
Bupaheh
committed
1446613
Pass callee-entrypoint
Bupaheh
committed
dce130e

Commits on Aug 12, 2026

Fix ellipsis test
Bupaheh
committed
a187a7d

Commits on Aug 14, 2026

Introduce call summary precondition
Bupaheh
committed
0ef9583
Refactor summary application
Bupaheh
committed
e5bddcf