Mark Shannon
|
f975b8b87d
|
Python: Avoid bad magic.
|
2019-05-17 12:15:51 +01:00 |
|
Mark Shannon
|
8558cb3f2f
|
Python points-to: Update Overview.qll to reflect new object model.
|
2019-05-16 16:25:48 +01:00 |
|
Mark Shannon
|
2f940d013b
|
Python points-to: Fully document object classes.
|
2019-05-16 16:18:54 +01:00 |
|
Luke Cartey
|
5e409a3eaa
|
Python: Change invalid @kind.
|
2019-05-16 12:33:02 +01:00 |
|
Mark Shannon
|
d6d72dcef4
|
Python: Account for --respect-init when determining module name.
|
2019-05-16 11:46:47 +01:00 |
|
Mark Shannon
|
d1a711e459
|
Merge pull request #1296 from RasmusSemmle/master
Add pythagorean query
|
2019-05-16 11:02:56 +01:00 |
|
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
|
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
|
5f9a807392
|
Python points-to: Fix handling of builtin-method objects.
|
2019-05-13 15:08:58 +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
|
a1bf071f55
|
Python points-to: Fix getattr() points-to.
|
2019-05-10 16:36:09 +01:00 |
|
Mark Shannon
|
76c43b491f
|
Python points-to: Improve handling of attributes.
|
2019-05-10 16:05:11 +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
|
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
|
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
|
2d4f64f2e5
|
Python legacy objects: fix function/method call.
|
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 |
|