Taus
58eaddf627
Python: Update all .expected files
...
I'm beginning to realise why I didn't do the `toString` overriding way
back when. Thankfully, now that all of our tests are in the same place,
this is actually not a terrible ordeal.
2024-04-22 12:00:09 +00: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
Mark Shannon
e77ae09a86
Python tests: Update test results to account for better handling of branches in finally blocks.
2019-08-21 14:47:57 +01:00
Mark Shannon
714fecbf5e
Python: Revert tests removed in #1767 .
2019-08-21 14:39:53 +01:00
Mark Shannon
edb50c129d
Python tests: TEMPORARILY remove 5 tests to allow modification of extractor CFG pass.
2019-08-19 16:00:28 +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
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
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
21299493c9
Python tests: Hide special ESSA variables in tests, to ease transition from '*' to '$' variable.
2019-01-22 11:02:36 +00: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
