JS: Generate flow summaries from summaryModels; only generate steps as a fallback - #19445

Merged

asgerf merged 6 commits into

github:mainfrom

asgerf:js/summaries-with-fallback

May 13, 2025

Commits on May 1, 2025

JS: Move some code into ModelsAsData.qll
asgerf
committed
ca5f8b0
DataFlow: expose from FlowSummaries whether a summary is supported
asgerf
committed
0fc1ae2
JS: Generate summaries from summaryModel, and only generate steps as a fallback
asgerf
committed
a44bdf3

Commits on May 2, 2025

JS: Benign test updates
asgerf
committed
16fc8c3

Commits on May 12, 2025

DataFlow: Fix typo in a comment
asgerf
committed
8fab235
DataFlow: Support a bare Argument[n] as a valid output stack
asgerf
committed
891b2b8