Taus
|
51e06376a3
|
Merge pull request #1456 from markshannon/python-remove-value-get-source
Python: Remove Value.getSource(). It has no use.
|
2019-06-14 13:33:08 +02:00 |
|
Mark Shannon
|
1d269b0cd5
|
Python: Add extra test for pruning.
|
2019-06-14 09:59:28 +01:00 |
|
Mark Shannon
|
30e1cbc5fc
|
Python: Remove Value.getSource(). It has no use.
|
2019-06-13 18:23:54 +01:00 |
|
Mark Shannon
|
00fa80346b
|
Python (pruning): Fix up handling of integer inequality.
|
2019-06-13 18:20:15 +01:00 |
|
Taus
|
635de7cbe9
|
Merge pull request #1440 from markshannon/python-sanity-improvements
Python sanity improvements
|
2019-06-13 14:59:43 +02:00 |
|
Mark Shannon
|
77030c4dde
|
Merge branch 'rc/1.21' into 'master'
|
2019-06-13 12:32:45 +01:00 |
|
Mark Shannon
|
97294e16e0
|
Python: Update tests to account for improved API.
|
2019-06-12 15:00:20 +01:00 |
|
Mark Shannon
|
3b31b9cf58
|
Python: Extend object API. Clearly differentiate between what an object is called, and what it is named.
|
2019-06-12 14:59:39 +01:00 |
|
Mark Shannon
|
0b7d73456e
|
Remove incorrect metadata from test query.
|
2019-06-12 14:31:21 +01:00 |
|
Esben Sparre Andreasen
|
3f11ae7eaa
|
Merge remote-tracking branch 'rc/1.21' into master
|
2019-06-12 12:57:55 +02:00 |
|
Taus
|
1ff67f74e1
|
Merge pull request #1407 from markshannon/python-fix-odasa-7104
Python points-to. Improve handling of socket module.
|
2019-06-11 11:04:29 +02: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 |
|
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 |
|
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 |
|
Mark Shannon
|
bf78c62594
|
Python points-to: Add objects representing missing modules and their attributes.
|
2019-05-15 11:24:01 +01:00 |
|
Mark Shannon
|
a8dc2908de
|
Python: Update test results.
|
2019-05-13 17:32:29 +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 |
|
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
|
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 |
|
Mark Shannon
|
e21a863db9
|
Python points-to: Update sanity check.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
03159bb31c
|
Python points-to: Track 'unknown' value through simple iteration.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
662aedcb13
|
Python points-to: Fix up module attributes and classmethods.
|
2019-04-26 16:21:46 +01:00 |
|
Mark Shannon
|
ef0a6b6713
|
Python points-to: Rationalize handling of expressions and conditions. Tweak API to be a bit more backward-compatible.
|
2019-04-26 16:21:46 +01:00 |
|