hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Shared: Autoformat.

Browse Source
This commit is contained in:
Geoffrey White
2024-02-21 17:52:29 +00:00
parent 4367b7813c
commit 7b85bb4c95
2 changed files with 9 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
shared/dataflow/codeql/dataflow/DataFlow.qll
View File

@@ -7,8 +7,8 @@
/** Provides language-specific data flow parameters. */ /** Provides language-specific data flow parameters. */
signature module InputSig { signature module InputSig {
/** /**
* Represents a node in the data flow graph. * Represents a node in the data flow graph.
*/ */
class Node { class Node {
/** Gets a textual representation of this element. */ /** Gets a textual representation of this element. */
string toString(); string toString();
@@ -44,6 +44,7 @@ signature module InputSig {
class PostUpdateNode extends Node { class PostUpdateNode extends Node {
/** /**
* Gets the node that represents the pre-update operation. * Gets the node that represents the pre-update operation.
*
* @return The pre-update node. * @return The pre-update node.
*/ */
Node getPreUpdateNode(); Node getPreUpdateNode();
@@ -169,8 +170,8 @@ signature module InputSig {
} }
/** /**
* Represents a content approximation. * Represents a content approximation.
*/ */
class ContentApprox { class ContentApprox {
/** Gets a textual representation of this element. */ /** Gets a textual representation of this element. */
string toString(); string toString();
@@ -194,7 +195,6 @@ signature module InputSig {
* Holds if the given parameter position matches the argument position. * Holds if the given parameter position matches the argument position.
* *
* @param ppos The parameter position. * @param ppos The parameter position.
* @param apos The argument position.
*/ */
predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos); predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos);
@@ -202,7 +202,6 @@ signature module InputSig {
* Holds if there is a simple local flow step between two nodes. * Holds if there is a simple local flow step between two nodes.
* *
* @param node1 The first node in the flow step. * @param node1 The first node in the flow step.
* @param node2 The second node in the flow step.
*/ */
predicate simpleLocalFlowStep(Node node1, Node node2); predicate simpleLocalFlowStep(Node node1, Node node2);

9
shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
View File

@@ -181,24 +181,22 @@ signature module Semantic {
/** /**
* Holds if the guard directly controls a given basic block. * Holds if the guard directly controls a given basic block.
*
* @param controlled The basic block to check. * @param controlled The basic block to check.
* @param branch Indicates if the control is a branch or not.
*/ */
predicate directlyControls(BasicBlock controlled, boolean branch); predicate directlyControls(BasicBlock controlled, boolean branch);
/** /**
* Holds if the guard represents an equality between two expressions. * Holds if the guard represents an equality between two expressions.
*
* @param e1 The first expression. * @param e1 The first expression.
* @param e2 The second expression.
* @param polarity The polarity of the equality.
*/ */
predicate isEquality(Expr e1, Expr e2, boolean polarity); predicate isEquality(Expr e1, Expr e2, boolean polarity);
/** /**
* Holds if there is a branch edge between two basic blocks. * Holds if there is a branch edge between two basic blocks.
*
* @param bb1 The first basic block. * @param bb1 The first basic block.
* @param bb2 The second basic block.
* @param branch Indicates if the edge is a branch or not.
*/ */
predicate hasBranchEdge(BasicBlock bb1, BasicBlock bb2, boolean branch); predicate hasBranchEdge(BasicBlock bb1, BasicBlock bb2, boolean branch);
} }
@@ -361,6 +359,7 @@ signature module BoundSig<LocationSig Location, Semantic Sem, DeltaSig D> {
/** /**
* Gets the expression associated with the semantic bound, given a delta. * Gets the expression associated with the semantic bound, given a delta.
*
* @param delta - The delta value. * @param delta - The delta value.
*/ */
Sem::Expr getExpr(D::Delta delta); Sem::Expr getExpr(D::Delta delta);