Nora Dimitrijević
0c55561b8e
Swift: initial schema change (hand-written part)
2022-12-14 14:22:53 -05:00
Nora Dimitrijević
1ede851cf5
Swift: initial getStaticTarget test
2022-12-14 14:22:53 -05:00
Nora Dimitrijević
99719d0ee1
Swift: initial PrintAst test for Method Lookups
2022-12-14 14:22:53 -05:00
Paolo Tranquilli
793de3196b
Revert "Swift: accept test changes"
...
This reverts commit 26ae8f177b
2022-12-14 18:34:12 +01:00
Paolo Tranquilli
14fd89d482
Swift: generalize output redirection code
2022-12-14 18:26:48 +01:00
Paolo Tranquilli
45c0c7fe6c
Merge branch 'main' into redsun82/swift-open-redirection
2022-12-14 18:26:16 +01:00
Erik Krogh Kristensen
7615668f92
Merge pull request #11662 from erik-krogh/c-useInstanceOf
...
Swift/C++: Use instanceof in more places
2022-12-14 14:30:21 +01:00
Tom Hvitved
25b2d11368
Merge pull request #11635 from hvitved/dataflow/approx-content
...
Data flow: Introduce `ApproxContent` in a new pruning stage between stages 2 and 3
2022-12-14 12:56:50 +01:00
Paolo Tranquilli
de2e92d5e1
Swift: remove / delimiters from regex extracted patterns
2022-12-14 09:18:36 +01:00
Paolo Tranquilli
fb5b6eab19
Swift: extract RegexLiteralExpr
2022-12-14 09:12:07 +01:00
Jami Cogswell
a33436a39b
Java: update hasProvenance
2022-12-13 11:26:23 -05:00
Alex Denisov
ee94849528
Swift: switch to bootstrapped Swift compiler
2022-12-13 13:59:13 +01:00
Tony Torralba
85b3092b16
Add security-severity and fix alert message
2022-12-13 12:01:01 +01:00
Tony Torralba
d72d096c86
Add predicate injection query
2022-12-13 10:27:29 +01:00
Tom Hvitved
da6a42980f
Swift: Implement ContentApprox
2022-12-13 09:53:01 +01:00
Tom Hvitved
0c2eee2a72
Data flow: Sync files
2022-12-13 09:52:55 +01:00
Paolo Tranquilli
0dc717fd9c
Swift: remove no more needed library path setting in qltest.sh
2022-12-13 09:13:43 +01:00
Paolo Tranquilli
03d7adb303
Swift: wrap extractor with shell script
...
This is in preparation for the extractor to use shared libraries
packaged alongside it.
We could probably also move the `CODEQL_EXTRACTOR_SWIFT_RUN_UNDER` logic
in it, where it would be simpler and more robust.
2022-12-13 09:07:37 +01:00
Jami
93d8a03e73
Merge branch 'main' into jcogs33/mad-metrics-query
2022-12-12 20:31:53 -05:00
Jami Cogswell
623068c4b9
Java: add hasProvenance predicate, remove isManuallyGenerated and isBothAutoAndManuallyGenerated
2022-12-12 11:23:46 -05:00
erik-krogh
698e05f85a
Swift/C++: Use instanceof in more places
2022-12-12 16:58:13 +01:00
Paolo Tranquilli
250ac686a2
Merge branch 'main' into redsun82/swift-open-redirection
2022-12-12 08:46:23 +01:00
Michael Nebel
e0f1b38439
Merge pull request #11580 from michaelnebel/renamenegativemodels
...
C#/Java: Rename Negative Summary Model to Neutral Model
2022-12-12 07:59:06 +01:00
Jami Cogswell
6854845b75
Java: refactor isManuallyGenerated and isBothAutoAndManuallyGenerated
2022-12-09 18:37:50 -05:00
Michael Nebel
d13307e417
Swift: Rename Negative Summary Model to Neutral Model.
2022-12-09 15:04:43 +01:00
Michael Nebel
079d48c42a
Sync files.
2022-12-09 15:04:42 +01:00
Paolo Tranquilli
a93e361aca
Merge branch 'main' into redsun82/swift-open-redirection
2022-12-09 12:19:38 +01:00
Paolo Tranquilli
7162692656
Swift: exit directly on actions not requiring extraction
2022-12-09 10:00:01 +01:00
Paolo Tranquilli
4a41bb4061
Merge branch 'main' into redsun82/swift-open-redirection
2022-12-09 09:59:21 +01:00
Tony Torralba
6822399dbb
Swift: Rename NSData.qll to NsData.qll
2022-12-09 09:18:55 +01:00
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
