hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-14 19:29:28 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Port ConsistentReturns.ql

Browse Source 
No test changes.
This commit is contained in:
Taus
2026-02-24 16:12:24 +00:00
parent 853df14468
commit 54af9dd10b
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/src/Functions/ConsistentReturns.ql
View File

@@ -12,7 +12,7 @@
*/
import python
private import LegacyPointsTo
private import semmle.python.dataflow.new.internal.DataFlowDispatch
predicate explicitly_returns_non_none(Function func) {
exists(Return return |
@@ -22,8 +22,8 @@ predicate explicitly_returns_non_none(Function func) {
}
predicate has_implicit_return(Function func) {
exists(ControlFlowNodeWithPointsTo fallthru |
fallthru = func.getFallthroughNode() and not fallthru.unlikelyReachable()
exists(ControlFlowNode fallthru |
fallthru = func.getFallthroughNode() and not Reachability::unlikelyReachable(fallthru)
)
or
exists(Return return | return.getScope() = func and not exists(return.getValue()))