9260 Commits

Author	SHA1	Message	Date
Mark Shannon	00fa80346b	Python (pruning): Fix up handling of integer inequality.	2019-06-13 18:20:15 +01:00
Mark Shannon	a3d50e88cd	Python (pruning): Refactor a bit and all comments for clarity.	2019-06-13 17:42:53 +01:00
Mark Shannon	e1fb1d27a1	Python: Fix logic in pruning for tests like 'x != 0' as that does not imply that 'x is None' is false.	2019-06-13 17:26:43 +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	660eda9f81	Python: Remove redundant override.	2019-06-13 12:41:56 +01:00
Mark Shannon	77030c4dde	Merge branch 'rc/1.21' into 'master'	2019-06-13 12:32:45 +01:00
Mark Shannon	4a4ed69ade	Python: Make sure that all Modules and ModuleObjects (even unused packages) have a working toString().	2019-06-13 12:22:38 +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
Mark Shannon	0c02d3deef	Python: Fix up expected test results for six test.	2019-06-11 15:44:44 +01:00
Taus	d14d31c26e	Merge pull request #1410 from markshannon/python-no-methodcall-defs-in-tests ... Python ESSA: Remove method-callsite definitions when call is in a test defining a pi-node.	2019-06-11 11:17:16 +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
alexet	f04bc26684	Python: Improve points-to performance on large databases.	2019-06-10 17:12:45 +01:00
Mark Shannon	28741dda07	Merge pull request #1433 from aeyerstaylor/faster-python ... Python: Improve performance of submodule name computation.	2019-06-10 15:30:09 +01:00
alexet	e66c132bae	Python: Improve performance of submodule name computation.	2019-06-10 12:07:31 +01: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
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