Python: Change Str to StringLiteral

tausbn · tausbn · commit d51fcd4f2a73 · 2024-04-22T12:00:09.000Z
As far as I can tell, this was the only occurrence of `Str` as a type
throughout the entire library.
diff --git a/python/ql/lib/semmle/python/security/dataflow/UnsafeShellCommandConstructionCustomizations.qll b/python/ql/lib/semmle/python/security/dataflow/UnsafeShellCommandConstructionCustomizations.qll
@@ -113,7 +113,7 @@ module UnsafeShellCommandConstruction {
 
     ArrayJoin() {
       call.getMethodName() = "join" and
-      unique( | | call.getArg(_)).asExpr().(Str).getText() = " " and
+      unique( | | call.getArg(_)).asExpr().(StringLiteral).getText() = " " and
       isUsedAsShellCommand(call, s) and
       (
         this = call.getArg(0) and

Original file line number	Diff line number	Diff line change
`@@ -113,7 +113,7 @@ module UnsafeShellCommandConstruction {`
`113`	`113`
`114`	`114`	`ArrayJoin() {`
`115`	`115`	`call.getMethodName() = "join" and`
`116`		`- unique( \| \| call.getArg(_)).asExpr().(Str).getText() = " " and`
	`116`	`+ unique( \| \| call.getArg(_)).asExpr().(StringLiteral).getText() = " " and`
`117`	`117`	`isUsedAsShellCommand(call, s) and`
`118`	`118`	`(`
`119`	`119`	`this = call.getArg(0) and`