Geoffrey White
|
bb55456885
|
Merge branch 'main' into taintplusequals2
|
2023-02-27 22:33:26 +00:00 |
|
Geoffrey White
|
36a33bc718
|
Swift: Delete file that was resurrected by the merge.
|
2023-02-27 17:33:21 +00:00 |
|
Geoffrey White
|
296093ded6
|
Merge branch 'main' into nsstring
|
2023-02-27 17:26:57 +00:00 |
|
Anders Schack-Mulligen
|
bf650c755c
|
Dataflow: Sync changes to all languages.
|
2023-02-27 14:30:05 +01:00 |
|
Paolo Tranquilli
|
5cb3279816
|
Merge pull request #12319 from github/redsun82/swift-codegen
Codegen: make Swift codegen language agnostic
|
2023-02-27 14:06:20 +01:00 |
|
Geoffrey White
|
8ef6521cc9
|
Swift: Undo toString changes.
|
2023-02-27 12:01:02 +00:00 |
|
AlexDenisov
|
85bf10ee0f
|
Merge pull request #12227 from github/redsun82/swift-5.7.3
Swift: update to 5.7.3
|
2023-02-27 10:24:07 +01:00 |
|
Paolo Tranquilli
|
1218145259
|
Codegen: update README.md files
|
2023-02-27 10:01:50 +01:00 |
|
Paolo Tranquilli
|
cdd4e8021b
|
Move swift/codegen to misc/codegen
|
2023-02-27 09:46:48 +01:00 |
|
Paolo Tranquilli
|
6d192cdcc1
|
Swift: make C++ code generation language agnostic
|
2023-02-27 09:46:48 +01:00 |
|
Paolo Tranquilli
|
feb4e60c4b
|
Swift: make all ql generation language agnostic
|
2023-02-27 09:46:48 +01:00 |
|
Paolo Tranquilli
|
aca18f5da8
|
Swift: make codegen use a config file
|
2023-02-27 09:46:48 +01:00 |
|
Paolo Tranquilli
|
e4627cb702
|
Swift: make codegen a bit more language-agnostic
|
2023-02-27 09:46:48 +01:00 |
|
Geoffrey White
|
e71c7e7842
|
Swift: Autoformat.
|
2023-02-24 19:09:14 +00:00 |
|
Geoffrey White
|
a5943603ea
|
Swift: 'Any' -> 'An' (make QL-for-QL happy)
|
2023-02-24 19:08:11 +00:00 |
|
Geoffrey White
|
1a7e7481b2
|
Swift: Add flow thtaint flow through assignments other than =.
|
2023-02-23 16:25:32 +00:00 |
|
Geoffrey White
|
a222757e69
|
Swift: Add support for pointwise assignment operators.
|
2023-02-23 16:25:32 +00:00 |
|
Geoffrey White
|
15e3892b03
|
Swift: Add support for overflow assignment operators.
|
2023-02-23 16:25:32 +00:00 |
|
Geoffrey White
|
1d4925d7af
|
Swift: Expand assignment operations.
|
2023-02-23 16:25:31 +00:00 |
|
Geoffrey White
|
71813fa0a7
|
Swift: Implement full tree of Assignment classes
|
2023-02-23 13:23:36 +00:00 |
|
Geoffrey White
|
aaa89f7f32
|
Swift: Add a test for assignment exprs.
|
2023-02-23 13:15:06 +00:00 |
|
Paolo Tranquilli
|
62f4e48433
|
Swift: fix comments in PrintAst library
|
2023-02-22 16:46:46 +01:00 |
|
Geoffrey White
|
c462e010d1
|
Merge pull request #12266 from geoffw0/taintplusequals
Swift: Taint through arithmetic
|
2023-02-21 09:32:53 +00:00 |
|
Geoffrey White
|
cb8f5979d1
|
Swift: Update swift/string-length-conflation to taint tracking and remove a special case that's now covered by taint.
|
2023-02-20 18:18:15 +00:00 |
|
Geoffrey White
|
9b117fefd7
|
Swift: Generalize the arithmetic we allow taint through.
|
2023-02-20 18:18:15 +00:00 |
|
Geoffrey White
|
a5bb336647
|
Merge pull request #12265 from geoffw0/taintunaryplus
Swift: Add unary +
|
2023-02-20 18:04:37 +00:00 |
|
Geoffrey White
|
87c0b6195f
|
Swift: Add taint tests for various arithmetic operators.
|
2023-02-20 17:22:51 +00:00 |
|
Geoffrey White
|
3038543242
|
Swift: Add UnaryPlusExpr.
|
2023-02-20 17:15:20 +00:00 |
|
Geoffrey White
|
e19e28fbb9
|
Merge pull request #12263 from geoffw0/flowsourceinline
Swift: Convert the flow sources test to inline expectations.
|
2023-02-20 16:13:01 +00:00 |
|
Geoffrey White
|
31967cc032
|
Swift: Add a couple of dataflow test cases for operators that behave as an identity function.
|
2023-02-20 15:42:07 +00:00 |
|
Geoffrey White
|
690b5debf4
|
Swift: Remove the old test.
|
2023-02-20 13:58:53 +00:00 |
|
Geoffrey White
|
dd7f54677b
|
Swift: Add inline expectation tags.
|
2023-02-20 13:57:24 +00:00 |
|
Michael Nebel
|
813ffa440c
|
Java: Consider ai-generated flow summaries to as generated summaries in dataflow.
|
2023-02-20 12:11:48 +01:00 |
|
Geoffrey White
|
b66ed57e17
|
Swift: Fix a mistake in FlowSources.qll.
|
2023-02-20 11:11:46 +00:00 |
|
Geoffrey White
|
d9f2d348f4
|
Swift: Add an inline expectations test for flow sources.
|
2023-02-20 11:03:10 +00:00 |
|
Tom Hvitved
|
658cc33bb8
|
Merge pull request #12212 from hvitved/util/inline-expect-test-use-end-line
Util: Use end line instead of start line for actual results
|
2023-02-20 11:41:02 +01:00 |
|
Geoffrey White
|
6cec8ece3f
|
Swift: Split off FlowConfig.qll.
|
2023-02-20 10:27:40 +00:00 |
|
Geoffrey White
|
343ddede5a
|
Merge branch 'main' into nsstring
|
2023-02-20 09:15:58 +00:00 |
|
Geoffrey White
|
7a9bbb1414
|
Swift: Model FileManager sources.
|
2023-02-17 20:04:27 +00:00 |
|
Geoffrey White
|
5d125572ec
|
Swift: Test for FileManager taint sources.
|
2023-02-17 18:14:16 +00:00 |
|
Geoffrey White
|
ad886a3241
|
Swift: Autoformat.
|
2023-02-17 13:50:11 +00:00 |
|
Tom Hvitved
|
37fc8f5039
|
Swift: Update test expectations
|
2023-02-17 13:24:28 +01:00 |
|
Geoffrey White
|
417d175ff2
|
Merge branch 'main' into nsstring
|
2023-02-17 11:32:40 +00:00 |
|
Geoffrey White
|
c692a316b0
|
Swift: Add new results found in UncontrolledFormatString test.
|
2023-02-17 10:07:32 +00:00 |
|
Geoffrey White
|
9cd9627778
|
Swift: Fix identical rows.
|
2023-02-17 10:00:06 +00:00 |
|
Geoffrey White
|
981f232ea9
|
Swift: Additional test cases.
|
2023-02-17 09:49:02 +00:00 |
|
Paolo Tranquilli
|
c4c9fd72bb
|
Swift: update to 5.7.3
No changes to the Swift frontend library headers, so no changes to the
extractor seem to be required.
|
2023-02-17 10:03:52 +01:00 |
|
Geoffrey White
|
0aa9c76f42
|
Swift: Grammar and formatting.
|
2023-02-17 08:45:51 +00:00 |
|
Geoffrey White
|
a894fc6ce8
|
Swift: Fix mistakes in String.qll models.
|
2023-02-16 18:24:36 +00:00 |
|
Geoffrey White
|
f64cb2983a
|
Swift: Add tests for a few models we didn't cover.
|
2023-02-16 18:15:17 +00:00 |
|