Ian Lynagh
ceb3d14fe0
Merge pull request #14614 from igfoo/igfoo/enum
...
Kotlin: Make the enum test more precise
2023-10-31 16:18:12 +00:00
Benjamin Rodes
07ded4278f
Change log
2023-10-31 09:14:47 -07:00
Paolo Tranquilli
051a77fd79
Merge pull request #14537 from github/alexdenisov/remove-outdated-cli-arg
...
Swift: remove outdated CLI argument
2023-10-31 17:06:52 +01:00
Benjamin Rodes
18c8d90a1a
Adding a model implementation for ODBC.
...
(cherry picked from commit 04147f8d91cdf018ec03cbfdb953253e23687944)
2023-10-31 08:52:05 -07:00
erik-krogh
688afddaf2
Re-order expected test output of all JS tests
2023-10-31 16:38:22 +01:00
Erik Krogh Kristensen
8f58685b38
Merge pull request #14643 from aibaars/express-req-path
...
Javascript: add `req.path` as remote flow source
2023-10-31 16:36:48 +01:00
Paolo Tranquilli
567aa1102a
Swift: fix toolchain SHAs
2023-10-31 16:20:58 +01:00
Paolo Tranquilli
bc34374075
Swift: switch to downloading the 20.04 toolchain
2023-10-31 16:20:58 +01:00
Paolo Tranquilli
e25a655509
Swift: fix Linux compatibility problem and fetch resource dir from toolchain
...
This fetches the resource directory directly from the released
toolchains, allowing us to stop prebuilding and assembling them.
Moreover insertion of our resource directory is moved to the lua
tracing configuration (solving a `TODO`) and enhanced. Now all options
that start with the original resource directory (either explicit or
implied) are redirected to our resource directory.
This solves a problem where `-I <original resource dir>/some/path` was
passed to the extractor and did not work.
This works around the 5.9 linux compatibility problem by including the
`PackageDescription` swift modules in the in-dist toolchain. Copying the
toolchain and fixing the `-I` flag was not enough as for some reason
compilation of `PackageDescription.swiftinterface` was causing a crash
in the SIL pass. We work around that by pre-compiling those modules
during the build and including `.swiftmodule` files in the resource
directory.
TODO (apart from testing):
* the libraries included in the macOS toolchain are now fat (they were
intel only before), occupying more space. We should see if we need to
trim them down.
* there might be other swiftinterface files causing problems on linux
lurking around...
* if we go with this, we can simplify and trim down the prebuilding we
do leaving out the resource directory.
2023-10-31 16:20:58 +01:00
Mathias Vorreiter Pedersen
b9dfeb3aac
Merge pull request #14444 from alexet/range-cases
...
CPP: Add some range analysis cases
2023-10-31 15:55:41 +01:00
Anders Schack-Mulligen
34b9791e46
Rangeanalysis: Remove superfluous ignoreSsaReadCopy.
2023-10-31 15:32:25 +01:00
Anders Schack-Mulligen
322e6c91be
Rangeanalysis: Remove superfluous specificSsaRead.
2023-10-31 15:30:36 +01:00
Anders Schack-Mulligen
8b6c940e76
Rangeanalysis: Remove superfluous ignoreSsaReadAssignment.
2023-10-31 15:28:37 +01:00
Anders Schack-Mulligen
6d6f89e71e
Rangeanalysis: Remove superfluous ignoreSsaReadArithmeticExpr.
2023-10-31 15:25:28 +01:00
Anders Schack-Mulligen
a39a94ca8e
Rangeanalysis: Switch to shared ssaRead predicate.
2023-10-31 15:23:05 +01:00
Anders Schack-Mulligen
19644a8f07
Rangeanalysis: Implement shared ssaRead predicate
2023-10-31 15:07:11 +01:00
Rasmus Lerchedahl Petersen
7f6ae8b2ab
Python: improve readability
2023-10-31 14:52:37 +01:00
Alexander Eyers-Taylor
11152deeb5
Update cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2023-10-31 13:52:33 +00:00
yoff
f76cde36bb
Apply suggestions from code review
...
Co-authored-by: Taus <tausbn@github.com >
2023-10-31 14:12:24 +01:00
Ian Lynagh
e1f7f3cbd4
Kotlin: Add more info to enum test
2023-10-31 12:17:44 +00:00
Mathias Vorreiter Pedersen
e75562e508
Merge pull request #14633 from github/redsun82/capture-list-vars
...
Swift: add `VarDecl` children to `CaptureListExpr`
2023-10-31 12:48:14 +01:00
Arthur Baars
5cc94e1105
Express.js: add req.path as remote input source
2023-10-31 12:44:26 +01:00
Arthur Baars
21b7a51d0a
Add test case for req.path
2023-10-31 12:44:25 +01:00
Arthur Baars
1479509d93
Re-order expected test ouput
2023-10-31 12:44:25 +01:00
Mathias Vorreiter Pedersen
377da9fa66
C++: Accept test changes.
2023-10-31 11:18:35 +00:00
Mathias Vorreiter Pedersen
4a1bf95a87
C++: Expose a public memset model and use it in the exposure queries.
2023-10-31 11:17:51 +00:00
Mathias Vorreiter Pedersen
e8c18a3883
C++: Add FP in query test.
2023-10-31 11:17:51 +00:00
Chris Smowton
98032d58b8
Merge pull request #14640 from github/smowton/admin/make-go-tests-serial
...
Go: mark all integration tests non-parallelisable
2023-10-31 10:58:41 +00:00
Stephan Brandauer
5385cc3aaa
Merge branch 'main' into kaeluka/publish-automodel-querypack-007
2023-10-31 11:48:22 +01:00
Mathias Vorreiter Pedersen
5b17066e6c
Merge pull request #14638 from geoffw0/jsevaltest
...
Swift: Clean up the swift/unsafe-js-eval test
2023-10-31 11:43:41 +01:00
Paolo Tranquilli
ea04b500a3
Swift: tweak dataflow test
2023-10-31 11:39:25 +01:00
Ian Lynagh
b841d5f923
Merge pull request #14622 from igfoo/igfoo/JavaBinarySourceElement
...
Kotlin: Add support for JavaBinarySourceElement sources
2023-10-31 10:33:48 +00:00
Tamás Vajk
81b3ff2bb8
Merge pull request #14545 from tamasvajk/standalone/remove-netstandard.library.ref
...
C#: Handle `netstandard` references in standalone extraction
2023-10-31 11:32:42 +01:00
Chris Smowton
79e1aa0498
Merge pull request #14634 from github/post-release-prep/codeql-cli-2.15.2
...
Post-release preparation for codeql-cli-2.15.2
2023-10-31 10:24:53 +00:00
Chris Smowton
05a4c7fdc1
Add non-comment lines specifying serialisation group
2023-10-31 10:21:55 +00:00
Mathias Vorreiter Pedersen
66f4eccc30
Merge pull request #14632 from MathiasVP/share-ipa-numbering-for-indirect-nodes
...
C++: Share IPA numbering for indirect nodes
2023-10-31 11:20:41 +01:00
Stephan Brandauer
9087259b1b
Java: add instructions to automodel query publish script
2023-10-31 11:11:22 +01:00
Stephan Brandauer
968127eaa3
Java: release automodel extraction queries 0.0.7
2023-10-31 11:09:02 +01:00
Paolo Tranquilli
5407b57261
Swift: add change note
2023-10-31 10:57:02 +01:00
Paolo Tranquilli
aac6cf60ee
Swift: add explicative comment
2023-10-31 10:46:12 +01:00
Paolo Tranquilli
ffff10a7e8
Swift: synthesize CaptureListExpr::getVariable in QL instead of extracting it
2023-10-31 10:44:50 +01:00
Paolo Tranquilli
7bae2d9192
Swift: fix tests
2023-10-31 10:44:41 +01:00
Geoffrey White
6b031a4623
Swift: Fix the example links properly.
2023-10-31 08:52:24 +00:00
Geoffrey White
785175e77f
Swift: Fix QL-for-QL warning.
2023-10-31 08:49:48 +00:00
Geoffrey White
bfd852aacd
Swift: Fix the example links.
2023-10-31 08:48:56 +00:00
Chris Smowton
ec72150893
Go: mark all integration tests non-parallelisable
2023-10-30 22:16:26 +00:00
Tom Hvitved
435b7df764
Merge pull request #14607 from hvitved/csharp/type-ref-dedup
...
C#: Only use `getTypeRef` when there is not already a type available
2023-10-30 19:52:58 +01:00
Geoffrey White
8913638b25
Swift: I'm happy with 'high' precision for this query (as the Go version already is).
2023-10-30 18:45:19 +00:00
Geoffrey White
b259a0ff6a
Swift: get rid of getRemoteData() in the tests, it's obfuscating results.
2023-10-30 17:48:51 +00:00
Geoffrey White
c8706e2ad7
Swift: Add some annotations to the clarify UnsafeJSEval.swift test.
2023-10-30 17:43:37 +00:00