Skip to content

Shared: Add Ast consistency queries#21813

Draft
Copilot wants to merge 8 commits intomainfrom
copilot/add-ast-consistency-checks
Draft

Shared: Add Ast consistency queries#21813
Copilot wants to merge 8 commits intomainfrom
copilot/add-ast-consistency-checks

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented May 8, 2026

  • Add java/ql/consistency-queries/AstConsistency.ql mirroring CfgConsistency.ql
  • Fix trailing whitespace on blank line in shared/controlflow/codeql/controlflow/AstConsistency.qll

Copilot AI and others added 6 commits May 8, 2026 07:29
Agent-Logs-Url: https://github.com/github/codeql/sessions/bf1d9f01-0696-4099-b5c6-3a13d639c3a4

Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>
Agent-Logs-Url: https://github.com/github/codeql/sessions/bf1d9f01-0696-4099-b5c6-3a13d639c3a4

Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>
Agent-Logs-Url: https://github.com/github/codeql/sessions/85daaeb0-9115-4937-af69-fbb3be5f3d64

Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>
Agent-Logs-Url: https://github.com/github/codeql/sessions/44b8fcaf-0a89-41e7-8685-068e4764ebb3

Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>
Agent-Logs-Url: https://github.com/github/codeql/sessions/ffa45b1a-a5ad-4233-889c-25e32c74bcd8

Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>
Agent-Logs-Url: https://github.com/github/codeql/sessions/f4320ed7-5db7-4125-8221-9c6b8a51b4ba

Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>
@aschackmull aschackmull changed the title Add Java AST consistency query and clean up AstConsistency import Shared: Add Ast consistency queries May 8, 2026
@github-actions github-actions Bot added the Java label May 8, 2026
}

/** Holds if a `getChild` relation for a structured AST node has no matching member predicate. */
query predicate getChildMissingFromMember(StructuredAstNode parent, int index, AstNode child) {
Comment thread shared/controlflow/codeql/controlflow/AstConsistency.qll
Comment thread shared/controlflow/codeql/controlflow/AstConsistency.qll Outdated
Fix compilation.

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
Agent-Logs-Url: https://github.com/github/codeql/sessions/3e6eea56-e1c7-49e7-b31e-2351f7cbdfc4

Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>
Copilot AI requested a review from aschackmull May 8, 2026 08:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants