Taus
ae1268f241
Merge branch 'master' into python-add-points-to-for-missing-builtin-return-types
2020-03-18 17:59:17 +01:00
Taus Brock-Nannestad
81f6877727
Python: Fix up tests.
2020-03-16 12:48:41 +01:00
Taus Brock-Nannestad
5c90becc1c
Python: Use TUnknown instead of TUnknownInstance.
2020-03-12 19:21:11 +01:00
Taus Brock-Nannestad
10bacfe8fd
Python: Use subscriptUnknown instead of instance check.
...
Also adds a test for decomposing the unknown value of `a`.
2020-02-28 13:38:54 +01:00
Taus Brock-Nannestad
5bbf93241b
Python: Add test for tuple unpacking with "complicated" value.
2020-02-27 17:34:32 +01:00
Taus Brock-Nannestad
5c3109a324
Python: Fix bug in multi_assignment_points_to.
...
This turned out to be a fairly simple but easy to make bug. When we want to
figure out the value pointed-to in a multi-assignment, we look at the left hand
side to see what value from the right hand side we should assign. Unfortunately,
we accidentally attempted to look up this information in the _left hand side_ of
the assignment, resulting in no points-to information at all. The only thing
needed to fix this was to properly link up the left and right hand sides: using
the left hand side to figure out what index to look at, and then looking up the
points-to information for the corresponding place in the right hand side.
2020-02-26 16:11:43 +01:00
Taus Brock-Nannestad
35ada17e2a
Python: Use object as default return type for built-ins.
2020-02-25 16:31:40 +01:00
Taus Brock-Nannestad
5813209337
Python: Add tests for missing points-to for built-in methods.
2020-02-25 16:25:41 +01:00
Mark Shannon
cb719a8998
Python points-to: track instances of int, float or str without a specific value, and calls to bool().
2019-08-08 10:49:58 +01:00
Mark Shannon
b4d413cfa8
Python points-to: Track implicit module attributes through phi-nodes.
2019-07-16 15:39:58 +01:00
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
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
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
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
