Mark Shannon
|
9d6df78d44
|
Python: Dataflow: Remove IterationDefinition ESSA definition and add iteration assignment to ESSA assignment definition.
Enhance points-to and taint-tracking to add operational step sequence to next(iter(seq)) in for statement.
|
2019-06-21 15:55:27 +01:00 |
|
Taus
|
927d72414b
|
Merge pull request #1483 from markshannon/merge-121
Merge rc/1.21 into master
|
2019-06-21 14:11:07 +02:00 |
|
Mark Shannon
|
a5f741e504
|
Python: Use aggressive dead-code elimination when pruning.
|
2019-06-21 13:03:36 +01:00 |
|
Mark Shannon
|
5b145edc3f
|
Python: Fix getOperand() for not node and make sure it can only point-to a boolean.
|
2019-06-19 11:23:02 +01:00 |
|
Mark Shannon
|
30e1cbc5fc
|
Python: Remove Value.getSource(). It has no use.
|
2019-06-13 18:23:54 +01:00 |
|
Mark Shannon
|
0f0dc81291
|
Python ESSA: Remove method-callsite definitions when call is in a test defining a pi-node.
|
2019-06-10 11:23:15 +01:00 |
|
Mark Shannon
|
cd793091ca
|
Python points-to: Make sure that vararg tuples are only assigned to vararg parameters.
|
2019-06-07 15:31:17 +01:00 |
|
Mark Shannon
|
9e537a76dc
|
Python points-to: Handle varargs in caller
|
2019-06-07 15:31:17 +01:00 |
|
Mark Shannon
|
468975b0e5
|
Python points-to: Handle varargs in callee.
|
2019-06-07 15:31:17 +01:00 |
|
Mark Shannon
|
7181a025f8
|
Python points-to: Update expected results to account for fixed tuple formatting.
|
2019-05-29 15:02:59 +01:00 |
|
Mark Shannon
|
bf78c62594
|
Python points-to: Add objects representing missing modules and their attributes.
|
2019-05-15 11:24:01 +01:00 |
|
Mark Shannon
|
80f6883304
|
Python points-to: Update test results.
|
2019-05-10 16:40:53 +01:00 |
|
Mark Shannon
|
8b28105677
|
Python points-to: update some more test results.
|
2019-05-10 16:05:37 +01:00 |
|
Mark Shannon
|
76c43b491f
|
Python points-to: Improve handling of attributes.
|
2019-05-10 16:05:11 +01:00 |
|
Mark Shannon
|
992ee2f150
|
Python points-to: Fix up some test results.
|
2019-05-10 16:03:27 +01:00 |
|
Mark Shannon
|
2ea204f7f9
|
Python points-to: Fix up failedInference predicate.
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
2aa967ae8e
|
Remove redundant tests.
|
2019-04-26 16:21:47 +01:00 |
|
Mark Shannon
|
e82b2c422e
|
Python: Update test to use new API.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
a442695ad0
|
Python points-to: Improve handling of len(), sequences and comparisons.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
e21a863db9
|
Python points-to: Update sanity check.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
03159bb31c
|
Python points-to: Track 'unknown' value through simple iteration.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
ef0a6b6713
|
Python points-to: Rationalize handling of expressions and conditions. Tweak API to be a bit more backward-compatible.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
ca6e03f597
|
Python: Remove callsite refinement ESSA definition when call in a test defining a pi-node.
|
2019-04-11 16:08:29 +01:00 |
|
Mark Shannon
|
d46467f526
|
Python: Update tests to account for packages having locations.
|
2019-02-22 12:16:34 +00:00 |
|
Mark Shannon
|
220b881096
|
Python: Points-to should flow through call-sites if not assigned outside of scope.
|
2019-02-12 09:57:45 +00:00 |
|
Mark Shannon
|
24d678b869
|
Python: Points-to; let values with no boolean constant value flow through pi-nodes.
|
2019-01-31 15:15:49 +00:00 |
|
Mark Shannon
|
f190f83406
|
Python: Give most non-self instance attributes the 'unknown' value; improves reachability analysis.
|
2019-01-31 15:05:13 +00:00 |
|
Mark Shannon
|
9820249c71
|
Python tests: Further hiding of special ESSA variables in tests, to ease transition from '*' to '$' variable.
|
2019-01-29 15:06:47 +00:00 |
|
Mark Shannon
|
21299493c9
|
Python tests: Hide special ESSA variables in tests, to ease transition from '*' to '$' variable.
|
2019-01-22 11:02:36 +00:00 |
|
Mark Shannon
|
fb90d2a5a6
|
Python points-to: Update test results for fixed ESSA computation.
|
2018-12-03 11:13:18 +00:00 |
|
Mark Shannon
|
05b69a1c0f
|
QL tests for Python queries and libraries.
|
2018-11-19 15:15:54 +00:00 |
|