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

Python: Improve docstring and make predicate private

Browse Source
This commit is contained in:
Taus
2026-03-09 13:41:38 +00:00
parent 66ca10c338
commit f2bad1e6e1
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
View File

@@ -308,9 +308,12 @@ predicate hasContextmanagerDecorator(Function func) {
* Holds if the function `func` has a `typing.overload` decorator.
* Such functions are type stubs that declare an overload signature but are
* not the actual implementation.
*
* Normally we would want to model this using API graphs for more precision, but since this
* predicate is used in the call graph computation, we have to use a more syntactic approach.
*/
overlay[local]
predicate hasOverloadDecorator(Function func) {
private predicate hasOverloadDecorator(Function func) {
exists(ControlFlowNode overload |
overload.(NameNode).getId() = "overload" and overload.(NameNode).isGlobal()
or