9 Commits

Author	SHA1	Message	Date
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	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	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