Arthur Baars
|
6d24591416
|
Revert "Python: switch to shared implementation of IncompleteHostnameRegExp.ql"
This reverts commit ce50f35dda.
|
2022-03-18 13:02:55 +01:00 |
|
Chris Smowton
|
767453520e
|
Merge pull request #8032 from JLLeitschuh/feat/JLL/check_os
Java: Add Guard Classes for checking OS & unify System Property Access
|
2022-03-18 11:20:36 +00:00 |
|
Asger Feldthaus
|
26b7edccd4
|
JS: Change note
|
2022-03-18 11:59:36 +01:00 |
|
Erik Krogh Kristensen
|
693c77f3df
|
add test for string replacement chains of URL schemes
|
2022-03-18 11:05:59 +01:00 |
|
Asger F
|
929419abba
|
Merge pull request #8254 from asgerf/ruby/mad-prototype
Ruby: initial prototype of models-as-data
|
2022-03-18 10:48:33 +01:00 |
|
Erik Krogh Kristensen
|
235aa9c24e
|
recognize string replacement chains as scheme checks in js/incomplete-url-scheme-check
|
2022-03-18 10:37:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
8bf172913e
|
Merge pull request #8474 from hvitved/flow-state-changing-steps-should-be-in-path-explanation-alternative
Dataflow: Flow-state changing steps should always be in path explanations
|
2022-03-18 09:08:36 +00:00 |
|
Asger Feldthaus
|
8753632193
|
JS: Fix bug in reachableFromStoreBase
|
2022-03-17 17:30:46 +01:00 |
|
Asger Feldthaus
|
8c6ca6582e
|
JS: Add test showing missing flow
|
2022-03-17 17:30:46 +01:00 |
|
Geoffrey White
|
ff3bedcab9
|
C++: Fix expensive getWideCharType().
|
2022-03-17 14:41:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
abe30457ee
|
Python: Accept test changes.
|
2022-03-17 14:03:58 +01:00 |
|
Tom Hvitved
|
79ea2a3a9c
|
Data flow: Sync files
|
2022-03-17 14:03:58 +01:00 |
|
Tom Hvitved
|
4df12dc6e6
|
Data flow: State-changing taint steps should not be stepped over by the big step relation
|
2022-03-17 14:03:58 +01:00 |
|
Rasmus Wriedt Larsen
|
2b9408b0c3
|
Concepts: Add some architecture documentation
|
2022-03-17 13:49:10 +01:00 |
|
Harry Maclean
|
36c421346b
|
Introduce ConceptsShared.qll
|
2022-03-17 13:49:10 +01:00 |
|
Erik Krogh Kristensen
|
870521bd1e
|
Merge pull request #8473 from erik-krogh/redundantAnyCast
QL: expand redundant-inline-cast, and rename to redundant-cast
|
2022-03-17 10:41:50 +01:00 |
|
Erik Krogh Kristensen
|
fe94421d32
|
rename redundant-inline-cast to redundant-cast
|
2022-03-17 10:25:40 +01:00 |
|
Erik Krogh Kristensen
|
86398a8c65
|
Merge pull request #8304 from erik-krogh/xssUrl
JS: Refactor the XSS / Client-side-url queries
|
2022-03-17 09:13:09 +01:00 |
|
4B5F5F4B
|
d4c7314484
|
Delete cve-2016-6480.ql
commit by mistake
|
2022-03-17 09:49:28 +08:00 |
|
Erik Krogh Kristensen
|
aa8b7c8679
|
update reference to deprecated class name
|
2022-03-16 22:32:54 +01:00 |
|
Erik Krogh Kristensen
|
6cdc38748c
|
update expected output
|
2022-03-16 22:32:09 +01:00 |
|
Erik Krogh Kristensen
|
d8a5947a08
|
simplify TaintedUrlSuffix::source() to only consider window.location based sources
|
2022-03-16 22:32:09 +01:00 |
|
Erik Krogh Kristensen
|
b3de5d94a6
|
move PrefixStringSanitizer to the Query.qll file, and have it extend LabeledSanitizerGuardNode
|
2022-03-16 22:32:09 +01:00 |
|
Erik Krogh Kristensen
|
562dce57e8
|
rename isXSSSink to isXssSink
|
2022-03-16 22:32:09 +01:00 |
|
Erik Krogh Kristensen
|
f083e87fa1
|
refactor the js/xss query to use three flowlabels and one configuration
|
2022-03-16 22:32:08 +01:00 |
|
Erik Krogh Kristensen
|
87842bb8b7
|
add client-side-url sinks that may execute JavaScript as XSS sinks
|
2022-03-16 22:32:08 +01:00 |
|
Erik Krogh Kristensen
|
b471fec149
|
split interpretsArgumentsAsURL out of interpretsArgumentsAsHTML, and use it to generalize AttributeUrlSink
|
2022-03-16 22:32:08 +01:00 |
|
Erik Krogh Kristensen
|
2576e1f655
|
add utility predicate to get client-side remote-flow-sources that contain a URL query/fragment
|
2022-03-16 22:32:08 +01:00 |
|
Erik Krogh Kristensen
|
67e6a4c716
|
add a isXSSSink predicate to the client-side-url-redirection sinks
|
2022-03-16 22:32:08 +01:00 |
|
Erik Krogh Kristensen
|
fc79242674
|
add tests
|
2022-03-16 22:32:08 +01:00 |
|
Erik Krogh Kristensen
|
559f03ebbc
|
remove unnecessary module qualifier
|
2022-03-16 22:32:07 +01:00 |
|
Erik Krogh Kristensen
|
2d9d383c55
|
remove unused import
|
2022-03-16 22:32:07 +01:00 |
|
Arthur Baars
|
1a51f0cf56
|
Ruby: regex: fix getGroupNumber
non-capture groups should not have a group number
|
2022-03-16 18:50:51 +01:00 |
|
Dave Bartolomeo
|
606e015afb
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysis.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:35 -04:00 |
|
Dave Bartolomeo
|
e275ab3951
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:15 -04:00 |
|
Dave Bartolomeo
|
6adc11b10e
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:08 -04:00 |
|
Dave Bartolomeo
|
b36281dd8c
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:07:02 -04:00 |
|
Dave Bartolomeo
|
db4963ada0
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 13:06:54 -04:00 |
|
Michael Nebel
|
4a68b74aa3
|
C#: Re-use the asPartialModel for DataFlowPrivate in tests.
|
2022-03-16 17:02:00 +01:00 |
|
Michael Nebel
|
115cef2484
|
C#: Move asPartialModel into DataFlowPrivate (to enable re-use).
|
2022-03-16 16:44:24 +01:00 |
|
Arthur Baars
|
f95e1efb67
|
Ruby: remove wrong clause
|
2022-03-16 16:25:42 +01:00 |
|
Arthur Baars
|
fb8cc6e1a4
|
Ruby: String.index method returns 'nil', not '-1'
|
2022-03-16 16:18:19 +01:00 |
|
Michael Nebel
|
138eb485c6
|
C#: Address review comments.
|
2022-03-16 16:00:48 +01:00 |
|
Jeroen Ketema
|
7a9a9d833a
|
Merge pull request #8435 from jketema/all-the-barriers
Add flow state versions of isBarrierIn, isBarrierOut, and isBarrierGuard
|
2022-03-16 15:50:19 +01:00 |
|
Michael Nebel
|
68f24cda0b
|
Merge pull request #8462 from michaelnebel/csharp/capture-models-fix-bad-join-order
C#: Fix bad join order in returnNodeAsOutput.
|
2022-03-16 15:46:17 +01:00 |
|
Dave Bartolomeo
|
571c034549
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2022-03-16 10:14:45 -04:00 |
|
Asger Feldthaus
|
e1976da7f9
|
JS: Autoformat
|
2022-03-16 15:01:17 +01:00 |
|
Arthur Baars
|
f2ec5132ba
|
Apply suggestions from code review
Co-authored-by: Nick Rolfe <nickrolfe@github.com>
|
2022-03-16 14:46:34 +01:00 |
|
Dave Bartolomeo
|
e669ffa22e
|
Merge pull request #8320 from jketema/structured-binding-array
C++: Handle initialization of structured bindings via bitwise copy in extractor
|
2022-03-16 09:41:31 -04:00 |
|
Ian Lynagh
|
565f607096
|
Java: Add a changenote for ErrorExpr/ErrorStmt
|
2022-03-16 13:20:33 +00:00 |
|