Check overlay annotations

Workflow runs for Check overlay annotations

• Java: Allow models-as-data barriers for log injection and improve log injection and path injection sanitizers

  completed successfully:
  Check overlay annotations#10814:Pull request#22835synchronizebyowen-mc
  owen-mc:java/mad-barrier-log-injection

  Oct 15, 202624s
  More actions for workflow run 10814

• Java: Allow models-as-data barriers for log injection and improve log injection and path injection sanitizers

  completed successfully:
  Check overlay annotations#10813:Pull request#22835openedbyowen-mc
  owen-mc:java/mad-barrier-log-injection

  Oct 15, 202621s
  More actions for workflow run 10813

• C++: Add support for more builtin operations

  completed successfully:
  Check overlay annotations#10812:Pull request#22832synchronizebyjketema
  jketema:jketema/builtin

  Oct 15, 202620s
  More actions for workflow run 10812

• Merge pull request #22830 from jketema/jketema/bitwidth

  completed successfully:
  Check overlay annotations#10811:Commit94ee16dpushedbyjketema
  main

  Oct 15, 202617s
  More actions for workflow run 10811

• Python: Model complex MCP AST handler parameters as remote sources (Complementary to #22703)

  requires action with the application:
  Check overlay annotations#10810:Pull request#22750synchronizebyTito0015
  Tito0015:feature/python-mcp-remote-sources

  Oct 15, 2026Action required
  More actions for workflow run 10810

• Merge pull request #22726 from asgerf/unified/captured-variables

  completed successfully:
  Check overlay annotations#10809:Commit0c40f4dpushedbyasgerf
  main

  Oct 15, 202613s
  More actions for workflow run 10809

• unified: Avoid overflow in taint reach per million nodes

  completed successfully:
  Check overlay annotations#10808:Pull request#22833openedbyasgerf
  asgerf:unified/fix-taint-reach-overflow

  Oct 15, 202620s
  More actions for workflow run 10808

• C++: Add support for more builtin operations

  completed successfully:
  Check overlay annotations#10807:Pull request#22832synchronizebyjketema
  jketema:jketema/builtin

  Oct 15, 202618s
  More actions for workflow run 10807

• Rust: Add documentation and type inference for CfgPredExpr and CfgPredPat

  completed successfully:
  Check overlay annotations#10806:Pull request#22828synchronizebypaldepind
  rust/cfg-expr

  Oct 15, 202617s
  More actions for workflow run 10806

• C++: Add support for more builtin operations

  completed successfully:
  Check overlay annotations#10805:Pull request#22832synchronizebyjketema
  jketema:jketema/builtin

  Oct 15, 202619s
  More actions for workflow run 10805

• C++: Add support for more builtin operations

  completed successfully:
  Check overlay annotations#10804:Pull request#22832openedbyjketema
  jketema:jketema/builtin

  Oct 15, 202622s
  More actions for workflow run 10804

• C++: Introduce getBitWidth predicate for Type

  completed successfully:
  Check overlay annotations#10803:Pull request#22830synchronizebyjketema
  jketema:jketema/bitwidth

  Oct 15, 202620s
  More actions for workflow run 10803

• C++: Introduce getBitWidth predicate for Type

  completed successfully:
  Check overlay annotations#10802:Pull request#22830synchronizebyjketema
  jketema:jketema/bitwidth

  Oct 15, 202618s
  More actions for workflow run 10802

• Rust: Update rust-analyzer to 0.0.358

  completed successfully:
  Check overlay annotations#10801:Pull request#22831openedbygithub-actions[bot]Bot
  automation/update-rust-analyzer/update-rust-analyzer-0.0.358-7f3c3c6c611cc1d9

  Oct 15, 202615s
  More actions for workflow run 10801

• C++: Introduce getBitWidth predicate for Type

  completed successfully:
  Check overlay annotations#10800:Pull request#22830synchronizebyjketema
  jketema:jketema/bitwidth

  Oct 15, 202619s
  More actions for workflow run 10800

• C++: Introduce getBitWidth predicate for Type

  completed successfully:
  Check overlay annotations#10799:Pull request#22830synchronizebyjketema
  jketema:jketema/bitwidth

  Oct 15, 202617s
  More actions for workflow run 10799

• C++: Introduce getBitWidth predicate for Type

  completed successfully:
  Check overlay annotations#10798:Pull request#22830openedbyjketema
  jketema:jketema/bitwidth

  Oct 15, 202619s
  More actions for workflow run 10798

• Merge pull request #22827 from github/rust/update-workflow

  completed successfully:
  Check overlay annotations#10797:Commit2ed987fpushedbypaldepind
  main

  Oct 15, 202621s
  More actions for workflow run 10797

• JS: Do not flag computed __proto__ properties

  completed successfully:
  Check overlay annotations#10796:Pull request#22829openedbyeugeniodepalo
  eugeniodepalo:js/computed-proto-property

  Oct 15, 202618s
  More actions for workflow run 10796

• Rust: Add documentation and type inference for CfgPredExpr and CfgPredPat

  completed successfully:
  Check overlay annotations#10795:Pull request#22828synchronizebypaldepind
  rust/cfg-expr

  Oct 15, 202619s
  More actions for workflow run 10795

• Rust: Update instructions for rust-analyzer update automation

  completed successfully:
  Check overlay annotations#10794:Pull request#22827synchronizebypaldepind
  rust/update-workflow

  Oct 15, 202618s
  More actions for workflow run 10794

• Unified: captured variables

  completed successfully:
  Check overlay annotations#10793:Pull request#22726synchronizebyasgerf
  asgerf:unified/captured-variables

  Oct 15, 202615s
  More actions for workflow run 10793

• Unified: captured variables

  completed successfully:
  Check overlay annotations#10792:Pull request#22726synchronizebyasgerf
  asgerf:unified/captured-variables

  Oct 15, 202620s
  More actions for workflow run 10792

• Rust: Add documentation and type inference for CfgPredExpr and CfgPredPat

  completed successfully:
  Check overlay annotations#10791:Pull request#22828openedbypaldepind
  rust/cfg-expr

  Oct 15, 202617s
  More actions for workflow run 10791

• Merge pull request #22820 from github/copilot/bmqa-models-merge-main

  completed successfully:
  Check overlay annotations#10790:Commit35510a5pushedbygeoffw0
  main

  Oct 15, 202615s
  More actions for workflow run 10790