Geoffrey White
|
ec2c58b416
|
Swift: Understand overflow binary bitwise operations.
|
2023-03-02 12:11:25 +00:00 |
|
Geoffrey White
|
1206b73d87
|
Swift: Understand overflow binary arithmetic operations.
|
2023-03-02 12:11:15 +00:00 |
|
Geoffrey White
|
53f52df809
|
Swift: Add taint test cases for overflow, bitwise and pointwise arithmetic operations.
|
2023-03-02 11:41:31 +00:00 |
|
Geoffrey White
|
c42add2191
|
Swift: Add test cases for overflow and pointwise binary arithmetic operations.
|
2023-03-02 11:28:59 +00:00 |
|
Geoffrey White
|
730532f96a
|
Swift: Add some (limited) test coverage for NSString <-> Data conversion.
|
2023-03-02 10:33:57 +00:00 |
|
Geoffrey White
|
1332309f59
|
Swift: Add some (limited) test coverage for String <-> NSString conversions.
|
2023-03-02 10:33:57 +00:00 |
|
Geoffrey White
|
8e069b7686
|
Swift: Split the taint flow test.
|
2023-03-01 20:45:46 +00:00 |
|
Geoffrey White
|
bf6f6eec34
|
Merge pull request #12225 from geoffw0/nsstring
Swift: Taint models for NSString
|
2023-03-01 16:30:06 +00:00 |
|
Tony Torralba
|
59bd1e5ab1
|
Merge pull request #12228 from github/java/mad-decls-triage-request-2276
Java: Update MaD sink decls after triage
|
2023-03-01 17:08:38 +01:00 |
|
Geoffrey White
|
f8079056ec
|
Swift: Fix test on Linux.
|
2023-03-01 15:47:30 +00:00 |
|
Alex Denisov
|
276fec39fc
|
Swift: consider lazy declaration emitted if the process lost in the race
|
2023-03-01 15:42:44 +01:00 |
|
Alex Denisov
|
ded0e570b0
|
Swift: extract lazy declarations
|
2023-03-01 15:22:22 +01:00 |
|
Alex Denisov
|
8194fe3743
|
Swift: do not make module depend on itself for linkage awareness
|
2023-03-01 14:30:06 +01:00 |
|
Paolo Tranquilli
|
37438599de
|
Merge branch 'main' into alexdenisov/extract-emission-body-decisions
|
2023-03-01 13:47:12 +01:00 |
|
AlexDenisov
|
5701798f1c
|
Merge branch 'main' into alexdenisov/move-location-extraction
|
2023-03-01 12:24:41 +01:00 |
|
AlexDenisov
|
bb8d195607
|
Merge pull request #12337 from github/alexdenisov/extract-mangler
Swift: extract mangler into a separate class. NFC
|
2023-03-01 12:23:24 +01:00 |
|
Alex Denisov
|
def9831180
|
Swift: move decision making out of dispatcher
|
2023-03-01 12:02:58 +01:00 |
|
Alex Denisov
|
b1aef82117
|
Swift: move location extraction logic into a separate class
|
2023-03-01 11:32:50 +01:00 |
|
Geoffrey White
|
b6db0de437
|
Swift: Add inline expectation results.
|
2023-03-01 09:26:30 +00:00 |
|
Geoffrey White
|
228c0e221d
|
Merge branch 'main' into nsstring
|
2023-03-01 09:12:36 +00:00 |
|
Geoffrey White
|
11e0efee68
|
Merge pull request #12308 from geoffw0/taintplusequals2
Swift: Model assignment operators (+= etc)
|
2023-03-01 09:02:29 +00:00 |
|
Alex Denisov
|
97d5401118
|
Swift: extract mangler into a separate class
|
2023-02-28 15:29:44 +01:00 |
|
Geoffrey White
|
5110cf1e02
|
Swift: Convert some fiddly GRDB database sinks to CSV.
|
2023-02-27 23:31:48 +00:00 |
|
Geoffrey White
|
f289811473
|
Swift: Fix and autoformat.
|
2023-02-27 23:01:05 +00:00 |
|
Geoffrey White
|
ea4c2e4321
|
Swift: Add CSV extension points.
|
2023-02-27 23:01:05 +00:00 |
|
Geoffrey White
|
c533334470
|
Swift: Implementation classes should be private.
|
2023-02-27 23:01:04 +00:00 |
|
Geoffrey White
|
c21ec1c3f5
|
Swift: Standardize the taint sources, sinks, sanitizers.
|
2023-02-27 23:01:04 +00:00 |
|
Geoffrey White
|
6928e62d8b
|
Swift: Split the three sensitive exprs queries into separate QL and QLL files.
|
2023-02-27 23:01:04 +00:00 |
|
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 |
|