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 |
|
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 |
|
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 |
|
Mark Shannon
|
7181a025f8
|
Python points-to: Update expected results to account for fixed tuple formatting.
|
2019-05-29 15:02:59 +01:00 |
|
Mark Shannon
|
bf78c62594
|
Python points-to: Add objects representing missing modules and their attributes.
|
2019-05-15 11:24:01 +01:00 |
|
Mark Shannon
|
d74c76510f
|
Python points-to: Don't track non-descriptor class attributes on instances. Update more tests.
|
2019-05-13 11:46:55 +01:00 |
|
Mark Shannon
|
7244b9fc6f
|
Python points-to: Update some more expected test results.
|
2019-05-13 10:49:07 +01:00 |
|
Mark Shannon
|
315fe0ab94
|
Python points-to: Update an expected file.
|
2019-05-10 17:00:03 +01:00 |
|
Mark Shannon
|
80f6883304
|
Python points-to: Update test results.
|
2019-05-10 16:40:53 +01:00 |
|
Mark Shannon
|
8b28105677
|
Python points-to: update some more test results.
|
2019-05-10 16:05:37 +01:00 |
|
Mark Shannon
|
76c43b491f
|
Python points-to: Improve handling of attributes.
|
2019-05-10 16:05:11 +01:00 |
|