james
|
a1cabfd030
|
docs: update read-me-project and change format
|
2019-07-29 09:39:22 +01:00 |
|
james
|
faf4727a78
|
docs: move ql docs to ql repo
|
2019-07-29 09:39:21 +01:00 |
|
Ian Lynagh
|
b2a68d7eaa
|
C++: Update stats following lambda change
|
2019-07-26 20:39:22 +01:00 |
|
Ian Lynagh
|
cff1bb0b96
|
C++: Update lambda test output
Indexes are now 0-based.
|
2019-07-26 20:39:22 +01:00 |
|
Ian Lynagh
|
6c21fbaade
|
C++: Add an upgrade script
|
2019-07-26 20:39:22 +01:00 |
|
Ian Lynagh
|
4385ca1ab6
|
C++: Follow changes to how lambdas are extracted
|
2019-07-26 20:39:22 +01:00 |
|
Arthur Baars
|
b3c403a142
|
Update javascript example queries
|
2019-07-26 17:47:11 +02:00 |
|
Arthur Baars
|
89906e610a
|
Use js/examples instead of js/cookbook in @id
|
2019-07-26 17:47:11 +02: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 |
|
yh-semmle
|
a1b4d09b42
|
Merge pull request #1630 from aschackmull/java/switchexpr-tostring
Java: Add toString override for SwitchExpr.
|
2019-07-26 11:32:24 -04: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 |
|
Taus
|
8443f68a33
|
Merge pull request #1624 from markshannon/python-fix-pruning-for-constants
Python: Fix up pruning in QL to better handle constraints from constants.
|
2019-07-26 16:05:14 +02: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 |
|
Anders Schack-Mulligen
|
6d022aa359
|
Java/C++/C#: Sync dataflow.
|
2019-07-26 13:17:12 +02:00 |
|
Anders Schack-Mulligen
|
7c30c1a01c
|
Java: Deprecate isBarrierEdge.
|
2019-07-26 13:16:19 +02:00 |
|
Mark Shannon
|
59ea825bbc
|
Python objects: Add explanatory comment.
|
2019-07-26 12:07:16 +01:00 |
|
Mark Shannon
|
159b111aa8
|
Python: remove some unnecessary pragmas.
|
2019-07-26 11:07:39 +01:00 |
|
Anders Schack-Mulligen
|
d3c5644229
|
Java: Add support for in/out barriers on sources and sinks.
|
2019-07-26 11:52:55 +02:00 |
|
semmle-qlci
|
143016ed96
|
Merge pull request #1635 from xiemaisi/js/dont-taint-for-in
Approved by asger-semmle
|
2019-07-26 08:32:14 +01:00 |
|
yh-semmle
|
9fdb964622
|
Merge pull request #1511 from aschackmull/java/typeflow-precision
Java: Minor TypeFlow precision improvement and refactor.
|
2019-07-25 23:06:16 -04:00 |
|
yh-semmle
|
0a321f59ab
|
Merge pull request #1631 from aschackmull/java/delete-deprecated-dataflow-copy
Java: Delete deprecated dependency DataFlowImplDepr.
|
2019-07-25 22:42:49 -04:00 |
|
Max Schaefer
|
2e760bf5b5
|
JavaScript: Add upgrade script.
|
2019-07-25 16:52:44 +01:00 |
|
Max Schaefer
|
31b4d8dfb0
|
JavaScript: Update TRAP test outputs.
|
2019-07-25 16:52:44 +01:00 |
|
Max Schaefer
|
9a00f4d0f0
|
JavaScript: store YAML locations in yaml_locations table instead of hasLocation.
|
2019-07-25 16:52:44 +01:00 |
|
Max Schaefer
|
37cb4e4023
|
JavaScript: Add upgrade script.
|
2019-07-25 16:52:44 +01:00 |
|
Max Schaefer
|
79a7a8c6a7
|
JavaScript: Update TRAP test outputs.
|
2019-07-25 16:52:44 +01:00 |
|
Max Schaefer
|
6b3abbbde5
|
JavaScript: Store JSON locations in json_locations table instead of hasLocation.
|
2019-07-25 16:52:44 +01:00 |
|
Max Schaefer
|
2df41c43e2
|
JavaScript: Make name of hasLocation relation in location manager configurable.
|
2019-07-25 16:52:44 +01:00 |
|
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 |
|
Anders Schack-Mulligen
|
046d4a01de
|
Java: Add taint step for String::concat.
|
2019-07-25 11:38:34 +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 |
|
Anders Schack-Mulligen
|
3d340d4fba
|
Java: Delete deprecated dependency DataFlowImplDepr.
|
2019-07-25 11:18:01 +02:00 |
|
Anders Schack-Mulligen
|
e8aae19556
|
Java: Add toString override for SwitchExpr.
|
2019-07-25 10:53:16 +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 |
|
yh-semmle
|
a42d9b1f96
|
Merge pull request #1616 from aschackmull/java/dataflow-prunetype-bugfix
Java: Bugfix for flow through methods with taint step and upcast.
|
2019-07-24 22:28:05 -04:00 |
|
Robert Marsh
|
05cad96086
|
Merge pull request #1605 from geoffw0/bitwiseneg
CPP: Make BitwiseSignCheck.ql more accurate
|
2019-07-24 12:33:40 -07:00 |
|
Robert Marsh
|
fa43ae241d
|
Merge pull request #1615 from geoffw0/exprowninit
CPP: Test + workaround for UseInOwnInitializer.ql
|
2019-07-24 12:13:24 -07:00 |
|
semmle-qlci
|
137427fc40
|
Merge pull request #1613 from asger-semmle/canonical-name-defs
Approved by xiemaisi
|
2019-07-24 18:51:08 +01:00 |
|
Asger F
|
6f158182d1
|
JS: Add self as global object alias
|
2019-07-24 17:10:59 +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 |
|
Max Schaefer
|
97e8b5fa99
|
JavaScript: Address review comments.
|
2019-07-24 15:32:13 +01:00 |
|
Mark Shannon
|
05e498dfdc
|
Python: Clarify pruning code.
|
2019-07-24 14:47:46 +01:00 |
|