Skip to content

Conversation

@calumgrant
Copy link
Contributor

Reverts #17892

owen-mc and others added 30 commits November 19, 2024 11:22
We set it to False when it has no meaning and True otherwise.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
Co-authored-by: yoff <lerchedahl@gmail.com>
Co-authored-by: yoff <lerchedahl@gmail.com>
…-pruning

Python: Fix pruning of literals in `match` pattern
Go: Allow package-level variables in models-as-data models
Also make `--learn` work with the nested qltest tests.
paldepind and others added 25 commits November 26, 2024 15:22
Co-authored-by: Chris Smowton <smowton@github.com>
... And also bump the extractor version.
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
Go: model `slices` package (skipping functions that involve iterating over a function)
Rust: Handle `self` parameters in variables and SSA library
Rust: Rename `expr` on `CallExpr` and `LetExpr`
Update CSV framework coverage reports
Java: Add a default taint sanitizer for contains-checks on lists of constants
Rust: add extended canonical paths on enum variants
…-pruning

Python: Add change note for CFG pruning fix
…ime-models

C#: Add `js-interop` sinks for `Microsoft.JSInterop.IJSRuntime`
@github-actions github-actions bot added the C++ label Nov 28, 2024
@calumgrant calumgrant changed the base branch from main to codeql-cli-2.19.4 November 28, 2024 17:07
private import semmle.code.java.controlflow.Guards
private import semmle.code.java.dataflow.internal.BaseSSA
private import semmle.code.java.dataflow.TaintTracking
private import semmle.code.java.dataflow.TypeFlow

Check warning

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
semmle.code.java.dispatch.VirtualDispatch
.

private Node::ParameterNode toParameterNode(Param p) { result.getParameter() = p }
private Node::ParameterNode toParameterNode(ParamCfgNode p) {
result.(Node::ParameterNode).getParameter() = p

Check warning

Code scanning / CodeQL

Redundant cast Warning

Redundant cast to
ParameterNode
.
*/

import codeql.rust.elements.Abi
import codeql.rust.elements.Addressable

Check warning

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.rust.elements.Item
.
Redundant import, the module is already imported inside
codeql.rust.elements.Variant
.

Check warning

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.rust.elements.BlockExpr
.
Redundant import, the module is already imported inside
codeql.rust.elements.LoopingExpr
.

Check warning

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.rust.elements.ForExpr
.
Redundant import, the module is already imported inside
codeql.rust.elements.LoopExpr
.
Redundant import, the module is already imported inside
codeql.rust.elements.WhileExpr
.

Check warning

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.rust.elements.Param
.
Redundant import, the module is already imported inside
codeql.rust.elements.SelfParam
.
Comment on lines +9 to +13
/**
* Something that can be addressed by a path.
*
* TODO: This does not yet include all possible cases.
*/

Check warning

Code scanning / CodeQL

Class QLDoc style Warning

The QLDoc for a class should start with 'A', 'An', or 'The'.

private import internal.LoopingExprImpl
import codeql.rust.elements.BlockExpr
import codeql.rust.elements.LabelableExpr

Check warning

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.rust.elements.BlockExpr
.
*/

private import internal.ParamBaseImpl
import codeql.rust.elements.AstNode

Check warning

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.rust.elements.Attr
.
Redundant import, the module is already imported inside
codeql.rust.elements.TypeRepr
.
Comment on lines +15 to +19
/**
* Something that can be addressed by a path.
*
* TODO: This does not yet include all possible cases.
*/

Check warning

Code scanning / CodeQL

Class QLDoc style Warning

The QLDoc for a class should start with 'A', 'An', or 'The'.
@calumgrant calumgrant closed this Nov 28, 2024
@calumgrant calumgrant deleted the revert-17892-calumgrant/telemetry branch November 28, 2024 17:10
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.