Changed to more-modern Dataflow libraries

This commit is contained in:
aegilops
2024-06-19 10:11:06 +01:00
parent 81ef255a87
commit f4691b1919

View File

@@ -13,16 +13,18 @@
import semmle.javascript.frameworks.ExpressModules
class HelmetProperty extends Property {
class HelmetProperty extends DataFlow::Node instanceof DataFlow::PropWrite {
ExpressLibraries::HelmetRouteHandler helmet;
HelmetProperty() {
helmet.(DataFlow::CallNode).getAnArgument().asExpr().(ObjectExpr).getAProperty() = this
this = helmet.(DataFlow::CallNode).getAnArgument().getALocalSource().getAPropertyWrite()
}
ExpressLibraries::HelmetRouteHandler getHelmet() { result = helmet }
predicate isFalse() { this.getInit().(BooleanLiteral).getBoolValue() = false }
predicate isFalse() { DataFlow::PropWrite.super.getRhs().mayHaveBooleanValue(true) }
string getName() { result = DataFlow::PropWrite.super.getPropertyName() }
predicate isImportantSecuritySetting() {
this.getName() in ["frameguard", "contentSecurityPolicy"]