Mark Shannon
|
f11d0638cf
|
Python: Remove tests for pruning in QL.
|
2019-08-25 17:00:08 +01: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 |
|
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 |
|
Mark Shannon
|
523c5b1e1e
|
Python ESSA: Remove unnecessary intermediate class.
|
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 |
|
Mark Shannon
|
902871bd48
|
Python: update tests results after rebase.
|
2019-08-15 11:37:07 +01:00 |
|
Mark Shannon
|
6c6e35f541
|
Python: Enhance points-to to support type-hint analysis.
|
2019-08-15 11:35:14 +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 |
|
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 |
|
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
|
63f24dfe18
|
Python: Add some more utility predicates and classes to the new 'Value' API.
|
2019-08-02 10:50:51 +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
|
f69ea7f65e
|
Python: Add redimentary tests for new Value API.
|
2019-07-26 15:11:48 +01:00 |
|
Taus
|
0258f799df
|
Merge pull request #1591 from markshannon/python-fix-property-setter-handling
Python: fix property setter handling in points-to.
|
2019-07-26 14:01:41 +02:00 |
|
Taus
|
85a0566c43
|
Merge pull request #1597 from markshannon/python-tracking-special-variable-attributes-through-phis
Python points-to: Track implicit module attributes through phi-nodes.
|
2019-07-25 11:43:16 +02:00 |
|
Taus
|
cca1593ea4
|
Merge pull request #1598 from markshannon/python-better-parameter-api
Python: Better API for parameters.
|
2019-07-25 11:35:51 +02:00 |
|
Mark Shannon
|
2e8c7a9d20
|
Python points-to: Support property setters and deleters.
|
2019-07-25 09:35:56 +01:00 |
|
Mark Shannon
|
9b00177544
|
Python: Add failing test for analysis of property with .setter.
|
2019-07-25 09:33:41 +01:00 |
|
Mark Shannon
|
88f9685d40
|
Merge rc/1.21 into master
|
2019-07-18 16:40:32 +01:00 |
|
Mark Shannon
|
54a8c64b23
|
Python points-to: Remove negative recursion when using legacy points-to in legacy points-to extensions.
|
2019-07-18 14:16:52 +01:00 |
|
Mark Shannon
|
3035178391
|
Python: Better API for parameters.
|
2019-07-16 16:50:40 +01:00 |
|
Mark Shannon
|
b4d413cfa8
|
Python points-to: Track implicit module attributes through phi-nodes.
|
2019-07-16 15:39:58 +01:00 |
|
yh-semmle
|
a0dc84010a
|
Merge pull request #1518 from Semmle/rc/1.21
Merge rc/1.21 into master
|
2019-06-28 13:52:18 -04:00 |
|
Mark Shannon
|
8570b4117f
|
Python: Add opaque 'decorated function' for complex decorated functions. Allows finding calls in taint-tracking without contaminating points-to results.
|
2019-06-28 12:14:10 +01:00 |
|
Taus
|
1b98f248e5
|
Merge branch 'master' into python-better-handling-calls-on-edge-of-context
|
2019-06-28 11:27:42 +02:00 |
|
Taus
|
fad37bd6c9
|
Merge pull request #1487 from markshannon/python-tuple-assignment-points-to
Python ESSA dataflow: better handling of tuple unpacking.
|
2019-06-28 11:05:03 +02:00 |
|
Taus
|
76f8da8986
|
Merge pull request #1484 from markshannon/python-aggressive-pruning
Python: Use aggressive dead-code elimination when pruning.
|
2019-06-25 19:17:44 +02:00 |
|
Mark Shannon
|
6f1399be9b
|
Python: Better handle calls on edge of context.
|
2019-06-25 16:15:39 +01:00 |
|
Mark Shannon
|
a917019915
|
Python: Add failing tests for undefined variable as value and nested 'from import *'.
|
2019-06-24 14:54:25 +01:00 |
|
Mark Shannon
|
9d6df78d44
|
Python: Dataflow: Remove IterationDefinition ESSA definition and add iteration assignment to ESSA assignment definition.
Enhance points-to and taint-tracking to add operational step sequence to next(iter(seq)) in for statement.
|
2019-06-21 15:55:27 +01:00 |
|
Taus
|
927d72414b
|
Merge pull request #1483 from markshannon/merge-121
Merge rc/1.21 into master
|
2019-06-21 14:11:07 +02:00 |
|
Mark Shannon
|
a5f741e504
|
Python: Use aggressive dead-code elimination when pruning.
|
2019-06-21 13:03:36 +01: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
|
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 |
|
Mark Shannon
|
30e1cbc5fc
|
Python: Remove Value.getSource(). It has no use.
|
2019-06-13 18:23:54 +01:00 |
|
Mark Shannon
|
77030c4dde
|
Merge branch 'rc/1.21' into 'master'
|
2019-06-13 12:32:45 +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 |
|
Esben Sparre Andreasen
|
3f11ae7eaa
|
Merge remote-tracking branch 'rc/1.21' into master
|
2019-06-12 12:57:55 +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 |
|
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 |
|
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
|
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 |
|
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
|
cec4d55b2a
|
Python points-to: Make sure that vararg tuples are only assigned to vararg parameters.
|
2019-06-05 11:56:17 +01:00 |
|