hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Adds Rasmus's suggestion

Browse Source 
Co-Authored-By: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
Rebecca Valentine
2020-03-09 16:21:34 -07:00
committed by GitHub
parent 3e53e462d6
commit 810efc5ca2
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
python/ql/src/semmle/python/objects/ObjectAPI.qll
View File

@@ -433,8 +433,9 @@ class ClassValue extends Value {
or
this.getASuperType() = ClassValue::unicode()
or
/* Does this inherit from abc.Sequence? */
this.getASuperType().getName() = "Sequence"
major_version() = 2 and this.getASuperType() = Value::named("collections.Sequence")
or
major_version() = 3 and this.getASuperType() = Value::named("collections.abc.Sequence")
or
/* Does it have an index or __reversed__ method? */
this.isContainer() and