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 |
|
Mark Shannon
|
3035178391
|
Python: Better API for parameters.
|
2019-07-16 16:50:40 +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
|
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
|
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 |
|