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

Shared: Remove @ annotations.

Browse Source
This commit is contained in:
Geoffrey White
2024-02-29 15:55:14 +00:00
parent 98289b52d6
commit 70465b22c7
2 changed files with 8 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -50,9 +50,8 @@ signature module InputSig {
*/
class PostUpdateNode extends Node {
/**
* Gets the node that represents the same value prior to the operation.
*
* @return The pre-update node.
* Gets the pre-update node, that is, the node that represents the same
* value prior to the operation.
*/
Node getPreUpdateNode();
}
@@ -153,9 +152,7 @@ signature module InputSig {
}
/**
* Holds if high precision should be used for the given content.
*
* @param c The content to force high precision for.
* Holds if high precision should be used for the content `c`.
*/
predicate forceHighPrecision(Content c);
@@ -199,16 +196,13 @@ signature module InputSig {
}
/**
* Holds if the given parameter position matches the argument position.
*
* @param ppos The parameter position.
* Holds if the parameter position `ppos` matches the argument position
* `apos`.
*/
predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos);
/**
* Holds if there is a simple local flow step between two nodes.
*
* @param node1 The first node in the flow step.
* Holds if there is a simple local flow step from `node1` to `node2`.
*/
predicate simpleLocalFlowStep(Node node1, Node node2);

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

@@ -189,8 +189,6 @@ signature module Semantic {
* Console.WriteLine("x is greater than y");
* }
* ```
*
* @param controlled The basic block to check.
*/
predicate directlyControls(BasicBlock controlled, boolean branch);
@@ -213,8 +211,6 @@ signature module Semantic {
* printf("x is not greater than y\n");
* }
* ```
*
* @param bb1 The first basic block.
*/
predicate hasBranchEdge(BasicBlock bb1, BasicBlock bb2, boolean branch);
}
@@ -280,9 +276,8 @@ signature module Semantic {
*/
class SsaExplicitUpdate extends SsaVariable {
/**
* Gets the expression that defines the value of the variable in this update.
*
* @return The defining expression.
* Gets the expression that defines the value of the variable in this
* update.
*/
Expr getDefiningExpr();
}
@@ -391,8 +386,6 @@ signature module BoundSig<LocationSig Location, Semantic Sem, DeltaSig D> {
/**
* Gets the expression associated with the semantic bound, given a delta.
*
* @param delta - The delta value.
*/
Sem::Expr getExpr(D::Delta delta);
}