Geoffrey White
237669aab7
Merge branch 'main' into dbsinks2
2023-03-14 16:26:36 +00:00
Tom Hvitved
c132891669
Merge pull request #12513 from hvitved/dataflow/lambda-flow-no-expects-content
...
Data flow: Exclude `expectsContent` nodes from lambda flow
2023-03-14 15:28:35 +01:00
Paolo Tranquilli
54b6c6f8f7
Swift: make AnyGenericType::getDecl's type more specific
...
As shown by the extractor's code not needing any change, the DB values
already had that more specific type, which is why the upgrade/downgrade
scripts are actually no-ops.
2023-03-14 11:49:07 +01:00
Geoffrey White
9a27016663
Swift: Make QL-for-QL happy.
2023-03-14 10:24:55 +00:00
Tom Hvitved
bdd56f1b6e
Data flow: Sync files
2023-03-14 10:01:56 +01:00
Tony Torralba
705691b096
Merge pull request #12446 from github/java/update-mad-decls-after-triage-2023-03-08T14-51-59
...
Java: Update MaD Declarations after Triage
2023-03-13 14:07:59 +01:00
Anders Schack-Mulligen
0c95ab2cdc
Merge pull request #12474 from hvitved/dataflow/call-back-post-update
...
Data flow: Synthesize post-update nodes for callback arguments inside summarized callables
2023-03-13 13:21:52 +01:00
Geoffrey White
e4837f7da9
Merge pull request #12489 from geoffw0/typealiastests
...
Swift: Skeleton + tests for type alias support
2023-03-13 10:38:43 +00:00
Anders Schack-Mulligen
f53a05bf13
Merge pull request #12475 from aschackmull/dataflow/mergepathgraph
...
Dataflow: Add MergePathGraph module.
2023-03-13 11:26:24 +01:00
Geoffrey White
0d1be2294c
Merge branch 'main' into typealiastests
2023-03-13 09:38:54 +00:00
Geoffrey White
9a5dbd078e
Merge pull request #12485 from geoffw0/qldocraw
...
Swift: Add generated QLDoc to the Raw.qll file.
2023-03-13 09:10:55 +00:00
Mathias Vorreiter Pedersen
ab58d4c11f
Merge pull request #12415 from github/rdmarsh2/swift/constructor-flow
2023-03-10 23:16:37 +00:00
Robert Marsh
d9732361fc
Swift: autoformat
2023-03-10 19:28:01 +00:00
Mathias Vorreiter Pedersen
d4269251be
Swift: Add QL skeleton for aliased types.
2023-03-10 18:15:40 +00:00
Geoffrey White
c2f6ee320f
Swift: Add QLDoc to the Raw.qll file.
2023-03-10 17:43:30 +00:00
Anders Schack-Mulligen
1e64748ffe
Dataflow: Autoformat.
2023-03-10 15:12:19 +01:00
Anders Schack-Mulligen
289f921171
Dataflow: Sync.
2023-03-10 14:56:54 +01:00
Anders Schack-Mulligen
00f0879ff5
Dataflow: Sync.
2023-03-10 14:56:54 +01:00
Tom Hvitved
32a699e34a
Data flow: Sync files
2023-03-10 12:43:21 +01:00
Tony Torralba
8aa80882ea
Sync files
2023-03-10 12:35:13 +01:00
Anders Schack-Mulligen
159d8e978c
Dataflow: one more autoformat post rebase
2023-03-10 10:04:35 +01:00
Anders Schack-Mulligen
711d7057f7
Swift: Autoformat
2023-03-10 09:41:20 +01:00
Geoffrey White
e17c059f5e
Swift: More reliable sink recognition.
...
This is needed for the real world results, but I could not reproduce the
issue in tests. I think it may have something to do with classes defined
across different files / modules???
2023-03-09 17:17:42 +00:00
Geoffrey White
ffa279e87b
Swift: Add additional taint steps into fields.
...
ed
2023-03-09 17:17:42 +00:00
Mathias Vorreiter Pedersen
1f77f77153
DataFlow: Sync identical files.
2023-03-09 10:41:15 +00:00
Robert Marsh
6bfa08c5cc
Merge branch 'main' into rdmarsh2/swift/constructor-flow
2023-03-08 16:40:11 +00:00
Robert Marsh
3bf3876c14
Swift: fix FPs with inout params in inits
2023-03-08 16:20:39 +00:00
Robert Marsh
86fd21de45
Swift: respond to PR comments on constructor flow
2023-03-07 21:17:01 +00:00
Geoffrey White
72d6f56df1
Merge pull request #12413 from geoffw0/ptrout2
...
Swift: Permit data flow from all generic arguments
2023-03-07 16:27:12 +00:00
Geoffrey White
f1905f21b2
Swift: Remove special case from swift/unsafe-js-eval.
2023-03-06 21:02:42 +00:00
Geoffrey White
4380495eed
Swift: Model Sequence.withContiguousSrtorageIfAvailable.
2023-03-06 20:59:17 +00:00
Robert Marsh
686f7ccd5a
Swift: add flow for self out of constructors
2023-03-06 20:46:36 +00:00
Mathias Vorreiter Pedersen
ff53e53e8c
Merge pull request #12236 from MathiasVP/language-specific-field-flow-branch-limit-term
...
Dataflow: Add a language specific term to `join` and `branch`
2023-03-06 16:59:09 +00:00
Geoffrey White
4d327dbf4f
Swift: The PointerType class isn't used any d any more.
2023-03-06 16:36:41 +00:00
Geoffrey White
61340c4b20
Swift: Permit data flow from generic arguments, rather than just pointers.
2023-03-06 16:34:12 +00:00
Mathias Vorreiter Pedersen
92ad099c1b
DataFlow: Remove bindingsets, remove the call column, and swap parameter and argument columns.
2023-03-06 13:47:59 +00:00
Mathias Vorreiter Pedersen
3bf28cc752
DataFlow: Sync identical files.
2023-03-06 13:46:21 +00:00
Mathias Vorreiter Pedersen
9647b6a3f5
Swift: Add stub.
2023-03-06 13:45:04 +00:00
Geoffrey White
56b6441ef5
Merge pull request #12391 from geoffw0/ptrout
...
Swift: Permit data flow out through pointer arguments
2023-03-06 13:37:22 +00:00
Anders Schack-Mulligen
5c7f2ac7f7
Merge pull request #12186 from aschackmull/dataflow/refactor-configuration
...
Data flow: Refactor configuration
2023-03-06 13:38:59 +01:00
Anders Schack-Mulligen
557cb17f4d
Dataflow: Minor perf fix for single config wrapper.
2023-03-06 10:24:33 +01:00
Geoffrey White
6e3040987a
Swift: Autoformat.
2023-03-03 16:24:28 +00:00
Geoffrey White
234f17b578
Swift: Use PointerType in data flow's 'modifiable' predicate.
2023-03-03 16:23:49 +00:00
Geoffrey White
3249cee1c9
Swift: Add an overall PointerType.
2023-03-03 16:23:46 +00:00
Geoffrey White
9423c21d46
Swift: Add simple model for pointer types.
2023-03-03 16:23:27 +00:00
Geoffrey White
9f86bcb1b8
Swift: Proof of concept fix.
2023-03-03 15:04:47 +00:00
Anders Schack-Mulligen
0addcfa7c5
Dataflow: Fix some perf issues.
2023-03-03 11:45:32 +01:00
Geoffrey White
27ec36298f
Swift: Understand binary pointwise operations.
2023-03-02 12:42:34 +00:00
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
