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 |
|
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
|
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 |
|
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
|
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 |
|
Geoffrey White
|
8ef6521cc9
|
Swift: Undo toString changes.
|
2023-02-27 12:01:02 +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 |
|
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
|
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
|
3038543242
|
Swift: Add UnaryPlusExpr.
|
2023-02-20 17:15:20 +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
|
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
|
ad886a3241
|
Swift: Autoformat.
|
2023-02-17 13:50:11 +00:00 |
|
Geoffrey White
|
417d175ff2
|
Merge branch 'main' into nsstring
|
2023-02-17 11:32:40 +00:00 |
|