hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 18:10:39 +01:00
Code Issues Packages Projects Releases Wiki Activity

Apply suggestions from code review

Browse Source 
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
yoff
2020-10-21 15:08:16 +02:00
committed by GitHub
parent 53ff1a32c1
commit ee5221abb4
2 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
python/ql/src/experimental/semmle/python/frameworks/Django.qll
View File

@@ -280,19 +280,19 @@ private module Django {
DataFlow::Node classRef() { result = classRef(DataFlow::TypeTracker::end()) }
/** Gets an instance of the `django.db.models.expressions.RawSQL` class. */
private DataFlow::Node classInstance(DataFlow::TypeTracker t, ControlFlowNode sql) {
private DataFlow::Node instance(DataFlow::TypeTracker t, ControlFlowNode sql) {
t.start() and
exists(CallNode c | result.asCfgNode() = c |
c.getFunction() = classRef().asCfgNode() and
c.getArg(0) = sql
)
or
exists(DataFlow::TypeTracker t2 | result = classInstance(t2, sql).track(t2, t))
exists(DataFlow::TypeTracker t2 | result = instance(t2, sql).track(t2, t))
}
/** Gets an instance of the `django.db.models.expressions.RawSQL` class. */
DataFlow::Node classInstance(ControlFlowNode sql) {
result = classInstance(DataFlow::TypeTracker::end(), sql)
DataFlow::Node instance(ControlFlowNode sql) {
result = instance(DataFlow::TypeTracker::end(), sql)
}
}
}
@@ -327,7 +327,7 @@ private module Django {
ObjectsAnnotate() {
node.getFunction() = django::db::models::objects_attr("annotate").asCfgNode() and
django::db::models::expressions::RawSQL::classInstance(sql).asCfgNode() in [node.getArg(_),
django::db::models::expressions::RawSQL::instance(sql).asCfgNode() in [node.getArg(_),
node.getArgByName(_)]
}