Rasmus Wriedt Larsen
|
902bade5ae
|
Merge pull request #5015 from yoff/python-add-missing-postupdate-nodes
Python: add missing postupdate nodes
|
2021-01-26 14:39:29 +01:00 |
|
Taus
|
4c0f54f5d3
|
Merge pull request #5007 from yoff/python-disregard-comp-args
|
2021-01-26 12:53:33 +01:00 |
|
Rasmus Lerchedahl Petersen
|
2c58643fd1
|
Python: Test for parameters without nodes.
|
2021-01-26 11:28:31 +01:00 |
|
Rasmus Lerchedahl Petersen
|
7b9ca7171a
|
Python: update test expectations
|
2021-01-26 09:47:48 +01:00 |
|
Rasmus Lerchedahl Petersen
|
dacc21d0b5
|
Python: update test expectation
|
2021-01-26 09:45:41 +01:00 |
|
Rasmus Wriedt Larsen
|
a8186be2fa
|
Python: Add test of type-tracking self in methods
|
2021-01-25 17:20:11 +01:00 |
|
Rasmus Lerchedahl Petersen
|
ad39bfb2ff
|
Python: Add postupdate nodes for subscripts.
This drops reverse read inconsistencies on saltstack from 14909 to 1353.
|
2021-01-25 17:01:25 +01:00 |
|
Rasmus Lerchedahl Petersen
|
361bee851a
|
Python: Tests inspired by reverse read check
|
2021-01-25 17:01:25 +01:00 |
|
Rasmus Lerchedahl Petersen
|
89e56707c3
|
Python: Omit all unresolved parameter nodes.
Drops the results further to 139.
|
2021-01-24 16:16:07 +01:00 |
|
Rasmus Lerchedahl Petersen
|
e786be06ae
|
Python: Fix broken references
|
2021-01-21 12:40:35 +01:00 |
|
Rasmus Lerchedahl Petersen
|
419449fb8a
|
Python: default value for argN
|
2021-01-20 20:33:04 +01:00 |
|
Rasmus Lerchedahl Petersen
|
2409a7899b
|
Python: Remove func tag in some situations.
Also make ArgumentNode public
|
2021-01-20 20:18:40 +01:00 |
|
yoff
|
3fc085ff38
|
Update python/ql/test/experimental/dataflow/TestUtil/RoutingTest.qll
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2021-01-20 16:11:40 +01:00 |
|
Rasmus Lerchedahl Petersen
|
23d3343bfb
|
Merge branch 'main' of github.com:github/codeql into python-dataflow-modernize-tests
|
2021-01-19 18:24:52 +01:00 |
|
Rasmus Lerchedahl Petersen
|
8e126603b3
|
Python: Remember that old style tests still needs
updated expectations.
|
2021-01-19 18:21:27 +01:00 |
|
Rasmus Lerchedahl Petersen
|
ae38bbe03b
|
Python: Fearlessly adding another test
in the middle of the file.
|
2021-01-19 18:19:11 +01:00 |
|
Rasmus Lerchedahl Petersen
|
69913c053e
|
Python: relative line numbers in
MISSING-annotations
|
2021-01-19 18:10:22 +01:00 |
|
Rasmus Lerchedahl Petersen
|
77da4b0106
|
Python: Remove absolute line numbers
- Use relative line numbers in flow test
- Elide line numbers in routing test (new concept)
|
2021-01-19 17:05:42 +01:00 |
|
Rasmus Lerchedahl Petersen
|
42fa3bdb81
|
Python: Only consider the closest SOURCE
(in use-use flow) a source
|
2021-01-19 09:13:17 +01:00 |
|
Taus
|
75cfec863f
|
Merge pull request #4828 from yoff/yoff-python-add-source-nodes
Python: add source nodes
|
2021-01-05 15:07:51 +01:00 |
|
Rasmus Wriedt Larsen
|
49f902d28b
|
Merge pull request #4757 from yoff/python-dataflow-synthetic-callables
Python: Enclosing callable for synthetic arguments
|
2020-12-18 16:06:26 +01:00 |
|
Rasmus Lerchedahl Petersen
|
e6e1cc2398
|
Python: Remember to accept failing tests
|
2020-12-18 13:38:14 +01:00 |
|
Rasmus Lerchedahl Petersen
|
0629d3e6e7
|
Python: Enclosing callable for synthetic arguments
|
2020-12-18 10:45:24 +01:00 |
|
Rasmus Lerchedahl Petersen
|
a16d58dfc0
|
Python: Add tests cases with synthetic arguments
|
2020-12-18 10:41:42 +01:00 |
|
Rasmus Wriedt Larsen
|
e5e8ec6ecc
|
Python: Add a few test-cases for barrier guards and references
I'm not sure references is the best name, but it's the best I could come up with
jsut now
|
2020-12-07 15:27:20 +01:00 |
|
CodeQL CI
|
e266cedc84
|
Merge pull request #4700 from RasmusWL/python-add-code-injection-FP
Approved by tausbn
|
2020-12-02 16:29:21 +00:00 |
|
Rasmus Wriedt Larsen
|
a0c7365ae6
|
Python: Proper models of json.loads and json.dumps
|
2020-11-27 15:57:56 +01:00 |
|
Rasmus Wriedt Larsen
|
cc9a7fe4fe
|
Python: Move BarrierGuards to own file
|
2020-11-27 12:09:57 +01:00 |
|
Rasmus Wriedt Larsen
|
cafe55f5c7
|
Merge pull request #4701 from yoff/python-fix-return-node-enclosing-callable
Python: Use default `getEnclosingCallable` for `RetrunNode`
|
2020-11-25 10:36:41 +01:00 |
|
Rasmus Lerchedahl Petersen
|
88643da01f
|
Python: Use default getEnclosingCallable
for `RetrunNode`
|
2020-11-25 08:19:07 +01:00 |
|
Rasmus Lerchedahl Petersen
|
36d9097d03
|
Python: Add test for inner return
|
2020-11-25 07:09:27 +01:00 |
|
Rasmus Lerchedahl Petersen
|
34896ae0d7
|
Python: Fix failing test
|
2020-11-25 07:09:27 +01:00 |
|
yoff
|
215986bce5
|
Apply suggestions from code review
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2020-11-24 14:12:23 +01:00 |
|
Rasmus Lerchedahl Petersen
|
05d156ba0f
|
Python: add comments
|
2020-11-24 14:11:14 +01:00 |
|
Rasmus Lerchedahl Petersen
|
80dcb8da4a
|
Python: annotate missing flow
|
2020-11-24 11:55:28 +01:00 |
|
Rasmus Lerchedahl Petersen
|
737f4dff09
|
Python: update test annotations
|
2020-11-24 10:57:57 +01:00 |
|
Rasmus Lerchedahl Petersen
|
da805f8242
|
Merge remote-tracking branch 'upstream/main' into python-dataflow-modernize-tests
|
2020-11-24 10:56:22 +01:00 |
|
Rasmus Lerchedahl Petersen
|
a19304a4a0
|
Python: Factor out prettyPrinter and update tests
|
2020-11-24 02:17:38 +01:00 |
|
Rasmus Lerchedahl Petersen
|
39c5e0d487
|
Python: update test expectations
|
2020-11-23 16:46:35 +01:00 |
|
Rasmus Lerchedahl Petersen
|
38bb06a207
|
Merge remote-tracking branch 'upstream/main' into python-dataflow-variable-capture
|
2020-11-23 16:40:20 +01:00 |
|
Rasmus Wriedt Larsen
|
f35ffa5632
|
Python: Add support for x in ["safe", "also_safe"] (and not in)
|
2020-11-23 10:42:24 +01:00 |
|
Rasmus Wriedt Larsen
|
431aab45f7
|
Python: Add support for x != "safe" BarrierGuard
|
2020-11-23 10:36:55 +01:00 |
|
Rasmus Wriedt Larsen
|
18041fd059
|
Python: Expand string-const-compare tests
Also moved file to reflect that. Added tests of
+ `!=`
+ `in`
+ `not in`
|
2020-11-23 10:36:49 +01:00 |
|
Rasmus Wriedt Larsen
|
08bcba98e6
|
Python: Add BarrierGuard test with exception inside unsafe branch
|
2020-11-20 11:55:07 +01:00 |
|
Rasmus Wriedt Larsen
|
34f78d4211
|
Python: Add BarrierGuard test with return inside unsafe branch
|
2020-11-20 11:52:36 +01:00 |
|
Rasmus Wriedt Larsen
|
12b36b2245
|
Python: Highlight that safe or also_safe doesn't clear taint :(
|
2020-11-20 10:43:46 +01:00 |
|
Rasmus Wriedt Larsen
|
1a52f17da3
|
Python: Add StringConstCompare BarrierGuard
|
2020-11-20 10:40:04 +01:00 |
|
Rasmus Wriedt Larsen
|
a82936c904
|
Python: Enable test for sanitizer-guard and logic expressions
`not` is not working properly, but otherwise pretty good
|
2020-11-20 10:06:25 +01:00 |
|
Rasmus Wriedt Larsen
|
b3d3d6e142
|
Python: Move logical test of sanitizers
Don't know why it would ever have been under default sanitizers :D
|
2020-11-19 16:46:07 +01:00 |
|
Rasmus Lerchedahl Petersen
|
7cbbf3bbf7
|
Python: slightly nicer test
|
2020-11-19 16:20:57 +01:00 |
|