mirror of
https://github.com/github/codeql.git
synced 2026-05-14 11:19:27 +02:00
58cda914db
Merge the previous `Ast` and `AstSigImpl` modules into a single
`module Ast implements AstSig<Py::Location>`. Classes now use the
signature names (IfStmt, WhileStmt, ForeachStmt, etc.) and signature
predicates (getCondition, getThen, getElse, etc.) directly, with no
intermediate renaming layer.
Drop the TStmtListNode newtype branch entirely. Replace it with a
synthetic TBlockStmt(parent, slot) keyed by a parent AST node and a
slot label string ('body', 'orelse', 'finally'). Py::StmtList no
longer appears in the newtype; the BlockStmt class provides indexed
access to the underlying body items via getStmt(n).
All 22 of 24 evaluation-order tests still pass; the same 2
comprehension-related failures predate this refactor.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
46 lines
1.4 KiB
Plaintext
46 lines
1.4 KiB
Plaintext
/**
|
|
* @name Print CFG (New)
|
|
* @description Produces a representation of a file's Control Flow Graph
|
|
* using the new shared control flow library.
|
|
* This query is used by the VS Code extension.
|
|
* @id python/print-cfg
|
|
* @kind graph
|
|
* @tags ide-contextual-queries/print-cfg
|
|
*/
|
|
|
|
private import python as Py
|
|
import semmle.python.controlflow.internal.AstNodeImpl
|
|
|
|
external string selectedSourceFile();
|
|
|
|
private predicate selectedSourceFileAlias = selectedSourceFile/0;
|
|
|
|
external int selectedSourceLine();
|
|
|
|
private predicate selectedSourceLineAlias = selectedSourceLine/0;
|
|
|
|
external int selectedSourceColumn();
|
|
|
|
private predicate selectedSourceColumnAlias = selectedSourceColumn/0;
|
|
|
|
module ViewCfgQueryInput implements ControlFlow::ViewCfgQueryInputSig<Py::File> {
|
|
predicate selectedSourceFile = selectedSourceFileAlias/0;
|
|
|
|
predicate selectedSourceLine = selectedSourceLineAlias/0;
|
|
|
|
predicate selectedSourceColumn = selectedSourceColumnAlias/0;
|
|
|
|
predicate cfgScopeSpan(
|
|
Ast::Callable callable, Py::File file, int startLine, int startColumn, int endLine,
|
|
int endColumn
|
|
) {
|
|
exists(Py::Scope scope |
|
|
scope = callable.asScope() and
|
|
file = scope.getLocation().getFile() and
|
|
scope.getLocation().hasLocationInfo(_, startLine, startColumn, endLine, endColumn)
|
|
)
|
|
}
|
|
}
|
|
|
|
import ControlFlow::ViewCfgQuery<Py::File, ViewCfgQueryInput>
|