Nora Dimitrijević
|
4a29087ce7
|
Swift: update Cfg test: VarDecls no longer in BraceStmt basic blocks
This is a consequence of VarDecls not being Elements of BraceStmts. =
|
2023-06-06 16:54:47 +02:00 |
|
Nora Dimitrijević
|
8ccbad601b
|
Swift: PrintAst test changes
|
2023-06-06 16:54:47 +02:00 |
|
Geoffrey White
|
c994b4b9dd
|
Swift: Create test cases for a regular expression library.
|
2023-06-05 23:55:01 +01:00 |
|
Geoffrey White
|
00cd347117
|
Swift: Add more heuristic expressions.
|
2023-06-02 10:42:52 +01:00 |
|
Geoffrey White
|
bc57e464e5
|
Swift: Add some more test cases.
|
2023-06-02 10:42:51 +01:00 |
|
Geoffrey White
|
d68f602124
|
Merge branch 'main' into sharedsensitive
|
2023-06-01 11:11:42 +01:00 |
|
Geoffrey White
|
02cae30270
|
Merge branch 'main' into sharedsensitive
|
2023-05-31 12:57:33 +01:00 |
|
Arthur Baars
|
5981ce4cb1
|
Swift: accept test output from failed CFG consistency queries
|
2023-05-31 12:15:21 +02:00 |
|
Arthur Baars
|
490d22d123
|
Merge remote-tracking branch 'upstream/main' into post-release-prep/codeql-cli-2.13.3
|
2023-05-30 21:31:28 +02:00 |
|
Geoffrey White
|
4a8320fafd
|
Merge pull request #13287 from geoffw0/stringfp
Swift: Fix some string length conflation false positives
|
2023-05-30 08:57:48 +01:00 |
|
Geoffrey White
|
32c113bc38
|
Swift: Fix following merge with main.
|
2023-05-26 14:41:48 +01:00 |
|
Geoffrey White
|
68354c09bf
|
Merge branch 'main' into sqlpathinject
|
2023-05-26 14:33:05 +01:00 |
|
Paolo Tranquilli
|
a6e21dac8f
|
Merge pull request #13284 from github/redsun82/swift-remove-property-wrapper-inconsistencies
Swift: remove some AST and CFG inconsistencies
|
2023-05-26 12:22:56 +02:00 |
|
Geoffrey White
|
736f2871f9
|
Swift: Tweak private info regexps to restore 'account_no' results.
|
2023-05-26 08:43:32 +01:00 |
|
Paolo Tranquilli
|
5a2433244e
|
Swift: remove now passing PrintAstConsistency check
|
2023-05-26 08:58:49 +02:00 |
|
Paolo Tranquilli
|
b0882a9e5f
|
Merge branch 'main' into alexdenisov+redsun82/tuple-mangling
|
2023-05-26 08:40:16 +02:00 |
|
Geoffrey White
|
0e443da710
|
Swift: Remove id() categorization due to accuracy, and repair the old bank.?account case.
|
2023-05-25 21:51:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
7361ad977a
|
Merge pull request #13291 from geoffw0/correction
Swift: Promote some Data models to DataProtocol
|
2023-05-25 11:28:42 -07:00 |
|
Geoffrey White
|
3f3a5d39e5
|
Swift: Fix the SQL injection test.
|
2023-05-25 17:13:51 +01:00 |
|
Geoffrey White
|
51321a218b
|
Swift: Correct models in Data.qll.
|
2023-05-25 15:55:45 +01:00 |
|
Geoffrey White
|
5dfb07ce37
|
Swift: Test DataProtocol.
|
2023-05-25 15:51:21 +01:00 |
|
Paolo Tranquilli
|
51f1a5dcc8
|
Swift: remove getOpaqueExpr from OpenExistentialExpr's children
|
2023-05-25 13:05:21 +02:00 |
|
Paolo Tranquilli
|
7b76aa34bd
|
Swift: fix CFG inconsistency on TapExpr
|
2023-05-25 13:05:21 +02:00 |
|
Paolo Tranquilli
|
b26b0a6e43
|
Swift: remove property wrapper CFG inconsistencies
|
2023-05-25 13:05:21 +02:00 |
|
Paolo Tranquilli
|
7878bc3cc1
|
Swift: remove property wrapper AST inconsistencies
|
2023-05-25 12:15:22 +02:00 |
|
Paolo Tranquilli
|
63fb0581c2
|
Swift: accept inconsistencies for now
|
2023-05-24 20:09:46 +02:00 |
|
Geoffrey White
|
d8cc8bd520
|
Swift: Fix indentation.
|
2023-05-24 18:43:48 +01:00 |
|
Paolo Tranquilli
|
e513af1bcf
|
Swift: add CFG and PrintAst consistency queries, enabling them in CI
|
2023-05-24 18:10:08 +02:00 |
|
Jeroen Ketema
|
3a3d9bc505
|
Swift: Rewrite inline expectation tests to use the parameterized module
|
2023-05-24 11:38:22 +02:00 |
|
Paolo Tranquilli
|
2fb6cdc19b
|
Merge branch 'main' into alexdenisov+redsun82/tuple-mangling
|
2023-05-24 11:16:59 +02:00 |
|
Geoffrey White
|
2c5202018d
|
Swift: Add sinks.
|
2023-05-23 18:11:33 +01:00 |
|
Geoffrey White
|
8573b30239
|
Swift: Add test cases.
|
2023-05-23 17:29:51 +01:00 |
|
Paolo Tranquilli
|
aca85d76ee
|
Merge branch 'codeql-cli-2.13.3' into redsun82/swift-remove-props-from-interpolated-strings
|
2023-05-23 14:42:00 +02:00 |
|
Geoffrey White
|
830686218f
|
Merge branch 'main' into hideenumcasedecl
|
2023-05-22 16:35:28 +01:00 |
|
Paolo Tranquilli
|
9a0f87434e
|
Swift: remove unneeded properties from InterpolatedStringLiteralExpr
These properties were unused in the QL library (hence the full
upgrade/downgrade compatibility).
|
2023-05-22 15:28:54 +02:00 |
|
Paolo Tranquilli
|
20893bdef5
|
Swift: accept test changes after hidden AST fix
|
2023-05-22 10:14:29 +02:00 |
|
Paolo Tranquilli
|
de03bdc235
|
Swift: fix hidden AST getters
For consistency with the C/C++ QL library, getters of AST elements
within the hidden AST should not themselves skip other hidden AST
elements.
|
2023-05-22 09:57:48 +02:00 |
|
Geoffrey White
|
b6122d01fc
|
Swift: Clean up the query somewhat.
|
2023-05-19 22:40:53 +01:00 |
|
Geoffrey White
|
2028b5ef95
|
Swift: Fix imprecise sinks.
|
2023-05-19 22:23:26 +01:00 |
|
Geoffrey White
|
19080333b9
|
Swift: Add a few test cases.
|
2023-05-19 22:18:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
2206216dbb
|
Merge pull request #13221 from geoffw0/filepath
Swift: Taint model for FilePath
|
2023-05-19 14:01:22 +01:00 |
|
Geoffrey White
|
6dfad79972
|
Swift: Model FilePath.
|
2023-05-18 18:56:08 +01:00 |
|
Geoffrey White
|
371bcc55fa
|
Swift: Consolidate and extend tests of taint flow through FilePath.
|
2023-05-18 18:01:38 +01:00 |
|
Geoffrey White
|
3539e55bb2
|
Swift: Autoformat.
|
2023-05-17 19:21:41 +01:00 |
|
Geoffrey White
|
6c35bbf5c2
|
Swift: Simplify / focus the test.
|
2023-05-17 19:15:27 +01:00 |
|
Geoffrey White
|
95caaecd71
|
Swift: Add EnumDecl.getEnumElement(_).
|
2023-05-17 19:05:27 +01:00 |
|
Geoffrey White
|
66b13e2294
|
Swift: Add a test of enum decls.
|
2023-05-17 19:01:57 +01:00 |
|
Geoffrey White
|
5019d3befa
|
Swift: Update test annotations.
|
2023-05-15 18:23:48 +01:00 |
|
Geoffrey White
|
047494dc95
|
Swift: Bank account numbers are a credential now, I guess they don't need to be private data as well.
|
2023-05-15 18:22:55 +01:00 |
|
Geoffrey White
|
252b72b573
|
Swift: Add some special cases to preserve (for now) result quality.
|
2023-05-15 18:22:50 +01:00 |
|