codeql/InlineTaintTest.expected at z80coder/ATM-feature-optimisation - codeql - Gitea: Git with a cup of tea

hohn/codeql

mirror of https://github.com/github/codeql.git synced 2025-12-19 18:33:16 +01:00

Files

Rasmus Wriedt Larsen c2a6b811fc Python: Add modeling of ujson PyPI package

The problem with `tainted_filelike` not having taint, is that in the call

`ujson.dump(tainted_obj, tainted_filelike)`

there is no PostUpdateNote for `tainted_filelike` :( The reason is that
points-to is not able to resolve the call, so none of the clauses in
`argumentPreUpdateNode` matches

See 08731fc6cf/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll (L101-L111)

Let's deal with that issue in an other PR though

2021-05-10 15:10:31 +02:00

4 lines

106 B

Plaintext

Raw Permalink Blame History

	`argumentToEnsureNotTaintedNotMarkedAsSpurious`
	`untaintedArgumentToEnsureTaintedNotMarkedAsMissing`
	`failures`