Taus
|
a557c6a3ea
|
Merge pull request #1627 from markshannon/python-points-to-from-comprehensions
Python points-to: Infer types for comprehensions.
|
2019-07-25 16:09:33 +02:00 |
|
Taus
|
76fe36aa48
|
Merge pull request #1618 from markshannon/python-refine-module-names
Python refine module naming.
|
2019-07-25 15:29:47 +02:00 |
|
Mark Shannon
|
27c0571a86
|
Python points-to: Infer types for comprehensions.
|
2019-07-25 14:18:05 +01: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
|
90475fa7ef
|
Python: Do not give module names to folders without __init__.py unless specified during extraction.
|
2019-07-24 15:35:57 +01:00 |
|
Mark Shannon
|
05e498dfdc
|
Python: Clarify pruning code.
|
2019-07-24 14:47:46 +01:00 |
|
Felicity Chapman
|
b7be2f5045
|
Merge pull request #1625 from taus-semmle/python-fix-commented-out-code-qhelp-include
Python: Fix missing include in `FCommentedOutCode.qhelp`.
|
2019-07-24 11:59:40 +01:00 |
|
Taus Brock-Nannestad
|
8c6a4bcd9d
|
Python: Fix missing include in FCommentedOutCode.qhelp.
|
2019-07-24 11:13:33 +02:00 |
|
Taus
|
f214f0e742
|
Merge pull request #1589 from markshannon/python-fix-sanity
Python: Fix a couple of false positives in sanity query
|
2019-07-24 10:59:01 +02:00 |
|
Mark Shannon
|
2bdf42388c
|
Python: Fix up pruning in QL to better handle constraints from constants.
|
2019-07-23 16:28:13 +01:00 |
|
Mark Shannon
|
88f9685d40
|
Merge rc/1.21 into master
|
2019-07-18 16:40:32 +01:00 |
|
Mark Shannon
|
3343f6bd2f
|
Fix typo.
|
2019-07-18 15:44:29 +01:00 |
|
Mark Shannon
|
c6ae06f1df
|
Python: modernize regex library to use new points-to.
|
2019-07-18 14:16:57 +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 |
|
Taus
|
f70e7d774f
|
Merge pull request #1604 from markshannon/python-performance-fixes
Python: Performance improvements to points-to.
|
2019-07-18 10:58:15 +01:00 |
|
Mark Shannon
|
71d353f03b
|
Python: Performance improvements to points-to. Uses extensional (not IPA) for origins and prevents some harmful magic.
|
2019-07-17 10:25:23 +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 |
|
Calum Grant
|
87a43718e9
|
Merge pull request #1588 from felicity-semmle/qhelp/SD-3447-commented-out-code
Update Python and C# help for commented-out code to use common qhelp
|
2019-07-16 09:38:33 +01:00 |
|
Mark Shannon
|
d750f38532
|
Python: Fix a couple of false positives for AST and CFG sanity and improve reporting for ClassValue sanity.
|
2019-07-15 16:28:28 +01:00 |
|
Mark Shannon
|
2c5b1c0810
|
Fix semantic merge conflict between #1470 and #1487.
|
2019-07-15 15:34:00 +01:00 |
|
Taus
|
f12c057826
|
Merge pull request #1470 from markshannon/python-tarslip
Python: "TarSlip" query
|
2019-07-15 12:43:47 +02:00 |
|
Felicity Chapman
|
cb48af7395
|
Update Python and C# help for commented-out code to use common qhelp
|
2019-07-15 09:26:17 +01:00 |
|
Taus Brock-Nannestad
|
4ddebb9349
|
Better names for helper predicates.
|
2019-07-05 16:38:39 +02:00 |
|
Taus Brock-Nannestad
|
703139142a
|
More performance fixes.
|
2019-07-05 14:44:56 +02:00 |
|
Taus Brock-Nannestad
|
d2113f1ced
|
More performance stuff. (Possibly not all needed.)
|
2019-07-04 17:28:40 +02:00 |
|
Taus Brock-Nannestad
|
11ceaf3e3c
|
Fix bad join order in SsaDefinitionsImpl::reachesEndOfBlock.
|
2019-07-03 16:26:10 +02:00 |
|
Taus Brock-Nannestad
|
315dcb8720
|
Fix performance of multi_assignment_points_to.
|
2019-07-03 13:17:07 +02:00 |
|
Taus Brock-Nannestad
|
a40f0e0d14
|
Python: Fix bad join ordering in ControlFlowNode::getAChild().
|
2019-07-02 15:42:41 +02:00 |
|
Jonas Jensen
|
5ea69601c3
|
Merge pull request #1525 from aibaars/drop-import-additional-libraries
Drop ImportAdditionalLibraries.ql
|
2019-07-02 11:26:31 +02: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 |
|
Arthur Baars
|
9197c186e1
|
Drop: ImportAdditionalLibraries.ql
|
2019-06-28 15:53:07 +02:00 |
|
Taus
|
61a196d2d4
|
Merge pull request #1523 from markshannon/python-speed-up-get-a-child
Python speed up calculation of ControlFlowNode.getAChild()
|
2019-06-28 15:23:08 +02: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 |
|
Mark Shannon
|
775214e467
|
Python speed up calculation of ControlFlowNode.getAChild()
|
2019-06-28 11:19:25 +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
|
2576884667
|
Merge pull request #1499 from markshannon/python-fix-regex-parsing
Python regex: Fix handling of character sets.
|
2019-06-27 17:49:21 +02:00 |
|
Mark Shannon
|
9c2b506f2d
|
Python points-to: Add clarifying comment on internal object predicate.
|
2019-06-27 16:13:33 +01:00 |
|
Taus
|
c0ff67beb7
|
Merge pull request #1496 from markshannon/python-uninitial-local-fix
Python: Don't report uninitialized locals in unreachable code.
|
2019-06-27 16:00:07 +02:00 |
|
Mark Shannon
|
208d313b3f
|
Python: Add comment.
|
2019-06-26 12:54:43 +01:00 |
|
Mark Shannon
|
347e3f3bd0
|
Python regex: Fix handling of character sets where first character in set is '['.
|
2019-06-26 10:55:47 +01: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
|
7bbe39ef01
|
Python: Don't report uninitialized locals in unreachable code.
|
2019-06-25 15:52:48 +01:00 |
|
Mark Shannon
|
9bf67e19c2
|
Python points-to: Fix up some oddities with nested from ... import *.
|
2019-06-24 15:20:15 +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 |
|