Bring AI+test-driven perf optimizations into development.#220

Merged

NateD-MSFT merged 23 commits into

developmentfrom

user/nated-msft/optimization-work

May 11, 2026

Commits on Apr 23, 2026

[AI] Initial stab at optimizing suppressions and IRQL.
NateD-MSFT
committed

Commits on Apr 28, 2026

Optimize MultiplePagedCode.ql to avoid timeouts on large codebases

NateD-MSFT
and
Copilot
committed
Bump @query-version on queries changed since development branch

NateD-MSFT
and
Copilot
committed
Refine IrqlFloatStateMismatch suppression to be CFG-independent

NateD-MSFT
and
Copilot
committed
Catch IrqlFloatStateMismatch through unannotated helper wrappers

NateD-MSFT
and
Copilot
committed
Add adversarial tests + document known false negatives in qhelp

NateD-MSFT
and
Copilot
committed
Fix three false negatives surfaced by the prior review

NateD-MSFT
and
Copilot
committed

Commits on Apr 29, 2026

Commits on Apr 30, 2026

Irql.qll: add loop-body AST fallback to getPotentialExitIrqlAtCfn

NateD-MSFT
and
Copilot
committed

Commits on May 1, 2026

IrqlFloatStateMismatch: pragma[inline_late] on irqlChangesBetween

NateD-MSFT
and
Copilot
committed

Commits on May 6, 2026

[AI] More IRQL correctness tweaks
NateD-MSFT
committed

Commits on May 7, 2026