fix(core): Base only analysis clean - #361

Draft

Saloed wants to merge 23 commits into

mainfrom

saloed/base-only-clean

Commits on Aug 20, 2026

feat(ifds): add field-insensitive BaseOnly access-path mode
Saloed
committed
3ceb3bd
test: add a stub dependency module for regression samples
Saloed
committed
bb21fb8
chore: tidy imports and trailing whitespace
Saloed
committed
4f5d297
fix(analyzer): wire catch handlers from try boundaries
Saloed
committed
3109aea
test: let the JVM analysis harness pick an ap mode and inspect the engine
Saloed
committed
1ad0460
test: cover source-sink fingerprints for rules sharing a sink
Saloed
committed
7dd2e2b
perf(ifds): process reachability edges before taint edges
Saloed
committed
78d1330
perf(analyzer): cut allocation and lock contention on the rule-lookup path
Saloed
committed
ce7768d
fix(analyzer): scope the override cache by base class and prune impossible bridges
Saloed
committed
4ec5d76
perf(analyzer): memoise raw call resolution per statement
Saloed
committed
b91a8b3
fix(ifds): correct state that must not survive an ap-manager switch
Saloed
committed
0620f32
perf(ifds): quotient trace resolution over premises and boundaries
Saloed
committed
9363ce5
feat(analyzer): stage analysis and select the full scan's rules from a shallow pass
Saloed
committed
f2fdb52
fix(analyzer): preserve overloaded Spring controller entry points
Saloed
committed
64e3793
perf(ifds): share context-independent shallow analysis
Saloed
committed
187c101
perf(ifds): key the fact-to-fact worklist by conclusion
Saloed
committed
dfa90d2
perf(ifds): memoise repeated summary and precondition lookups
Saloed
committed
4b4e57b
test: cover shallow-scan recall for class-static, cross-entry and getter flows
Saloed
committed
2f0e7d6
fix(ifds): use dedicated storage for abstract static edges
Saloed
committed
6bedc86
perf(analyzer): intern resolved rule objects shared across methods
Saloed
committed
de6c7f3
test: add BaseOnly end-to-end regression and fuzz coverage
Saloed
committed
0ebb8bc
docs(analyzer): record what the clean branch kept, and what measurement removed
Saloed
committed
d31f565
perf(ifds): hold BaseOnly memo caches through soft references

Saloed
and
claude
committed
c3b6efe

Navigation Menu

Uh oh!

fix(core): Base only analysis clean - #361

fix(core): Base only analysis clean#361
Saloed wants to merge 23 commits into
mainfrom
saloed/base-only-clean

Commits on Aug 20, 2026

feat(ifds): add field-insensitive BaseOnly access-path mode

test: add a stub dependency module for regression samples

chore: tidy imports and trailing whitespace

fix(analyzer): wire catch handlers from try boundaries

test: let the JVM analysis harness pick an ap mode and inspect the engine

test: cover source-sink fingerprints for rules sharing a sink

perf(ifds): process reachability edges before taint edges

perf(analyzer): cut allocation and lock contention on the rule-lookup path

fix(analyzer): scope the override cache by base class and prune impossible bridges

perf(analyzer): memoise raw call resolution per statement

fix(ifds): correct state that must not survive an ap-manager switch

perf(ifds): quotient trace resolution over premises and boundaries

feat(analyzer): stage analysis and select the full scan's rules from a shallow pass

fix(analyzer): preserve overloaded Spring controller entry points

perf(ifds): share context-independent shallow analysis

perf(ifds): key the fact-to-fact worklist by conclusion

perf(ifds): memoise repeated summary and precondition lookups

test: cover shallow-scan recall for class-static, cross-entry and getter flows

fix(ifds): use dedicated storage for abstract static edges

perf(analyzer): intern resolved rule objects shared across methods

test: add BaseOnly end-to-end regression and fuzz coverage

docs(analyzer): record what the clean branch kept, and what measurement removed

perf(ifds): hold BaseOnly memo caches through soft references