Commit Graph

4008 Commits

Author SHA1 Message Date
Taus
58285c08dd Merge pull request #1391 from markshannon/python-points-to-varargs
Python points to varargs
2019-06-05 20:17:01 +02:00
Mark Shannon
75f87bbeda Python points-to. If __all__ is overly complex, treat all 'public' symbols as exported. 2019-06-05 14:46:51 +01:00
Mark Shannon
cec4d55b2a Python points-to: Make sure that vararg tuples are only assigned to vararg parameters. 2019-06-05 11:56:17 +01:00
Mark Shannon
441282d8df Python: Remove obsolete tests. 2019-06-04 12:03:53 +01:00
Mark Shannon
5b0652473d Python points-to: Handle varargs in caller 2019-06-04 10:04:28 +01:00
Mark Shannon
30b340de68 Python points-to: Handle varargs in callee. 2019-06-04 10:03:49 +01:00
Taus
af08f856b5 Merge pull request #1389 from markshannon/python-ipa-objects-fix-performance
Python: New points-to and object model with performance fixes
2019-06-03 18:52:28 +02:00
alexey
86ec047be2 Rename files by style guide and change query metadata 2019-05-29 15:35:58 +01:00
Mark Shannon
71ae61c9f7 Python points-to: Remove duplicate import. 2019-05-29 15:02:59 +01:00
Mark Shannon
1ed3e5d9bc Python points-to: Fix ordering of string constants. 2019-05-29 15:02:59 +01:00
Mark Shannon
7181a025f8 Python points-to: Update expected results to account for fixed tuple formatting. 2019-05-29 15:02:59 +01:00
alexey
8168c0ee0a Fix typo in test for the query 2019-05-23 15:54:59 +01:00
alexey
e214174114 add return-or-yield-outside-of-function Python query 2019-05-22 15:27:32 +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
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
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
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
bbf7ff9a3f Python: do pruning in QL. 2019-05-09 17:58:36 +01:00
Rasmus Lerchedahl Petersen
b5b2d56bfa Add pythagorean query 2019-05-01 13:16:40 +02: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
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
f51a2d9ec4 Python points-to: Fix up test-evaluate for ABCs and tests involving type(). 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
Mark Shannon
ddc4ada130 Python points-to: Handle subclassing of ABCs. 2019-04-26 16:21:47 +01:00
Mark Shannon
989d587617 Python points-to: Fix support for backwards compatible extensions. 2019-04-26 16:21:46 +01:00
Mark Shannon
90bbfd3b16 Python: Add library tests for django. 2019-04-26 16:21:46 +01:00
Mark Shannon
4a03fd03cd Update test to reflect new true positive. 2019-04-26 16:21:46 +01:00
Mark Shannon
e82b2c422e Python: Update test to use new API. 2019-04-26 16:21:46 +01:00
Mark Shannon
a442695ad0 Python points-to: Improve handling of len(), sequences and comparisons. 2019-04-26 16:21:46 +01:00