Skip to content

Shared: Add Ast consistency queries#21813

Draft
Copilot wants to merge 1 commit into
mainfrom
copilot/add-ast-consistency-checks
Draft

Shared: Add Ast consistency queries#21813
Copilot wants to merge 1 commit into
mainfrom
copilot/add-ast-consistency-checks

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented May 8, 2026

Add consistency queries for the AstSig module signature in the shared control-flow library and enable them for Java.

@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
Comment thread shared/controlflow/codeql/controlflow/AstConsistency.qll Fixed
@github-actions github-actions Bot added the C# label May 13, 2026
@aschackmull aschackmull force-pushed the copilot/add-ast-consistency-checks branch 2 times, most recently from 3b8ba5c to c4c2bc8 Compare May 13, 2026 11:21
@aschackmull aschackmull force-pushed the copilot/add-ast-consistency-checks branch from c4c2bc8 to a23ced3 Compare May 13, 2026 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants