Pavel Avgustinov
|
b3081154fa
|
Merge pull request #1823 from markshannon/python-dont-prune-in-ql
Python: removing pruning in QL.
|
2019-08-27 11:32:23 +01:00 |
|
Mark Shannon
|
ca75a393b4
|
Python: Remove pruning in QL; rely on the extractor to do it.
|
2019-08-25 17:03:22 +01:00 |
|
Mark Shannon
|
f11d0638cf
|
Python: Remove tests for pruning in QL.
|
2019-08-25 17:00:08 +01:00 |
|
Nick Rolfe
|
ead003e440
|
Merge pull request #1813 from pavgust/attribute
Improve attribution on some stub files
|
2019-08-24 11:40:32 +01:00 |
|
Pavel Avgustinov
|
da29d99560
|
Merge branch 'master' of github.com:Semmle/ql into attribute
|
2019-08-23 21:47:31 +01:00 |
|
Mark Shannon
|
20fc64c673
|
Python: Prevent bad magic in one predicate.
|
2019-08-23 15:08:19 +01:00 |
|
Pavel Avgustinov
|
cc854dd937
|
Merge branch 'master' of github.com:Semmle/ql into attribute
|
2019-08-23 09:55:35 +01: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 |
|