Mathias Vorreiter Pedersen
|
a175f49759
|
Merge pull request #3 from geoffw0/swiftsrc
Swift: Add swift-security-and-quality, swift-security-extended packs.
|
2022-05-31 15:02:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
b5d229d4d8
|
Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2022-05-31 15:01:36 +01:00 |
|
Geoffrey White
|
01091ae1b9
|
Swift: Add codeql-suites.
|
2022-05-31 14:52:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
1d120486b4
|
Swift: Extract 'yield' statements.
|
2022-05-31 14:43:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
9af31bab2a
|
Swift: Add qlpacks.
|
2022-05-31 13:59:44 +01:00 |
|
Geoffrey White
|
ce3488b1b5
|
Update Swift readme
|
2022-05-31 10:56:28 +01:00 |
|
Geoffrey White
|
27968b60a5
|
Added Bazel install step.
|
2022-05-31 10:25:42 +01:00 |
|
Henry Mercer
|
b1faba9880
|
Merge pull request #9359 from github/henrymercer/migrate-to-codeql-workspace
Migrate `.codeqlmanifest.json` to `codeql-workspace.yml`
|
2022-05-30 18:20:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
b88fe1b2b4
|
Swift: Add test case and accept changes.
|
2022-05-30 17:05:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
eed42a4e14
|
Swift: Make a new scope for each KeyPath expression.
|
2022-05-30 17:05:06 +01:00 |
|
Henry Mercer
|
ca764576be
|
Swift: Update mention of manifest file in docs
|
2022-05-30 15:54:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
9175354bbd
|
Swift: Add test and accept changes.
|
2022-05-30 15:51:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
52f0b0d8d8
|
Swift: Fix extraction of roots in 'KeyPathExpr'.
|
2022-05-30 15:46:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
21527f66e1
|
Swift: Extract KeyPath applications and KeyPathDot expressions.
|
2022-05-30 15:46:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
d8916568b6
|
Merge branch 'main' into fix-inconsistent-cfg
|
2022-05-30 14:07:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
9b17493b3b
|
Merge branch 'main' into not-all-functions-throw
|
2022-05-30 14:03:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
ef31aec29e
|
Swift: Autoformat.
|
2022-05-30 12:58:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
425d66e454
|
Update swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
|
2022-05-30 12:52:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
2106d48785
|
Swift: Add 'Argument.getIndex()' and use it in 'DataFlowDispatch'.
|
2022-05-30 12:51:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
0d8a9458c6
|
Merge branch 'main' into rdmarsh2/swift/dataflow-global-flow
|
2022-05-30 12:46:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
7c25063f7f
|
Merge branch 'main' into swift-decls-in-cfg
|
2022-05-27 17:56:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
c734646099
|
Swift: Accept test changes.
|
2022-05-27 17:42:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
6d5504412a
|
Swift: Only create a 'ThrowCompletion' for functions that actually can throw.
|
2022-05-27 17:42:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
b9809b4219
|
Swift: CFG for opening existentials.
|
2022-05-27 17:29:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
02c73d3c1c
|
Swift: Fix implicit-this alert.
|
2022-05-27 17:25:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
6815e731d2
|
Swift: Add test and accept output
|
2022-05-27 11:48:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
45bbd24355
|
Swift: Extract whether a function type is throwing or async.
|
2022-05-27 11:48:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
7d36bc1c73
|
Swift: Fix CFG for 'foreach' statements.
|
2022-05-27 10:01:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
73c189957d
|
Swift: Fix CFG inconsistencies with StmtConditions.
|
2022-05-27 09:58:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
795c0110e5
|
Swift: Accept more test changes.
|
2022-05-27 09:17:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
52a10c826a
|
Merge branch 'main' into swift-to-string
|
2022-05-27 09:06:36 +01:00 |
|
Robert Marsh
|
32e4c496f6
|
Swift: Dataflow through Phi nodes
|
2022-05-26 17:55:25 +00:00 |
|
Robert Marsh
|
507fdef028
|
Swift: add more data flow tests
|
2022-05-26 17:33:12 +00:00 |
|
Robert Marsh
|
81ac648065
|
Swift: flow out of calls via return statements
|
2022-05-26 16:58:53 +00:00 |
|
Robert Marsh
|
ae6d16a40f
|
Swift: flow into callees via params
|
2022-05-26 16:53:42 +00:00 |
|
Robert Marsh
|
25c8b8141c
|
Swift: add params to CFG
|
2022-05-26 16:48:24 +00:00 |
|
Robert Marsh
|
3213549a73
|
Merge pull request #9329 from MathiasVP/fixes-for-9291
Swift: Fixups for #9291
|
2022-05-26 07:25:24 -04:00 |
|
Mathias Vorreiter Pedersen
|
df2c1972e9
|
Swift: Add CFG trees for local declarations and accept test changes.
|
2022-05-26 09:09:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
b715a6b63b
|
Swift: Add test containing local declarations.
|
2022-05-26 09:06:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
c7cc8d2592
|
Swift: Fix copy-paste error.
|
2022-05-25 21:36:24 +01:00 |
|
Robert Marsh
|
aa77ea6bef
|
Swift: minimal tests for interprocedural flow
|
2022-05-25 19:24:34 +00:00 |
|
Robert Marsh
|
9f64622f31
|
Swift: data flow configurations working
|
2022-05-25 19:23:43 +00:00 |
|
Robert Marsh
|
d326b3a91c
|
Swift: global dataflow WIP
|
2022-05-25 18:54:47 +00:00 |
|
Robert Marsh
|
bba3564187
|
Swift: adjust for changes in main
|
2022-05-25 18:52:47 +00:00 |
|
Robert Marsh
|
91b34d5e8f
|
Swift: make LambdaCallKind a TODO
|
2022-05-25 18:26:38 +00:00 |
|
Robert Marsh
|
765e1e1115
|
Swift: autoformat
|
2022-05-25 18:26:38 +00:00 |
|
Robert Marsh
|
cf22ade9f3
|
Swift: initial local data flow implementation
|
2022-05-25 18:26:37 +00:00 |
|
Robert Marsh
|
117a1ad2f4
|
Swift: DataFlow expr and parameter nodes
|
2022-05-25 18:26:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
fafdb016fa
|
Swift: Fixup based on review comments in #9291.
|
2022-05-25 16:10:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
f17afa8a11
|
Swift: Accept test changes.
|
2022-05-25 16:01:42 +01:00 |
|