Files
codeql/python/ql/test/library-tests/PointsTo/api/Constants.ql
Taus Brock-Nannestad f07a7bf8cf Python: Autoformat everything using qlformat.
Will need subsequent PRs fixing up test failures (due to deprecated
methods moving around), but other than that everything should be
straight-forward.
2020-07-07 15:43:52 +02:00

17 lines
370 B
Plaintext

import python
from string txt, Value val
where
exists(string s |
txt = "u'" + s + "'" and val = Value::forUnicode(s)
or
txt = "b'" + s + "'" and val = Value::forBytes(s)
|
s = "a" or s = "b" or s = "c" or s = "d"
)
or
exists(int i | txt = i.toString() and val = Value::forInt(i) |
i in [1 .. 10] or i in [1000 .. 1010]
)
select txt, val