Alex Ford
|
f6d99dc00d
|
Define getBlockImpl for synthesized method calls
|
2021-11-17 09:04:29 +01:00 |
|
Alex Ford
|
a743067dc8
|
Support synthesis of blocks (without a new variable scope)
|
2021-11-17 09:04:29 +01:00 |
|
Alex Ford
|
04df56d1c0
|
Support synthesis of SimpleParameters
|
2021-11-17 09:04:29 +01:00 |
|
Tom Hvitved
|
7cfc696d62
|
Merge pull request #7141 from hvitved/ruby/synthesis-realnode-recursion
Ruby: Eliminate unnecessary recursion through `RealNode`
|
2021-11-17 09:03:30 +01:00 |
|
Alex Ford
|
c8cdbfa352
|
ruby: push getMethodName into DataFlow::CallNode
|
2021-11-16 17:11:26 +00:00 |
|
Alex Ford
|
286c894f34
|
ruby: add DataFlow::MethodCallNode class
|
2021-11-16 15:39:47 +00:00 |
|
Anders Schack-Mulligen
|
c70d384d28
|
Merge pull request #7045 from aschackmull/dataflow/hidden-ret-subpaths
Data flow: Support hidden return nodes in subpaths predicate
|
2021-11-16 15:04:51 +01:00 |
|
Tom Hvitved
|
9e8e2e2b48
|
Ruby: Update CFG test output (some nodes have been reordered)
|
2021-11-16 12:45:24 +01:00 |
|
Tom Hvitved
|
e7b091086d
|
Ruby: Eliminate unnecessary recursion through RealNode
|
2021-11-16 12:24:17 +01:00 |
|
Rasmus Wriedt Larsen
|
98e6fc8a88
|
Python/Ruby: Remove owasp tags
These are no longer correct, since the A1 category changed from 2017 to
2021, see https://owasp.org/Top10/#whats-changed-in-the-top-10-for-2021
Since only a very few queries had these tags, I think we're much better
off having them removed.
|
2021-11-16 12:03:50 +01:00 |
|
Tom Hvitved
|
3a8e2db3ab
|
Merge pull request #7121 from hvitved/ruby/lookup-const-anti-join
|
2021-11-16 11:32:55 +01:00 |
|
Tom Hvitved
|
03ae58830a
|
Ruby: Add missing CFG entry for ForwardParameter
|
2021-11-15 16:28:17 +01:00 |
|
Tom Hvitved
|
3ce41015bb
|
Ruby: Add CFG test for forward parameters
|
2021-11-15 16:25:06 +01:00 |
|
Tom Hvitved
|
4bbfa514c9
|
Merge pull request #6535 from hvitved/csharp/consistency-queries
C#: Add consistency queries
|
2021-11-15 13:15:58 +01:00 |
|
Tom Hvitved
|
723ac818d9
|
Shared CFG: Update breakInvariant4 consistency test
|
2021-11-15 11:43:49 +01:00 |
|
Tom Hvitved
|
d1a09b62d3
|
Address review comments
|
2021-11-12 16:31:00 +01:00 |
|
Tom Hvitved
|
3471e757f2
|
Ruby: Fix performance problem in Definitions.ql
|
2021-11-12 14:35:16 +01:00 |
|
Tom Hvitved
|
19e6da517b
|
Ruby: Fix bad join-order in resolveConstant
```
[2021-11-09 11:35:47] (99s) Starting to evaluate predicate Module::Cached::resolveConstant#ff#antijoin_rhs/3@f6dcd6
[2021-11-09 11:35:58] (111s) Tuple counts for Module::Cached::resolveConstant#ff#antijoin_rhs/3@f6dcd6 after 11.5s:
165960683 ~0% {4} r1 = JOIN Module::Cached::resolveConstant#ff#shared WITH Module::constantDefinition0#ff_10#join_rhs ON FIRST 1 OUTPUT Rhs.1, Lhs.1 'arg1', Lhs.0 'arg0', Lhs.2 'arg2'
0 ~0% {3} r2 = JOIN r1 WITH Module::ClassDeclaration::getSuperclassExpr_dispred#ff ON FIRST 2 OUTPUT Lhs.2 'arg0', Lhs.1 'arg1', Lhs.3 'arg2'
0 ~0% {3} r3 = JOIN r1 WITH Constant::ConstantAccess::getScopeExpr_dispred#ff ON FIRST 2 OUTPUT Lhs.2 'arg0', Lhs.1 'arg1', Lhs.3 'arg2'
0 ~0% {3} r4 = r2 UNION r3
return r4
```
|
2021-11-12 14:08:11 +01:00 |
|
Nick Rolfe
|
9034d74663
|
Ruby: add file-level qldoc
|
2021-11-12 11:12:27 +00:00 |
|
Erik Krogh Kristensen
|
b639a8d183
|
update ruby example
Co-authored-by: Nick Rolfe <nickrolfe@github.com>
|
2021-11-11 14:04:38 +01:00 |
|
Anders Schack-Mulligen
|
7ffd9b4f9e
|
Dataflow: Include read/store steps when finding non-hidden return.
|
2021-11-11 11:26:21 +01:00 |
|
Tom Hvitved
|
34fdf11b4b
|
Ruby: Update expected test output
|
2021-11-10 15:11:13 +01:00 |
|
Anders Schack-Mulligen
|
6d9fb3ca43
|
Dataflow: Sync.
|
2021-11-10 15:11:13 +01:00 |
|
Tom Hvitved
|
7178a98e45
|
Ruby: Rename pruneUseNode{Fwd,Rev}
|
2021-11-09 15:16:36 +01:00 |
|
Tom Hvitved
|
30251740e3
|
Ruby: Prune nodes before computing trackUseNode
|
2021-11-09 15:16:36 +01:00 |
|
Tom Hvitved
|
8195ebf4b3
|
Merge pull request #7059 from hvitved/ruby/basic-store-step-postupdate
Ruby: Fix `basicStoreStep`
|
2021-11-09 15:16:07 +01:00 |
|
Alex Ford
|
556cdbaa21
|
ruby: QL format
|
2021-11-09 14:09:11 +00:00 |
|
Alex Ford
|
37775407a9
|
ruby: drop a redundant bit of documentation
|
2021-11-09 14:07:00 +00:00 |
|
Alex Ford
|
340897f262
|
ruby: drop unnecessary variable
|
2021-11-09 14:06:21 +00:00 |
|
Alex Ford
|
a23750a9c7
|
ruby: inline some predicates
|
2021-11-09 14:06:21 +00:00 |
|
Alex Ford
|
c65d1d9a50
|
ruby: CSRFProtectionDisabled.qhelp fixes
Co-authored-by: Harry Maclean <hmac@github.com>
|
2021-11-09 14:05:41 +00:00 |
|
Alex Ford
|
2581efc18a
|
ruby: downgrade rb/hardcoded-credentials precision from high to medium
|
2021-11-08 12:32:38 +00:00 |
|
Anders Schack-Mulligen
|
e0b121cd90
|
Merge pull request #7047 from hvitved/csharp/ssa/dominance-frontier
Shared SSA: Improved dominance frontier calculation
|
2021-11-08 08:50:46 +01:00 |
|
Alex Ford
|
5f78bbbf52
|
add missing documentation
|
2021-11-04 21:07:54 +00:00 |
|
Alex Ford
|
543bd28b03
|
add a change note for rb/csrf-protection-disabled
|
2021-11-04 20:14:54 +00:00 |
|
Alex Ford
|
d324f9397c
|
qhelp for rb/csrf-protection-disabled
|
2021-11-04 19:56:56 +00:00 |
|
Alex Ford
|
25da904314
|
test cases for rb/csrf-protection-disabled
|
2021-11-04 19:56:56 +00:00 |
|
Alex Ford
|
4666024419
|
model some ways to configure Rails
|
2021-11-04 19:56:56 +00:00 |
|
Alex Ford
|
91f99ed2a1
|
model skip_forgery_protection calls in ActionController classes
|
2021-11-04 19:56:56 +00:00 |
|
Alex Ford
|
fad7e9489b
|
Add a query to detect instances of CSRF protection being disabled
|
2021-11-04 19:56:55 +00:00 |
|
Alex Ford
|
8a412dc5fd
|
Add CSRFProtectionSetting concept
|
2021-11-04 18:18:29 +00:00 |
|
Tom Hvitved
|
3544c85445
|
Ruby: Make the target of basicStoreStep the post-update node
|
2021-11-04 14:21:22 +01:00 |
|
Tom Hvitved
|
1101b1054d
|
Ruby: Make target of basicStoreStep a normal data flow node
|
2021-11-04 14:20:07 +01:00 |
|
Tom Hvitved
|
a56a5e4e7d
|
Ruby: Add type tracker tests
|
2021-11-04 14:19:16 +01:00 |
|
Erik Krogh Kristensen
|
02f500b9c2
|
Merge branch 'main' into htmlReg
|
2021-11-04 12:58:42 +01:00 |
|
Tom Hvitved
|
16d96d2ad3
|
Ruby: Remove Node::getEnclosingCallable and ParameterNode::isParameterOf
|
2021-11-03 15:59:29 +01:00 |
|
Tom Hvitved
|
df6962143d
|
Shared SSA: Sync files
|
2021-11-03 14:21:50 +01:00 |
|
Nick Rolfe
|
dd17271ec8
|
Merge remote-tracking branch 'origin/main' into nickrolfe/regex_injection
|
2021-11-03 11:55:42 +00:00 |
|
Tom Hvitved
|
ab37ae6613
|
Merge pull request #7036 from hvitved/ruby/truncate-get-value-text
Ruby: Truncate concatenated strings in `getValueText`
|
2021-11-03 10:57:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
4a2894a707
|
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
Dataflow: Replace a 'noinline' pragma with a 'nomagic' pragma
|
2021-11-02 20:40:44 +00:00 |
|