Python: codecs.open

yoff · yoff · commit eb32cbe8a5fa · 2024-06-26T00:57:59.000+02:00
diff --git a/python/ql/lib/semmle/python/frameworks/Stdlib.qll b/python/ql/lib/semmle/python/frameworks/Stdlib.qll
@@ -1492,6 +1492,9 @@ module StdlibPrivate {
     or
     // io.open is a special case, since it is an alias for the builtin `open`
     result = API::moduleImport("io").getMember("open")
+    or
+    // similarly, coecs.open calls the builtin `open`: https://github.com/python/cpython/blob/3.12/Lib/codecs.py#L918
+    result = API::moduleImport("codecs").getMember("open")
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -1492,6 +1492,9 @@ module StdlibPrivate {`
`1492`	`1492`	`or`
`1493`	`1493`	// io.open is a special case, since it is an alias for the builtin `open`
`1494`	`1494`	`result = API::moduleImport("io").getMember("open")`
	`1495`	`+ or`
	`1496`	+ // similarly, coecs.open calls the builtin `open`: https://github.com/python/cpython/blob/3.12/Lib/codecs.py#L918
	`1497`	`+ result = API::moduleImport("codecs").getMember("open")`
`1495`	`1498`	`}`
`1496`	`1499`
`1497`	`1500`	`/**`