Geoffrey White
|
206acea41c
|
Swift: Fix defaultImplicitTaintRead for sinks that are field accesses on a subclass of the type containing the field.
|
2023-11-01 17:49:25 +00:00 |
|
Geoffrey White
|
554007b305
|
Swift: Add a couple more test cases close to the failures.
|
2023-10-31 17:19:28 +00:00 |
|
Geoffrey White
|
c82eb4dff3
|
Swift: Test spacing.
|
2023-10-31 17:18:08 +00:00 |
|
Mathias Vorreiter Pedersen
|
e75562e508
|
Merge pull request #14633 from github/redsun82/capture-list-vars
Swift: add `VarDecl` children to `CaptureListExpr`
|
2023-10-31 12:48:14 +01:00 |
|
Paolo Tranquilli
|
ea04b500a3
|
Swift: tweak dataflow test
|
2023-10-31 11:39:25 +01:00 |
|
Paolo Tranquilli
|
7bae2d9192
|
Swift: fix tests
|
2023-10-31 10:44:41 +01:00 |
|
Geoffrey White
|
b259a0ff6a
|
Swift: get rid of getRemoteData() in the tests, it's obfuscating results.
|
2023-10-30 17:48:51 +00:00 |
|
Geoffrey White
|
c8706e2ad7
|
Swift: Add some annotations to the clarify UnsafeJSEval.swift test.
|
2023-10-30 17:43:37 +00:00 |
|
Paolo Tranquilli
|
f81a3ec464
|
Swift: add VarDecl children to CaptureListExpr
|
2023-10-30 17:04:53 +01:00 |
|
Geoffrey White
|
c09df2e3f1
|
Swift: Add test cases for the isLineAnchoredHostnameRegExp query case.
|
2023-10-30 14:33:42 +00:00 |
|
Geoffrey White
|
8f115bfd06
|
Swift: Implement 'isUsedAsReplace'.
|
2023-10-30 14:33:42 +00:00 |
|
Geoffrey White
|
435638a5bb
|
Swift: Port the JS tests to Swift.
|
2023-10-30 13:08:11 +00:00 |
|
Geoffrey White
|
954b0612d5
|
Swift: Initial state of the existing test.
|
2023-10-30 13:08:10 +00:00 |
|
Geoffrey White
|
14db0dfcc7
|
Swift: Fairly minimal fix to get the query and test working for Swift.
|
2023-10-30 13:08:10 +00:00 |
|
Geoffrey White
|
c040d4847b
|
Swift: Copy MissingRegexAnchor query from JS.
|
2023-10-30 13:08:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
9e2f0b5ed0
|
Merge branch 'main' into redsun82/swift-case-variables
|
2023-10-30 10:14:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
c4521a30aa
|
Merge pull request #14113 from geoffw0/implicitflow
Swift: Flow through OpenExistentialExpr
|
2023-10-30 10:08:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
4e08ba6820
|
Merge pull request #14618 from geoffw0/qldoc
Swift: QLDoc and test for getCanonicalType
|
2023-10-30 10:06:26 +00:00 |
|
Geoffrey White
|
1929dead39
|
Merge branch 'main' into implicitflow
|
2023-10-27 23:35:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
28eb2caacb
|
Swift: Accept test changes.
|
2023-10-27 16:30:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
6062fbb475
|
Merge pull request #14383 from geoffw0/nsstringregex
Swift: Add regular expression evaluation models for StringProtocol and NSString methods
|
2023-10-27 15:49:23 +01:00 |
|
Geoffrey White
|
6ad5c9542b
|
Swift: Add getCanonicalType to the NominalType test as well.
|
2023-10-27 14:37:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
4aed638066
|
Merge pull request #14577 from MathiasVP/capture-flow-swift
Swift: Add variable-capture flow
|
2023-10-27 14:09:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
68999f3cef
|
Swift: Fix test by including the 'allowParameterReturnInSelf' hook from the variable capture library.
|
2023-10-27 11:25:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
9b150e4ea9
|
Swift: Add failing test.
|
2023-10-27 11:22:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
65e13aa5ed
|
Swift: Add simple version of the 'captureList' test that works.
|
2023-10-27 10:27:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
93234c0b5c
|
Swift: Add model for 'withVaList' and accept test changes.
|
2023-10-27 10:21:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
9e2dd09ddc
|
Swift: Accept test regression (caused by no model for 'withVaList').
|
2023-10-27 10:20:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
784bb72b33
|
Swift: Add some more tests.
|
2023-10-26 17:29:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
96a37f3a3c
|
Swift: Simplify more tests.
|
2023-10-26 14:55:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
2ad121a8a5
|
Swift: Simplify test.
|
2023-10-26 14:46:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
2465cc20f0
|
Swift: Don't define 'ClosureSelfParameterNode' as the expression node of the closure.
|
2023-10-26 11:56:27 +01:00 |
|
Geoffrey White
|
82b92c38f9
|
Swift: Change method types to DataFlow::Node / go ahead with planned deprecations.
|
2023-10-25 17:11:21 +01:00 |
|
Geoffrey White
|
bf503849ea
|
Swift: Fixup line numbers after merge.
|
2023-10-25 11:09:13 +01:00 |
|
Geoffrey White
|
bf6e6a1e68
|
Merge branch 'main' into stringwith
|
2023-10-25 10:58:25 +01:00 |
|
Paolo Tranquilli
|
9196939384
|
Swift: canonicalize all VarDecls
|
2023-10-25 10:38:17 +02:00 |
|
Geoffrey White
|
8a5f3e4825
|
Swift: Fix an issue with RegexTracking.qll using PotentialRegexEval rather than RegexEval.
|
2023-10-24 22:49:19 +01:00 |
|
Geoffrey White
|
021ed88a0a
|
Swift: Add a test revealing unevaluated regexs.
|
2023-10-24 22:42:15 +01:00 |
|
Geoffrey White
|
42a2ec9891
|
Merge branch 'main' into substring
|
2023-10-24 17:03:00 +01:00 |
|
Geoffrey White
|
06b1cd939c
|
Merge pull request #14502 from geoffw0/xmlquery
Swift: Model RawRepresentable
|
2023-10-24 16:25:15 +01:00 |
|
Geoffrey White
|
79f675cdb7
|
Swift: Fix a model.
|
2023-10-24 16:17:21 +01:00 |
|
Geoffrey White
|
a5206028b0
|
Swift: Expand a test to explore why it fails (lack of pointer models and closure capture flow).
|
2023-10-24 16:17:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
6f37d7c374
|
Swift: Accept changes in paths.
|
2023-10-24 15:39:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
56b49a4de3
|
Swift: Add a closure flow step from the right-hand side of variable declarations to the underlying pattern.
|
2023-10-24 15:28:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
3d5098aaeb
|
Swift: Add failing test.
|
2023-10-24 15:28:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
1c298e6001
|
Swift: Fix 'parameter' -> 'argument' flow into closures.
|
2023-10-24 15:28:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
310ebe47b3
|
Swift: Clean up test file.
|
2023-10-24 15:27:59 +01:00 |
|
Nora Dimitrijević
|
9dbf7e818d
|
Swift: align definition of InputSig slightly closer to Java version
Though there is a regression in the tests, so more work is needed.
|
2023-10-24 13:56:31 +01:00 |
|
Nora Dimitrijević
|
5418d39a0d
|
Swift: add and accept a few new simple test cases
|
2023-10-24 13:56:31 +01:00 |
|
Nora Dimitrijević
|
af49a3aa64
|
Swift: accept new results in old tests
|
2023-10-24 13:56:31 +01:00 |
|