Rasmus Wriedt Larsen
32a97266cf
Python: Fix deprecation warnings in test output
2020-04-21 11:39:44 +02:00
Taus Brock-Nannestad
b990fac97b
Python: Fix test failures.
...
How could the tests fail because of autoformatting, you may ask?
The answer is deprecation warnings. These specify the location of the deprecated
entity, and due to autoformatting these moved around.
2020-03-30 13:55:38 +02:00
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
81f6877727
Python: Fix up tests.
2020-03-16 12:48:41 +01:00
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
5bbf93241b
Python: Add test for tuple unpacking with "complicated" value.
2020-02-27 17:34:32 +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
Taus Brock-Nannestad
35ada17e2a
Python: Use object as default return type for built-ins.
2020-02-25 16:31:40 +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
6c6e35f541
Python: Enhance points-to to support type-hint analysis.
2019-08-15 11:35:14 +01:00
Mark Shannon
96ba9a2dfd
Python points-to. Do not track tuples on lhs of assignment or in deletions.
2019-08-12 11:04:28 +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
Taus
85a0566c43
Merge pull request #1597 from markshannon/python-tracking-special-variable-attributes-through-phis
...
Python points-to: Track implicit module attributes through phi-nodes.
2019-07-25 11:43:16 +02:00
Mark Shannon
88f9685d40
Merge rc/1.21 into master
2019-07-18 16:40:32 +01:00
Mark Shannon
54a8c64b23
Python points-to: Remove negative recursion when using legacy points-to in legacy points-to extensions.
2019-07-18 14:16:52 +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
Taus
927d72414b
Merge pull request #1483 from markshannon/merge-121
...
Merge rc/1.21 into master
2019-06-21 14:11:07 +02: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
30e1cbc5fc
Python: Remove Value.getSource(). It has no use.
2019-06-13 18:23:54 +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
cd793091ca
Python points-to: Make sure that vararg tuples are only assigned to vararg parameters.
2019-06-07 15:31:17 +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
bf78c62594
Python points-to: Add objects representing missing modules and their attributes.
2019-05-15 11:24:01 +01:00
Mark Shannon
80f6883304
Python points-to: Update test results.
2019-05-10 16:40:53 +01:00
Mark Shannon
d46467f526
Python: Update tests to account for packages having locations.
2019-02-22 12:16:34 +00: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
