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
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
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
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
992ee2f150
Python points-to: Fix up some test results.
2019-05-10 16:03:27 +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
03159bb31c
Python points-to: Track 'unknown' value through simple iteration.
2019-04-26 16:21:46 +01: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
05b69a1c0f
QL tests for Python queries and libraries.
2018-11-19 15:15:54 +00:00
