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 |
|