-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Revert "C++: Initial telemetry queries" #18152
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
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
C++: fix typo in qhelp
Go: Allow package-level variables in models-as-data models
Also make `--learn` work with the nested qltest tests.
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
C++: Actually check function names in MaD
Rust: add extended canonical paths on enum variants
…tation Go: Models as Data Documentation
…-pruning Python: Add change note for CFG pruning fix
…ime-models C#: Add `js-interop` sinks for `Microsoft.JSInterop.IJSRuntime`
| 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
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
ParameterNode
| */ | ||
|
|
||
| import codeql.rust.elements.Abi | ||
| import codeql.rust.elements.Addressable |
Check warning
Code scanning / CodeQL
Redundant import Warning
codeql.rust.elements.Item
Redundant import, the module is already imported inside
codeql.rust.elements.Variant
rust/ql/lib/codeql/rust/elements.qll
Outdated
Check warning
Code scanning / CodeQL
Redundant import Warning
codeql.rust.elements.BlockExpr
Redundant import, the module is already imported inside
codeql.rust.elements.LoopingExpr
rust/ql/lib/codeql/rust/elements.qll
Outdated
Check warning
Code scanning / CodeQL
Redundant import Warning
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
rust/ql/lib/codeql/rust/elements.qll
Outdated
Check warning
Code scanning / CodeQL
Redundant import Warning
codeql.rust.elements.Param
Redundant import, the module is already imported inside
codeql.rust.elements.SelfParam
| /** | ||
| * 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
|
|
||
| private import internal.LoopingExprImpl | ||
| import codeql.rust.elements.BlockExpr | ||
| import codeql.rust.elements.LabelableExpr |
Check warning
Code scanning / CodeQL
Redundant import Warning
codeql.rust.elements.BlockExpr
| */ | ||
|
|
||
| private import internal.ParamBaseImpl | ||
| import codeql.rust.elements.AstNode |
Check warning
Code scanning / CodeQL
Redundant import Warning
codeql.rust.elements.Attr
Redundant import, the module is already imported inside
codeql.rust.elements.TypeRepr
| /** | ||
| * 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
Reverts #17892