mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
41 lines
1.5 KiB
Plaintext
41 lines
1.5 KiB
Plaintext
import javascript
|
|
import semmle.javascript.dataflow.internal.FlowSteps as FlowSteps
|
|
|
|
query predicate argumentPassing(DataFlow::Node invk, DataFlow::Node arg, DataFlow::SourceNode parm) {
|
|
FlowSteps::argumentPassing(invk, arg, _, parm)
|
|
}
|
|
|
|
query predicate basicBlock(DataFlow::Node node, BasicBlock bb) { node.getBasicBlock() = bb }
|
|
|
|
query predicate enclosingExpr(DataFlow::Node node, Expr enclosingExpr) {
|
|
enclosingExpr = node.getEnclosingExpr()
|
|
}
|
|
|
|
query predicate flowStep(DataFlow::Node pred, DataFlow::Node nd) { nd.getAPredecessor() = pred }
|
|
|
|
query predicate getImmediatePredecessor(DataFlow::Node pred, DataFlow::Node nd) {
|
|
nd.getImmediatePredecessor() = pred
|
|
}
|
|
|
|
query predicate getIntValue(DataFlow::Node node, int val) { node.getIntValue() = val }
|
|
|
|
query predicate incomplete(DataFlow::Node dfn, DataFlow::Incompleteness cause) {
|
|
dfn.isIncomplete(cause)
|
|
}
|
|
|
|
query predicate noBasicBlock(DataFlow::Node node) {
|
|
(node instanceof DataFlow::ValueNode or node instanceof DataFlow::SsaDefinitionNode) and
|
|
not exists(node.getBasicBlock())
|
|
}
|
|
|
|
query predicate parameters(DataFlow::ParameterNode param) { any() }
|
|
|
|
query predicate sources(DataFlow::SourceNode src) { any() }
|
|
|
|
query predicate stress_getAQlClass(string msg) {
|
|
// Compile and evaluate `getAQlClass` so we get notified of potential problems with BDD size.
|
|
// Avoid outputting its result, however, as the output would constantly need to be updated.
|
|
count(DataFlow::Node node, string cls | cls = node.getAQlClass()) >= 42 and
|
|
msg = "OK"
|
|
}
|