9591 Commits

Author	SHA1	Message	Date
Mark Shannon	a5f741e504	Python: Use aggressive dead-code elimination when pruning.	2019-06-21 13:03:36 +01:00
Taus	832abc7835	Merge pull request #1473 from markshannon/python-points-to-more-unknowns ... Python: Fix getOperand for 'not' node and make sure it can only point-to a boolean.	2019-06-21 11:03:23 +02:00
Mark Shannon	26f870bc7f	Merge branch 'rc/1.21' into master	2019-06-21 09:52:44 +01:00
Mark Shannon	bbf25f3a23	Python points-to. If __all__ is overly complex, treat all 'public' symbols as exported.	2019-06-21 09:47:50 +01:00
Mark Shannon	eb23c11142	Python: Fix ForNode class to support loop unrolling.	2019-06-20 10:41:55 +01:00
Arthur Baars	8b58b80e5f	Merge pull request #1453 from markshannon/python-remove-redundant-override ... Python: Remove redundant override.	2019-06-19 19:00:52 +02:00
alexet	78bf75544e	Python: Improve performance of implicit_submodule_points_to	2019-06-19 16:01:13 +01:00
alexet	6472588569	Python: Remove pointless charpred.	2019-06-19 16:01:13 +01:00
alexet	4d1e4e0261	Python: Add no-inline to force correct join-order.	2019-06-19 16:01:12 +01:00
Taus	85ad89c299	Merge pull request #1292 from markshannon/python-prune-in-ql ... Python: Do pruning in QL.	2019-06-19 16:58:27 +02:00
Mark Shannon	39b7a69abd	Python: Tarslip query: Fix up sanitizers.	2019-06-19 15:00:02 +01:00
Mark Shannon	2040b010f4	Python: Clarify qldoc.	2019-06-19 14:02:24 +01:00
Mark Shannon	30f2df8ac4	Python: Refactor pruning to be more clearly symmetric and complete.	2019-06-19 13:09:20 +01:00
Mark Shannon	a15a89206e	Python: Fix typos in qhelp file.	2019-06-19 11:48:31 +01:00
Mark Shannon	6f15c84bdc	Python: Tarslip query; Add sink for members and sanitizers for tarinfo objects.	2019-06-19 11:48:31 +01:00
Mark Shannon	e14f7ef466	Python: Tarslip query; track info objects and handle sanitization.	2019-06-19 11:48:31 +01:00
Mark Shannon	ea4e263060	Python: Initial version and help of tar-slip (CWE-022) query.	2019-06-19 11:48:31 +01:00
Mark Shannon	5b145edc3f	Python: Fix getOperand() for not node and make sure it can only point-to a boolean.	2019-06-19 11:23:02 +01:00
Taus	cb43d27344	Merge pull request #1472 from markshannon/python-taint-through-iterators ... Python: Track taint through iteration and iterators including generators.	2019-06-19 11:33:10 +02:00
Taus	bc7e6af979	Merge pull request #1463 from markshannon/python-no-duplicate-modules ... Python: Avoid duplicate modules in points-to and resulting blow-up.	2019-06-19 10:35:26 +02:00
Mark Shannon	e8190d9a7b	Python: Track taint through 'yield' expressions.	2019-06-18 16:39:52 +01:00
Mark Shannon	97c98f29e4	Python taint-tracking: Support iterables of taint.	2019-06-18 16:39:47 +01:00
Mark Shannon	918bdecba5	Python: Don't record taint past sinks.	2019-06-18 16:34:23 +01:00
Mark Shannon	62591e469e	Python: Avoid duplicate modules in points-to and resulting blow-up.	2019-06-17 17:53:17 +01:00
Mark Shannon	f29dfa5112	Python: Add clarifying comment and pragma.	2019-06-14 16:57:32 +01:00
Mark Shannon	a5fbbdeaf1	Python: Minor performance enhancements.	2019-06-14 16:16:06 +01:00
Taus	584b0a36ad	Merge pull request #1458 from markshannon/fix-typo ... Python: Fix 2 typos.	2019-06-14 13:33:39 +02:00
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	91efce92bd	Python: Fix 2 typos.	2019-06-14 11:49:15 +01: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
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