Geoffrey White
|
6eb850c8cb
|
Rust: Improve the model.
|
2024-12-05 16:49:27 +00:00 |
|
Geoffrey White
|
94dbad7c95
|
Rust: Model for cipher traits.
|
2024-12-05 16:49:19 +00:00 |
|
Paolo Tranquilli
|
720bfc8ff1
|
Rust: tweak/define more toString implementations
|
2024-12-05 17:43:47 +01:00 |
|
REDMOND\brodes
|
3619b01ace
|
Merge branch 'brodes/seh_flow_phase2_splitting_seh_edges' of https://github.com/microsoft/codeql into brodes/seh_flow_phase2_splitting_seh_edges
|
2024-12-05 10:50:17 -05:00 |
|
REDMOND\brodes
|
48c86979f0
|
Deleting unused predicate.
|
2024-12-05 10:50:06 -05:00 |
|
Ben Rodes
|
3115833847
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:49:33 -05:00 |
|
Ben Rodes
|
6cbaa73d58
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:40 -05:00 |
|
Ben Rodes
|
1fbd75fee3
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:34 -05:00 |
|
Ben Rodes
|
e9ccf37d4d
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:23 -05:00 |
|
Ben Rodes
|
008d58b425
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:16 -05:00 |
|
Ben Rodes
|
ca6d3b0038
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-12-05 10:48:00 -05:00 |
|
Calum Grant
|
12b4c0a2dd
|
C++: Change note
|
2024-12-05 15:40:50 +00:00 |
|
Ben Rodes
|
befca9ba0e
|
Merge branch 'main' into brodes/seh_flow_phase2_splitting_seh_edges
|
2024-12-05 10:34:08 -05:00 |
|
Mathias Vorreiter Pedersen
|
dce29dbbd0
|
Merge pull request #18218 from MathiasVP/final-alias-edge-kind
C++: Use a final alias for `EdgeKind`
|
2024-12-05 15:32:59 +00:00 |
|
Geoffrey White
|
eeeb142f0b
|
Rust: Implement the query.
|
2024-12-05 15:22:10 +00:00 |
|
Geoffrey White
|
07e3421f6f
|
Rust: Add shared ConceptsShared.qll, CryptoAlgorithms.qll and CryptoAlgorithmNames.qll to Rust.
|
2024-12-05 15:22:09 +00:00 |
|
Geoffrey White
|
6c4e0a99e2
|
Rust: A few more test cases.
|
2024-12-05 15:17:22 +00:00 |
|
Calum Grant
|
7aed4c3cbf
|
C++: Change note
|
2024-12-05 15:13:38 +00:00 |
|
REDMOND\brodes
|
57fc3fbfe3
|
Switching from isSeh bools to sublcassed ExceptionEdge.
|
2024-12-05 10:10:56 -05:00 |
|
Mathias Vorreiter Pedersen
|
41f08d9b84
|
C#: Accept test changes.
|
2024-12-05 14:59:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
4af18be70b
|
C#: Add change note.
|
2024-12-05 14:42:59 +00:00 |
|
Calum Grant
|
b7f47f752b
|
C++: Remove FPs from cpp/badly-bounded-write
|
2024-12-05 14:37:19 +00:00 |
|
REDMOND\brodes
|
defa8696d3
|
Merge remote-tracking branch 'mathiasvp/final-alias-edge-kind' into brodes/seh_flow_phase2_splitting_seh_edges
# Conflicts:
# cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
|
2024-12-05 09:35:13 -05:00 |
|
Tom Hvitved
|
ed4819aeab
|
Rust: Cache defaultAdditionalTaintStep
|
2024-12-05 15:19:11 +01:00 |
|
Tom Hvitved
|
7eb3b40977
|
Merge pull request #18219 from hvitved/rust/update-inline-expectations
Rust: update inline expectations
|
2024-12-05 15:11:25 +01:00 |
|
yoff
|
81c8a702ff
|
Merge pull request #18112 from github/tausbn/add-api-graph-support-for-parameter-annotations
|
2024-12-05 15:05:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
5bebfdeb2a
|
C#: Add a MaD model for the 'Microsoft.AspNetCore.Mvc.Controller.View' method.
|
2024-12-05 13:59:59 +00:00 |
|
Tom Hvitved
|
1c56692c02
|
Rust: update inline expectations
|
2024-12-05 14:43:39 +01:00 |
|
Geoffrey White
|
bdb2f3d091
|
Rust: Add placeholder query and tests for 'cipher' module.
|
2024-12-05 13:38:57 +00:00 |
|
Calum Grant
|
fd7469848e
|
C++: Test case for cpp/badly-bounded-write
|
2024-12-05 13:16:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
667abb19d7
|
C++: Expose a final alias instead of the abstract class.
|
2024-12-05 13:13:44 +00:00 |
|
Michael B. Gale
|
952488c2d8
|
C#: Fix possible null dereference
|
2024-12-05 12:32:55 +00:00 |
|
Michael B. Gale
|
7369d043ed
|
C#: Don't initialise DependabotProxy on Windows or macOS
|
2024-12-05 12:25:45 +00:00 |
|
Michael B. Gale
|
2e80e09f52
|
C#: Apply suggestions from code review for DependabotProxy
|
2024-12-05 12:15:27 +00:00 |
|
Michael B. Gale
|
ee7f0b0f2a
|
C#: Load Dependabot Proxy certificate in DependabotProxy, and implement IDisposable
|
2024-12-05 12:15:26 +00:00 |
|
Michael B. Gale
|
ca251fb840
|
C#: Set up proxy for IsFeedReachable, if configured
|
2024-12-05 12:15:23 +00:00 |
|
Michael B. Gale
|
984091d4a4
|
C#: Propagate DependabotProxy instance down from DependencyManager
|
2024-12-05 12:14:29 +00:00 |
|
Michael B. Gale
|
e999ec1ecf
|
C# Expose CertificatePath from DependabotProxy
|
2024-12-05 12:14:28 +00:00 |
|
Michael B. Gale
|
87bd21e12c
|
C#: Use Add for environment variables
|
2024-12-05 12:14:27 +00:00 |
|
Michael B. Gale
|
de415d68cf
|
C#: Add more logging to DependabotProxy
|
2024-12-05 12:14:26 +00:00 |
|
Michael B. Gale
|
6cd5711313
|
C#: Set environment variables for proxy for calls to dotnet
|
2024-12-05 12:14:25 +00:00 |
|
Michael B. Gale
|
8ca75602d8
|
C#: Initialise DependabotProxy in DotNetCliInvoker
|
2024-12-05 12:14:25 +00:00 |
|
Michael B. Gale
|
232caa7185
|
C#: Add DependabotProxy class
|
2024-12-05 12:14:24 +00:00 |
|
Michael B. Gale
|
537601290b
|
C#: Add CODEQL_PROXY_* environment variable names
|
2024-12-05 12:14:23 +00:00 |
|
Michael B. Gale
|
05f9a90fd7
|
Merge pull request #18216 from github/dependabot/go_modules/go/extractor/extractor-dependencies-288d2c81da
Bump golang.org/x/tools from 0.27.0 to 0.28.0 in /go/extractor in the extractor-dependencies group
|
2024-12-05 11:53:11 +00:00 |
|
Owen Mansel-Chan
|
347fd575a2
|
Refactor to avoid duplicated logic
|
2024-12-05 11:15:43 +00:00 |
|
Simon Friis Vindum
|
43e3f8406d
|
Merge pull request #18188 from paldepind/rust-df-array
Rust: Basic data flow through arrays
|
2024-12-05 12:09:22 +01:00 |
|
Simon Friis Vindum
|
3061d4a516
|
Rust: Minor tweaks
|
2024-12-05 11:53:12 +01:00 |
|
Owen Mansel-Chan
|
b20b7c7572
|
Remove escaped "{" and "}" before counting placeholders
|
2024-12-05 10:43:13 +00:00 |
|
Simon Friis Vindum
|
1f4e7d1f37
|
Rust: Handle arrays in taint tracking
|
2024-12-05 11:41:32 +01:00 |
|