Rasmus Lerchedahl Petersen
|
2eb11731e2
|
Python: Subpaths in test output
|
2021-09-10 14:04:57 +02:00 |
|
Rasmus Lerchedahl Petersen
|
7cfa08abc8
|
Python: Do not use BarrierGuards
They are simply not right for this problem.
We should not even make them available as an extension point.
|
2021-09-10 12:48:24 +02:00 |
|
Rasmus Lerchedahl Petersen
|
b20232db3c
|
Python: Simplify guards as suggested
|
2021-09-10 10:31:48 +02:00 |
|
Rasmus Lerchedahl Petersen
|
b48caaf465
|
Python: fix reference to PrintNode.qll
|
2021-09-07 10:19:42 +02:00 |
|
Rasmus Lerchedahl Petersen
|
29cb067769
|
Python: Remember to update test expectations
|
2021-09-07 10:13:17 +02:00 |
|
Rasmus Lerchedahl Petersen
|
4998a48f99
|
Python: Fix simple guards
|
2021-09-06 22:40:30 +02:00 |
|
Rasmus Lerchedahl Petersen
|
913990bc62
|
Python: Add suggested comments and test case
|
2021-09-03 14:40:16 +02:00 |
|
yoff
|
c6eb795e76
|
Apply suggestions from code review
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2021-09-03 14:23:57 +02:00 |
|
Rasmus Lerchedahl Petersen
|
a762373ad6
|
Python: Implement simple barrier guard
The one found in the original test case
|
2021-08-30 11:04:27 +02:00 |
|
Rasmus Lerchedahl Petersen
|
49ae549e89
|
Python: Implement modifying syntax
|
2021-08-26 14:29:18 +02:00 |
|
Rasmus Lerchedahl Petersen
|
097c23e437
|
Python: add inline expectations test
Consider removing the original test
|
2021-08-26 14:08:52 +02:00 |
|
Rasmus Lerchedahl Petersen
|
d834cec9b9
|
Python: test simple sanitizer
|
2021-08-26 11:31:20 +02:00 |
|
Rasmus Lerchedahl Petersen
|
8614563b42
|
Python: More tests of syntactic constructs
|
2021-08-26 10:56:41 +02:00 |
|
Rasmus Lerchedahl Petersen
|
e865a290de
|
Python: straight port of query
The old query uses `pointsTo` to limit the sinks
to methods on lists and dictionaries.
That constraint is omitted here which could hurt performance.
|
2021-08-24 16:35:11 +02:00 |
|
Rasmus Lerchedahl Petersen
|
e3765ced78
|
Python: Add tests for modification of defaults
|
2021-08-24 16:35:11 +02:00 |
|