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: Add dataflow consistency checks to ORM tests

Browse Source 
Luckily they passed :phew:
This commit is contained in:
Rasmus Wriedt Larsen
2022-02-18 14:29:13 +01:00
parent d7ff00e615
commit 092cfceb18
2 changed files with 21 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
python/ql/test/library-tests/frameworks/django-orm/dataflow-consistency.expected Normal file
View File

@@ -0,0 +1,18 @@
uniqueEnclosingCallable
uniqueType
uniqueNodeLocation
missingLocation
uniqueNodeToString
missingToString
parameterCallable
localFlowIsLocal
compatibleTypesReflexive
unreachableNodeCCtx
localCallNodes
postIsNotPre
postHasUniquePre
uniquePostUpdate
postIsInSameCallable
reverseRead
argHasPostUpdate
postWithInFlow

3
python/ql/test/library-tests/frameworks/django-orm/dataflow-consistency.ql Normal file
View File

@@ -0,0 +1,3 @@
import semmle.python.dataflow.new.internal.DataFlowImplConsistency::Consistency
// Needs to import Django modeling to get the extra data-flow steps enabled.
import semmle.python.Frameworks