9240 Commits

Author	SHA1	Message	Date
Taus	1076c03016	Merge pull request #1323 from markshannon/hotfix-path-fix ... Python QL: Use Module.getPath() to implement ModuleObject.getPath()	2019-05-15 11:46:36 +02:00
Mark Shannon	0035dc2982	Python QL: Use Module.getPath() to implement ModuleObject.getPath()	2019-05-15 10:09:00 +01:00
Mark Shannon	b10a7cd3a4	Python points-to: Make behviour of instances more consistent.	2019-05-14 15:50:20 +01:00
Mark Shannon	8f74f918c7	Python points-to: Speed up call-points-to.	2019-05-14 14:49:29 +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	a5ff527ac2	Python: Remove test due to instability across minor versions.	2019-05-14 10:45:43 +01:00
Mark Shannon	a8dc2908de	Python: Update test results.	2019-05-13 17:32:29 +01:00
Mark Shannon	1c20336eb9	Python points-to. Fix attribute lookup for type.	2019-05-13 17:24:02 +01:00
Mark Shannon	a03e101e4f	Python points-to: Improve performance.	2019-05-13 17:15:01 +01:00
Mark Shannon	972ac0fdbd	Python: Update test result.	2019-05-13 15:15:27 +01:00
Mark Shannon	5f9a807392	Python points-to: Fix handling of builtin-method objects.	2019-05-13 15:08:58 +01:00
Mark Shannon	33043d6a8a	Python: update exptected test results.	2019-05-13 14:35:22 +01:00
Mark Shannon	1f00c3b248	Python points-to: Fix up metaclass determination for Python 2.	2019-05-13 14:34:33 +01:00
Mark Shannon	26044f20c7	Python points-to: Fix up tuple inequality analysis.	2019-05-13 12:59:19 +01:00
Mark Shannon	0491fe1356	Python points-to: Update 'analysis' query test results.	2019-05-13 12:11:19 +01:00
Mark Shannon	2905737a0e	Python points-to: Fix analysis of zero-arg super().	2019-05-13 12:00:38 +01:00
Mark Shannon	d74c76510f	Python points-to: Don't track non-descriptor class attributes on instances. Update more tests.	2019-05-13 11:46:55 +01:00
Mark Shannon	beebd0e15c	Python points-to: Be more specific when describing inheritance analysis failures.	2019-05-13 10:50:20 +01:00
Mark Shannon	7244b9fc6f	Python points-to: Update some more expected test results.	2019-05-13 10:49:07 +01:00
Mark Shannon	315fe0ab94	Python points-to: Update an expected file.	2019-05-10 17:00:03 +01:00
Mark Shannon	80f6883304	Python points-to: Update test results.	2019-05-10 16:40:53 +01:00
Mark Shannon	a1bf071f55	Python points-to: Fix getattr() points-to.	2019-05-10 16:36:09 +01:00
Mark Shannon	8b28105677	Python points-to: update some more test results.	2019-05-10 16:05:37 +01:00
Mark Shannon	76c43b491f	Python points-to: Improve handling of attributes.	2019-05-10 16:05:11 +01:00
Mark Shannon	992ee2f150	Python points-to: Fix up some test results.	2019-05-10 16:03:27 +01:00
Mark Shannon	2db0bd9483	Python: Remove obsolete tests.	2019-05-10 13:04:43 +01:00
Mark Shannon	39861597e5	Python points-to: Fix up handiling of metaclasses, new-style and type-heirarchy failure analysis.	2019-05-10 13:02:36 +01:00
Mark Shannon	75feab53db	Python QL: Clean up pruning code, renaming and adding comments for clarity.	2019-05-10 10:59:44 +01:00
Mark Shannon	bbf7ff9a3f	Python: do pruning in QL.	2019-05-09 17:58:36 +01:00
Mark Shannon	93f0b8f1b7	Python points-to: Fix up support for six.add_metaclass()	2019-05-09 15:15:40 +01:00
Mark Shannon	92d0aef6f4	Rename super_() to superType() for better consistency.	2019-05-09 14:47:12 +01:00
Rasmus Lerchedahl Petersen	b5b2d56bfa	Add pythagorean query	2019-05-01 13:16:40 +02:00
Mark Shannon	d44ce4f1df	Python points-to: Performance improvement.	2019-04-29 17:53:18 +01:00
Mark Shannon	15a7ac3680	Python: update failed inference query to use latest points-to.	2019-04-29 16:59:51 +01:00
Mark Shannon	dfc0a80cc5	Python points-to: Handle old-style classes correctly.	2019-04-29 16:40:46 +01:00
Mark Shannon	3ca4524f7a	Python points-to: Improve handling of __call__() a bit.	2019-04-29 15:15:01 +01:00
Mark Shannon	65a30ab392	Adjust a couple of query tests to work with latest points-to.	2019-04-29 14:28:51 +01:00
Mark Shannon	6a5ec51623	Update IsComparisons.qll to account for not tracking attributes in detail.	2019-04-29 12:22:48 +01:00
Mark Shannon	55511430cb	Python points-to. Don't let unknown values escape refersTo().	2019-04-29 12:22:17 +01:00
Mark Shannon	abf0347fce	Python points-to: Split strings into bytes and unicode.	2019-04-26 16:21:47 +01:00
Mark Shannon	48c0cbe51a	Python: improve handling of __all__	2019-04-26 16:21:47 +01:00
Mark Shannon	3bb61e7410	Python points-to: Improve handling of subscripts and sequence inequalities.	2019-04-26 16:21:47 +01:00
Mark Shannon	674a3da4b8	Python points-to: Importing from 'unknown' gives 'unknown'.	2019-04-26 16:21:47 +01:00
Mark Shannon	5ad731a2a8	Python points-to. Fix handling of six.add_metaclass.	2019-04-26 16:21:47 +01:00
Mark Shannon	f51a2d9ec4	Python points-to: Fix up test-evaluate for ABCs and tests involving type().	2019-04-26 16:21:47 +01:00
Mark Shannon	8a2fb54c49	Python points-to. Track bitwise or-ing of small integer flags.	2019-04-26 16:21:47 +01:00
Mark Shannon	96eaf815da	Python: Fix up state-tracking library.	2019-04-26 16:21:47 +01:00
Mark Shannon	2ea204f7f9	Python points-to: Fix up failedInference predicate.	2019-04-26 16:21:47 +01:00
Mark Shannon	2aa967ae8e	Remove redundant tests.	2019-04-26 16:21:47 +01:00
Mark Shannon	4145b19671	Python points-to: update some test results.	2019-04-26 16:21:47 +01:00