Commit Graph

9593 Commits

Author SHA1 Message Date
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
Arthur Baars
f7620aec37 Merge pull request #1424 from markshannon/python-points-to-varargs
Backport of #1391
2019-06-07 19:54:56 +02:00
Mark Shannon
2fab40111b Fix typo in qldoc. 2019-06-07 15:31:17 +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
de39f9208b Python: Clarify and document points-to and object model for calls involving starargs. 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
03d296a617 Fix typo in qldoc. 2019-06-05 17:54:09 +01:00
Taus
703fbc6976 Merge pull request #1403 from markshannon/python-builtin-inherit
Python points-to: Make sure that builtin-classes inherit attributes.
2019-06-05 17:40:10 +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
e757bce96e Python: Fix up 'import failure' analysis query. 2019-06-05 12:56:36 +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
8fadb64452 Python points-to: Make sure that builtin-classes inherit attributes. 2019-06-05 11:36:44 +01:00
Mark Shannon
441282d8df Python: Remove obsolete tests. 2019-06-04 12:03:53 +01:00
Mark Shannon
53ddfce359 Python: Clarify and document points-to and object model for calls involving starargs. 2019-06-04 11:43:30 +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
Mark Shannon
fc2ac891f8 Python taint-tracking: Don't track strings through json.decode(). 2019-06-03 15:53:36 +01:00
Mark Shannon
6a79e0aaa7 Python points-to: Prevent bad magic on 'refersTo' member predicates. 2019-06-03 12:22:22 +01:00
Mark Shannon
8d4a8a6c6b Python: Reduce the number of strings and ints identified and possible hard-coded credentials. 2019-06-03 12:22:15 +01:00
Mark Shannon
66ba1079f3 Python points-to: Cache objects. 2019-05-31 16:26:43 +01:00
Mark Shannon
f6cc0be4a4 Python points-to. Move extension to prevent points-to being recomputed. 2019-05-31 16:26:43 +01:00
Mark Shannon
f311c2013e Python points-to: Cache a few key predicates. 2019-05-31 16:26:43 +01:00
Mark Shannon
1de0dc9282 Python taint-tracking: Fix performance of pathalogically slow predicate. 2019-05-31 16:26:43 +01:00
Mark Shannon
b182abd119 Python points-to: Fix up a number of overly slow predicates. 2019-05-31 16:26:43 +01:00
Mark Shannon
8e2d6c4fc6 Python points-to: Simplify logic w.r.t. comparisons. 2019-05-31 15:58:35 +01:00
Mark Shannon
6689994285 Python points-to: Minor refactoring for clarity. 2019-05-30 17:18:16 +01:00
alexey
9377638834 Improve query help 2019-05-29 16:28:07 +01: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
96380f6767 Edit query metadata and help and add new entry to the change-notes 1.21 2019-05-29 13:22:35 +01:00
Mark Shannon
77c508f954 Python points-to: More comment clarifications and typo fixes. 2019-05-28 17:52:55 +01:00
Mark Shannon
3adaf07170 Python points-to: Make purpose of '$' variable explicit. 2019-05-28 17:23:24 +01:00
Mark Shannon
66e64615ee Python points-to: Improve qldoc and internal API a bit. 2019-05-28 17:17:05 +01:00
alexey
8168c0ee0a Fix typo in test for the query 2019-05-23 15:54:59 +01:00
Mark Shannon
e1614886c7 Python points-to. Improve API bey renaming a couple of methods and clarifying a few comments. 2019-05-22 17:28:25 +01:00
alexey
e214174114 add return-or-yield-outside-of-function Python query 2019-05-22 15:27:32 +01:00
Mark Shannon
1018f27815 Python points-to: Add more comments about TObject and ObjectInternal. 2019-05-22 12:59:51 +01:00
Mark Shannon
f057d5cb6b Python: Speed up MRO calculation a bit. 2019-05-17 14:05:39 +01:00
Mark Shannon
685826e436 Python points-to: Prevent bad magic. 2019-05-17 14:04:57 +01:00
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