9547 Commits

Author	SHA1	Message	Date
Taus Brock-Nannestad	b9ef8a0526	Python: Extend hasAttribute to unknown-but-defined module variables.	2019-08-22 16:22:53 +02:00
Taus Brock-Nannestad	f9c002e441	Python: Support short mode flags (e.g. re.M) in regexes.	2019-08-22 14:53:58 +02:00
Taus	ae2a68b988	Merge pull request #1791 from markshannon/python-revert-tests ... Python: Revert and update tests removed in #1767	2019-08-22 11:20:24 +02:00
Taus	c595d0f27b	Merge pull request #1784 from markshannon/python-move-essa-together ... Python: Move all ESSA related code into one folder.	2019-08-21 17:51:45 +02:00
Mark Shannon	e77ae09a86	Python tests: Update test results to account for better handling of branches in finally blocks.	2019-08-21 14:47:57 +01:00
Mark Shannon	714fecbf5e	Python: Revert tests removed in #1767.	2019-08-21 14:39:53 +01:00
Pavel Avgustinov	cb3551b4d6	Merge commit '76982404' into attribute	2019-08-21 12:44:07 +01:00
Taus Brock-Nannestad	a58c16f91c	Python: Prevent bad magic during pruning. ... Fixes the performance regression seen on `uncompyle2` and similar projects.	2019-08-20 16:18:42 +02:00
Mark Shannon	d8531c46e7	Python ESSA: Move variable definitions into new file and unify 'generic' and 'python specific' parts.	2019-08-20 11:55:41 +01:00
Mark Shannon	523c5b1e1e	Python ESSA: Remove unnecessary intermediate class.	2019-08-20 11:41:53 +01:00
Mark Shannon	2ab3bf46cf	Python ESSA: Move definition sub-classes from points-to folder to essa folder.	2019-08-20 11:41:53 +01:00
Mark Shannon	e34ccae1fc	Python ESSA: Move all Essa code to semmle.python.essa folder.	2019-08-20 11:41:46 +01:00
Mark Shannon	edb50c129d	Python tests: TEMPORARILY remove 5 tests to allow modification of extractor CFG pass.	2019-08-19 16:00:28 +01:00
Pavel Avgustinov	7934218a48	Add PSF license	2019-08-17 16:31:19 +01:00
Mark Shannon	453ae19881	Python points-to: Add .getAstNode() method to TaintedNode for forward compatibility with upcoming taint-tracking enhancements.	2019-08-16 09:54:11 +01:00
Mark Shannon	902871bd48	Python: update tests results after rebase.	2019-08-15 11:37:07 +01:00
Mark Shannon	45f5825b47	Python API: Add ClassValue.getABaseType()	2019-08-15 11:35:14 +01:00
Mark Shannon	6c6e35f541	Python: Enhance points-to to support type-hint analysis.	2019-08-15 11:35:14 +01:00
Taus	34106ec739	Merge pull request #1730 from markshannon/python-prepare-for-unrolling ... Python prepare for implementing loop unrolling in extractor.	2019-08-13 10:54:24 +02:00
Taus	ee06c4021f	Merge pull request #1727 from markshannon/python-no-rhs-tuple-points-to ... Python points-to: Do not track tuples on lhs of assignment or in deletions.	2019-08-13 10:53:40 +02:00
Taus	e956b057e4	Merge pull request #1690 from markshannon/python-modernize-snippets ... Python examples: Modernize example snippets.	2019-08-13 10:52:40 +02:00
Taus	5f55cb046d	Merge pull request #1691 from markshannon/python-fewer-missing-edges ... Python: Make a few more expressions point-to the 'unknown' value.	2019-08-12 16:15:09 +02:00
Mark Shannon	8dd3963546	Python tests: Temporarily remove some analysis tests prior to implementing loop-unrolling in extractor.	2019-08-12 14:12:02 +01:00
Mark Shannon	d96a009975	Python tests: Temporarily comment out loops prior to implementing loop-unrolling in extractor.	2019-08-12 14:10:44 +01:00
Mark Shannon	96ba9a2dfd	Python points-to. Do not track tuples on lhs of assignment or in deletions.	2019-08-12 11:04:28 +01:00
Rebecca Valentine	8823cdfdbc	Merge pull request #1713 from markshannon/python-remove-parents ... Python taint-tracking: Remove 'parents' query from path-queries.	2019-08-08 10:01:40 -07:00
Rebecca Valentine	56c3a4d6e5	Merge pull request #1632 from markshannon/python-account-for-dynamically-defined-builtin-instances ... Python points-to: track more instances.	2019-08-08 09:59:11 -07:00
Mark Shannon	e6b27b37b2	Python: Update incorrect comparison queries to use new API. WORK IN PROGRESS.	2019-08-08 12:06:22 +01:00
Mark Shannon	c2f9189286	Python: Make a few more expressions point-to the 'unknown' value to improve reachability by about 1%.	2019-08-08 12:01:41 +01:00
Mark Shannon	4b242ddc86	Python: Port a few queries to new API.	2019-08-08 11:58:23 +01:00
Mark Shannon	562d959915	Python examples: Modernize snippets.	2019-08-08 10:55:45 +01:00
Mark Shannon	cb719a8998	Python points-to: track instances of int, float or str without a specific value, and calls to bool().	2019-08-08 10:49:58 +01:00
Mark Shannon	6bd5158f9e	Python taint-tracking: Remove 'parents' query from path-queries, as it unused by the tooling.	2019-08-08 10:15:06 +01:00
Rebecca Valentine	fc4bb028b7	Merge pull request #1636 from markshannon/python-api-odds-and-ends ... Python: Assorted improvements to API.	2019-08-07 09:50:44 -07:00
Mark Shannon	44a27c39b1	Python: Add a few addition qldoc comments.	2019-08-07 10:06:01 +01:00
Rebecca Valentine	5fdf6a8e11	Merge pull request #1640 from markshannon/python-update-all-taint-tracking-to-use-config ... Python: Update all remaining taint-tracking queries to use configurations	2019-08-05 14:30:30 -07:00
Rebecca Valentine	9d2061b439	Merge pull request #1669 from markshannon/python-better-handling-unknown-decorators ... Python: Treat the result of calling a missing module member as 'unknown'.	2019-08-05 14:30:00 -07:00
Mark Shannon	63f24dfe18	Python: Add some more utility predicates and classes to the new 'Value' API.	2019-08-02 10:50:51 +01:00
Mark Shannon	4a6f385feb	Python objects: Add clarify comments on callResult predicates.	2019-08-02 10:10:47 +01:00
Rebecca Valentine	40d7f5a332	Merge pull request #1671 from markshannon/python-flask-escape ... Python: Add missing function to flask test stub.	2019-08-01 11:47:09 -07:00
Mark Shannon	fab2cb5a32	Python: Add missing function to flask test stub.	2019-08-01 13:11:41 +01:00
Mark Shannon	ebd5829bfb	Python: Treat the result of calling a missing module member as 'unknown'.	2019-08-01 10:37:41 +01:00
Mark Shannon	5496fa41c8	Python: Add a way to easily specify constant values for in new Value API.	2019-07-31 12:41:51 +01:00
Mark Shannon	6b2938a387	Python: Extends new Value API a bit to support callable subclasses and sequences.	2019-07-29 16:25:31 +01:00
Arthur Baars	ccde7cf6cf	Add @id to example queries	2019-07-26 17:47:11 +02:00
Arthur Baars	bdce7d07c1	Move 'snippet' queries to 'snippets' folders	2019-07-26 17:47:11 +02:00
Arthur Baars	30860daac4	Add cookbook queries	2019-07-26 17:47:11 +02:00
Mark Shannon	3e5fddd776	Python: Update all remaining taint-tracking queries to use configurations.	2019-07-26 16:39:10 +01:00
Mark Shannon	f69ea7f65e	Python: Add redimentary tests for new Value API.	2019-07-26 15:11:48 +01:00
Mark Shannon	f0bb07fc24	Python: Assorted improvements to API.	2019-07-26 15:11:47 +01:00