Mark Shannon
|
d7558e8fe5
|
Python: Fix CP in pruner and cache to avoid re-evaluation.
|
2019-05-15 15:26:44 +01:00 |
|
Mark Shannon
|
2b72a50dbf
|
Python points-to: Fix up re extension.
|
2019-05-15 11:24:40 +01:00 |
|
Mark Shannon
|
bf78c62594
|
Python points-to: Add objects representing missing modules and their attributes.
|
2019-05-15 11:24:01 +01:00 |
|
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 |
|