Michael Nebel
|
56a70da28f
|
C#: Remove package cleanup in the dependency manager.
|
2023-11-03 11:31:27 +01:00 |
|
Michael Nebel
|
70996a4c7e
|
C#: Rename dllDirNames to dllPaths.
|
2023-11-03 11:31:27 +01:00 |
|
Michael Nebel
|
576eda3ec6
|
C#: Add missing package directory to included dlls.
|
2023-11-03 11:31:27 +01:00 |
|
Michael Nebel
|
4cebb7e848
|
C#: Integrate the assets parsing and fetching in the dependency manager.
|
2023-11-03 11:31:27 +01:00 |
|
Michael Nebel
|
f8d427336e
|
C#: Add assets parsing unit test.
|
2023-11-03 11:31:27 +01:00 |
|
Michael Nebel
|
7bbf1a24d4
|
C#: Add assets.json parser.
|
2023-11-03 11:31:27 +01:00 |
|
Michael Nebel
|
c6c00e7179
|
C#: Add tests cases for parsing dotnet restore output to find assets.json files.
|
2023-11-03 11:31:27 +01:00 |
|
Michael Nebel
|
3a7df994cb
|
C#: The dependency manager should find assets.json files when doing a project or solution restore.
|
2023-11-03 11:31:27 +01:00 |
|
Michael Nebel
|
387a241efd
|
C#: Set output verbosity to normal for both solution and project restore (needed to identify where assets file are located).
|
2023-11-03 11:31:27 +01:00 |
|
Paolo Tranquilli
|
506b911767
|
Merge pull request #14629 from github/redsun82/rework-resource-dir
Swift: rework resource dir
|
2023-11-03 11:14:49 +01:00 |
|
Michael Nebel
|
4009f03087
|
Merge pull request #14665 from michaelnebel/csharp/projectreference
C#: Update DependencyManager logic to exclude commented out references.
|
2023-11-03 10:30:03 +01:00 |
|
Tom Hvitved
|
9807a8e1d3
|
Merge pull request #14675 from hvitved/csharp/split-generated-mad-files-take2
C#: Split `generated/dotnet_runtime.yml` into separate files (take 2)
|
2023-11-03 10:24:38 +01:00 |
|
Tom Hvitved
|
af524f0043
|
Revert "C#: Temporary changes to model generator"
This reverts commit 0f6cea6bd6ecd61139dc09e7b68bf0b8ebc009fe.
|
2023-11-03 09:51:40 +01:00 |
|
Tom Hvitved
|
894f9ab8fa
|
C#: Split generated/dotnet_runtime.yml into separate files
|
2023-11-03 09:51:40 +01:00 |
|
Tom Hvitved
|
7082efa037
|
C#: Temporary changes to model generator
|
2023-11-03 09:51:40 +01:00 |
|
Tom Hvitved
|
c34ad25cf9
|
Merge pull request #14674 from github/revert-14663-csharp/split-generated-mad-files
Revert "C#: Split `generated/dotnet_runtime.yml` into separate files"
|
2023-11-03 09:51:22 +01:00 |
|
Tom Hvitved
|
13e60d7b11
|
Revert "C#: Split generated/dotnet_runtime.yml into separate files"
|
2023-11-03 09:07:54 +01:00 |
|
Anders Schack-Mulligen
|
132cc03e3b
|
Merge pull request #14664 from aschackmull/shared/modulus-step
RangeAnalysis: Improve bounds that rely on relative modulus.
|
2023-11-03 08:16:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
679d64f0e8
|
Merge pull request #14647 from microsoft/24-odbc-model-instantiation-upstream2
C++: Adding a model implementation for ODBC.
|
2023-11-02 19:42:27 +00:00 |
|
Benjamin Rodes
|
30a512c96b
|
Formatting
|
2023-11-02 15:01:15 -04:00 |
|
Robert Marsh
|
81d77bf37c
|
Merge pull request #14578 from geoffw0/stringwith
Swift: Models for String methods involving closures.
|
2023-11-02 13:53:22 -04:00 |
|
Benjamin Rodes
|
947e0274c7
|
Adding sql injection test for ODBC.
|
2023-11-02 13:27:42 -04:00 |
|
Benjamin Rodes
|
f404d7a5f8
|
Changes to address pr comments.
|
2023-11-02 13:11:23 -04:00 |
|
Michael Nebel
|
0bf2d77a7e
|
C#: Update integration tests.
|
2023-11-02 15:46:54 +01:00 |
|
Michael Nebel
|
a161d6e666
|
C#: Update unit tests.
|
2023-11-02 15:46:39 +01:00 |
|
Michael Nebel
|
9ea6ef06ef
|
C#: Commented out references in project files should not be used.
|
2023-11-02 15:45:30 +01:00 |
|
Anders Schack-Mulligen
|
f2b52650d5
|
Rangeanalysis: Filter useless modulo results.
|
2023-11-02 15:29:56 +01:00 |
|
Tom Hvitved
|
a35bda2946
|
Merge pull request #14663 from hvitved/csharp/split-generated-mad-files
C#: Split `generated/dotnet_runtime.yml` into separate files
|
2023-11-02 14:36:48 +01:00 |
|
Tom Hvitved
|
f82f1df5d6
|
Merge pull request #14657 from hvitved/csharp/qualified-name
C#: Move qualified name computation into `QualifiedName.qll`
|
2023-11-02 14:36:13 +01:00 |
|
Anders Schack-Mulligen
|
7bf271fb6c
|
RangeAnalysis: Improve bounds that rely on relative modulus.
|
2023-11-02 12:51:48 +01:00 |
|
Tom Hvitved
|
a9e2f55b61
|
C#: Split generated/dotnet_runtime.yml into separate files
|
2023-11-02 12:45:47 +01:00 |
|
Anders Schack-Mulligen
|
484d0fe4cd
|
Merge pull request #14659 from aschackmull/shared/modulus-analysis
Java/C++: Share modulus analysis
|
2023-11-02 12:45:35 +01:00 |
|
Tom Hvitved
|
12d856737a
|
Address review comments
|
2023-11-02 12:38:35 +01:00 |
|
Tony Torralba
|
8f4509f434
|
Merge pull request #14651 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2023-11-02 10:48:32 +01:00 |
|
Geoffrey White
|
431d9d58f1
|
Merge pull request #14639 from geoffw0/anchorquery
Swift: New query for Missing Regular Expression Anchor
|
2023-11-02 09:20:19 +00:00 |
|
Geoffrey White
|
242399817a
|
Swift: Remove 'only'.
|
2023-11-02 08:32:36 +00:00 |
|
Geoffrey White
|
c937230f1a
|
Apply suggestions from code review
Co-authored-by: Ben Ahmady <32935794+subatoi@users.noreply.github.com>
|
2023-11-02 08:30:53 +00:00 |
|
yoff
|
c26c68c286
|
Merge pull request #14617 from yoff/python/module-for-import-time-flow
Python: module for import time flow
|
2023-11-02 09:28:51 +01:00 |
|
Anders Schack-Mulligen
|
7c3684dbb7
|
RangeAnalysis: Rename semExprModulus to exprModulus.
|
2023-11-02 08:19:23 +01:00 |
|
Anders Schack-Mulligen
|
400910e4d3
|
C++: Fix modulus analysis test.
|
2023-11-02 08:19:23 +01:00 |
|
github-actions[bot]
|
155073c498
|
Add changed framework coverage reports
|
2023-11-02 00:16:04 +00:00 |
|
Geoffrey White
|
727a7e804c
|
Update swift/ql/src/queries/Security/CWE-020/MissingRegexAnchor.qhelp
Co-authored-by: Ben Ahmady <32935794+subatoi@users.noreply.github.com>
|
2023-11-01 16:32:25 +00:00 |
|
Anders Schack-Mulligen
|
f8ab64dff0
|
Java: Switch to shared modulus analysis.
|
2023-11-01 16:34:28 +01:00 |
|
Tom Hvitved
|
c717e346fb
|
C#: Move qualified name computation into QualifiedName.qll
|
2023-11-01 16:21:55 +01:00 |
|
Anders Schack-Mulligen
|
ac115e0a6f
|
Rangeanalysis: Reshuffle perf fix. This should result in the same join-order, but with less materialisation.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
bb2bbd2d4d
|
Rangeanalysis: Remove useless pragma.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
f6794fe859
|
Rangeanalysis: Adjust modulo analysis comment.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
8e9aa5b560
|
C++: Switch to shared modulus analysis.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
a7f3ef1a6c
|
Rangeanalysis: Parameterise shared modulus analysis.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
8e2b17cd86
|
Rangeanalysis: Copy C++ ModulusAnalysis file verbatim.
|
2023-11-01 15:59:24 +01:00 |
|