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
|
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
|
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
|
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
|
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
|
a442695ad0
|
Python points-to: Improve handling of len(), sequences and comparisons.
|
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
|
05b69a1c0f
|
QL tests for Python queries and libraries.
|
2018-11-19 15:15:54 +00:00 |
|