AlexDenisov
6f631b4daf
Merge pull request #11622 from github/redsun82/swift-fix-parent-paths
...
Swift: fix extraction of sources from `..`
2022-12-09 08:37:46 +01:00
Jami Cogswell
0b2f2a3f88
Java: remove predicates from NegativeSummarizedCallable
2022-12-08 23:46:55 -05:00
Geoffrey White
52881385bf
Merge pull request #11597 from geoffw0/stats2
...
Swift: Add taint reach to SummaryStats.ql.
2022-12-08 17:11:56 +00:00
Paolo Tranquilli
7645d4d928
Swift: remove ModuleDecl from PrintAst test
2022-12-08 17:31:48 +01:00
Paolo Tranquilli
26ae8f177b
Swift: accept test changes
...
Downgrading the emit object action to a type check one has some
unexpected side effects, that seem however acceptable:
* experimental false static assertions do not make compilation fail in
type check mode
* the implicit module loading of `SwiftOnoneSupport` is not happening.
That module contains some "pre-specializations", it does not seem
really relevant for analysis
2022-12-08 17:13:00 +01:00
Paolo Tranquilli
935e264f24
Swift: add empty directory marker
2022-12-08 17:04:56 +01:00
Paolo Tranquilli
d35c5e90ee
Swift: remove fishhook
2022-12-08 16:10:44 +01:00
Paolo Tranquilli
bf1b32f210
Swift: rework file redirection
...
The hash map mechanism that was already in use for reading swiftmodule
files on macOS is now in use also on Linux. The output replacing
mechanism has been also reworked so that:
* frontend module emission modes have the remapping done directly in
the internal frontend options instead of painstakingly modifying input
flags (this requires a patch on the swift headers though)
* object emission mode is silenced to be just a type checking pass,
thus producing no output files
* all other passes but some debugging and version related ones become
noops
The open file read redirection uses a global weak pointer instance to
maximize robustness in the face of possibly multi-threaded calls to open
happening while `main` is exiting. Possibly overkill, but better safe
than sorry.
2022-12-08 16:10:44 +01:00
Paolo Tranquilli
944adfe727
Swift: allow modifying frontend outputs
2022-12-08 16:10:25 +01:00
Paolo Tranquilli
219ed64b74
Swift: reorganize bazel third party dependencies
2022-12-08 16:10:25 +01:00
Paolo Tranquilli
1ba8b6d35a
Swift: fix extraction of sources from ..
2022-12-08 15:57:57 +01:00
Geoffrey White
24ce1c27bc
Swift: Autoformat.
2022-12-08 13:09:37 +00:00
Geoffrey White
e288b07099
Update swift/ql/src/queries/Summary/SummaryStats.ql
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2022-12-08 13:02:58 +00:00
Geoffrey White
07ea006cee
Swift: Add support for CSV modelled sinks as well.
2022-12-08 11:36:55 +00:00
Geoffrey White
dba344451f
Swift: Add UncontrolledFormatStringExtensions.qll.
2022-12-08 11:32:50 +00:00
Jami Cogswell
aa7e6d7811
Java: add negative numbers
2022-12-07 17:17:35 -05:00
Mathias Vorreiter Pedersen
05d89b29e2
Merge branch 'main' into skip-lvalue-types
2022-12-07 17:50:23 +00:00
Geoffrey White
80cd994e36
Swift: Add taint reach to SummaryStats.ql.
2022-12-07 16:17:24 +00:00
Paolo Tranquilli
ef348453fe
Swift: accept new, correct test result on TypeTuple::getNumberOfTypes
2022-12-07 13:46:51 +01:00
Paolo Tranquilli
194c99c513
Swift: fix getNumberOf predicate
2022-12-07 13:46:51 +01:00
Paolo Tranquilli
23626f2c69
Swift: add TupleType test
2022-12-07 13:46:51 +01:00
Paolo Tranquilli
9b89ded908
Swift: accept test changes
2022-12-07 13:46:51 +01:00
Paolo Tranquilli
d39f37540e
Swift: add has and getNumberOf properties to generated tests
2022-12-07 13:46:51 +01:00
Jami Cogswell
b82f9b1911
Java: add draft of generated vs manual MaD metrics query
2022-12-06 22:15:19 -05:00
Mathias Vorreiter Pedersen
3eea3b2f45
Merge pull request #11446 from atorralba/atorralba/swift/path-injection
...
Swift: Add path injection query
2022-12-06 11:03:26 +00:00
Tom Hvitved
b5e2e1e469
Merge pull request #11564 from hvitved/dataflow/parameter-position-consistency-checks
...
Data flow: Add consistency checks for parameter positions
2022-12-06 09:33:36 +01:00
Tony Torralba
7dca1b4b06
Merge branch 'main' into atorralba/swift/path-injection
2022-12-05 16:21:22 +01:00
Mathias Vorreiter Pedersen
012beebe3b
Swift: Update .generated.list
2022-12-05 15:02:44 +00:00
Mathias Vorreiter Pedersen
e7ec5a69a3
Swift: Accept more test changes.
2022-12-05 14:53:23 +00:00
Tony Torralba
bf8084080b
Apply suggestions from code review
...
Co-authored-by: Ben Ahmady <32935794+subatoi@users.noreply.github.com >
2022-12-05 15:37:40 +01:00
Mathias Vorreiter Pedersen
a07c9ffbc5
Swift: Accept test changes.
2022-12-05 14:19:00 +00:00
Mathias Vorreiter Pedersen
8053b72901
Swift: Skip lvalue types.
2022-12-05 14:15:32 +00:00
Geoffrey White
64fb98e46f
Swift: Rewrite bits to try and get rid of red highlighting.
2022-12-05 13:41:21 +00:00
Geoffrey White
17244734d0
Swift: Results repaired by merge.
2022-12-05 13:36:14 +00:00
Geoffrey White
07c790a430
Merge branch 'main' into alamofire3
2022-12-05 13:29:26 +00:00
Geoffrey White
6cb69c907d
Merge pull request #11514 from geoffw0/generics
...
Swift: Fix for MaD with generics
2022-12-05 13:02:35 +00:00
Tom Hvitved
52f3a48638
Data flow: Sync files
2022-12-05 12:57:27 +01:00
AlexDenisov
ef9b503f69
Merge pull request #11559 from github/redsun82/swift-integration-test-dbs
...
Swift: always upload integration test logs
2022-12-05 12:41:45 +01:00
Tom Hvitved
faca4b5b56
Merge pull request #11461 from hvitved/ruby/unique-hash-splat-param
...
Ruby: At most one hash-splat `ParameterNode` per callable
2022-12-05 11:53:28 +01:00
Geoffrey White
59e9d0828b
Merge branch 'main' into generics
2022-12-05 10:30:10 +00:00
Tom Hvitved
c2d843f96b
CI: Change --ram value from 52G to 50G in codeql tests
2022-12-05 09:35:56 +01:00
Tony Torralba
9d2b04928d
Fix qhelp after suggestions
2022-12-05 09:16:27 +01:00
Tony Torralba
6e7c7c245b
Update swift/ql/src/queries/Security/CWE-022/PathInjection.qhelp
...
Co-authored-by: Ben Ahmady <32935794+subatoi@users.noreply.github.com >
2022-12-05 08:47:18 +01:00
Paolo Tranquilli
a0d7043615
Swift: always upload integration test logs
...
This way we can get logs also in case we cancelled the job due to a test
hanging indefinitely (which is happening from time to time to the Xcode
test).
2022-12-05 08:32:36 +01:00
Paolo Tranquilli
a11756bad1
Merge pull request #11542 from github/alexdenisov/canonical-case
...
Swift: add a test case showing case canonicalization
2022-12-02 17:12:03 +01:00
Paolo Tranquilli
f8386e753a
Merge pull request #11522 from github/redsun82/swift-integration-test-dbs
...
Swift: upload test logs as artifacts for integration tests
2022-12-02 15:35:59 +01:00
Alex Denisov
f5ddbd6abb
Swift: add a test case showing case canonicalization
2022-12-02 14:06:21 +01:00
AlexDenisov
691188bc48
Merge pull request #11523 from github/alexdenisov/preserve-symlinks
...
Swift: resolve symlinks conditionally
2022-12-02 14:05:13 +01:00
Geoffrey White
cf3345ee8f
Swift: Revert security-severity on CWE-321, for now.
2022-12-02 12:01:43 +00:00
Paolo Tranquilli
cd700dfe11
Swift: upload integration test logs also on failure
2022-12-02 12:20:14 +01:00
