robojerk/codeql-action

Use @actions/io to locate binaries

Browse source
This commit is contained in:
Henry Mercer 2024-12-19 14:21:06 +00:00
parent 64cc90bcd4
commit b58f4471c8
36 changed files with 69 additions and 233 deletions
Download patch file Download diff file Expand all files Collapse all files

6
queries/binary-planting.ql
View file

@ -10,8 +10,8 @@ import javascript
import DataFlow
import DataFlow::PathGraph
class SafeWhichBarrierGuardNode extends DataFlow::BarrierGuardNode, DataFlow::InvokeNode {
SafeWhichBarrierGuardNode() { getCalleeName() = "safeWhich" }
class WhichBarrierGuardNode extends DataFlow::BarrierGuardNode, DataFlow::InvokeNode {
WhichBarrierGuardNode() { getCalleeName() = "which" }
override predicate blocks(boolean outcome, Expr e) {
outcome = true and
@ -36,7 +36,7 @@ class BinaryPlantingConfiguration extends DataFlow::Configuration {
}
override predicate isBarrierGuard(DataFlow::BarrierGuardNode guard) {
guard instanceof SafeWhichBarrierGuardNode
guard instanceof WhichBarrierGuardNode
}
}