8 Commits

Author	SHA1	Message	Date
Taus Brock-Nannestad	dda32abd6a	Python: Fix test result for pruning test.	2020-03-16 12:55:12 +01:00
Mark Shannon	c2f9189286	Python: Make a few more expressions point-to the 'unknown' value to improve reachability by about 1%.	2019-08-08 12:01:41 +01:00
Mark Shannon	27c0571a86	Python points-to: Infer types for comprehensions.	2019-07-25 14:18:05 +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	0afcb11a13	Python points-to: Make sure reachability can skip over if-statements.	2019-05-14 11:52:33 +01:00
Mark Shannon	a8dc2908de	Python: Update test results.	2019-05-13 17:32:29 +01:00
Mark Shannon	0491fe1356	Python points-to: Update 'analysis' query test results.	2019-05-13 12:11:19 +01:00
Mark Shannon	05b69a1c0f	QL tests for Python queries and libraries.	2018-11-19 15:15:54 +00:00