Anders Schack-Mulligen
|
8564b4ea66
|
Go: Use shared modelCoverage.
|
2025-12-12 11:24:39 +01:00 |
|
Tom Hvitved
|
0b00589f95
|
Rust: Update expected test output
|
2025-12-12 11:16:17 +01:00 |
|
Tom Hvitved
|
0b81d44ec7
|
Rust: Apply same filtering of generated summaries as in C# and Java
|
2025-12-12 11:16:16 +01:00 |
|
Tom Hvitved
|
c4a8e9df21
|
Shared: Prefer source/sink models with manual provenance over generated
|
2025-12-12 11:16:13 +01:00 |
|
Anders Schack-Mulligen
|
f8c144b20e
|
Merge pull request #21018 from aschackmull/csharp/guards-connect-barrierguard
C#: Connect shared Guards to SSA BarrierGuards.
|
2025-12-12 10:50:47 +01:00 |
|
Tom Hvitved
|
6f27863453
|
Merge pull request #21012 from hvitved/csharp/nhibernate-sql-sinks
C#: Add `NHibernate` SQL sinks
|
2025-12-12 09:23:39 +01:00 |
|
Tom Hvitved
|
0566a9ffe6
|
Merge pull request #20994 from hvitved/csharp/remove-pre-ssa
C#: Remove `PreSsa` library
|
2025-12-12 09:22:36 +01:00 |
|
Anders Schack-Mulligen
|
4b2e8c0b57
|
C++/C#/Go: Add empty extensible data.
|
2025-12-12 09:17:51 +01:00 |
|
Anders Schack-Mulligen
|
5bddc8d289
|
Go: Move Go package-grouping support into shared lib.
|
2025-12-12 09:17:51 +01:00 |
|
Simon Friis Vindum
|
4425891352
|
Rust: Don't propagate impl in return position into function bodies
|
2025-12-12 09:13:04 +01:00 |
|
Michael Nebel
|
ea7e15829a
|
C#: Update integration test expected output.
|
2025-12-12 08:37:58 +01:00 |
|
Michael Nebel
|
b8def10977
|
C#: Claim support for .slnx in the public documentation.
|
2025-12-12 08:32:07 +01:00 |
|
Anders Schack-Mulligen
|
e262438557
|
C++: Use shared model coverage code.
|
2025-12-12 08:20:20 +01:00 |
|
Anders Schack-Mulligen
|
07252519c8
|
Java/C++: Thread additional models through the shared lib.
|
2025-12-12 08:20:20 +01:00 |
|
Anders Schack-Mulligen
|
47dcf05a32
|
C++/Go/Java: Don't import top-level extensible predicates.
|
2025-12-12 08:20:19 +01:00 |
|
Anders Schack-Mulligen
|
3b334ea215
|
Java/C#: Share model coverage code.
|
2025-12-12 08:20:19 +01:00 |
|
Anders Schack-Mulligen
|
0915db4f6b
|
C++/C#/Go: Use shared interpretModelForTest.
|
2025-12-12 08:20:18 +01:00 |
|
Anders Schack-Mulligen
|
f0e7f1af2c
|
C++/C#/Go: Align ExternalFlowExtensions with Java.
|
2025-12-12 08:20:18 +01:00 |
|
Anders Schack-Mulligen
|
cb578e32ab
|
Java: Move interpretModelForTest into shared code.
|
2025-12-12 08:20:17 +01:00 |
|
Anders Schack-Mulligen
|
7285a8e1c5
|
Merge pull request #20986 from aschackmull/java/mad-barriers
Java: Support for MaD barriers and barrier guards.
|
2025-12-12 07:53:53 +01:00 |
|
Idriss Riouak
|
8fccc34bd6
|
Merge pull request #21017 from github/idrissrio/cpp/overlay/xml
|
2025-12-11 20:02:57 +01:00 |
|
Geoffrey White
|
ee13a49152
|
Merge branch 'main' into varfps
|
2025-12-11 18:21:22 +00:00 |
|
Geoffrey White
|
d88bae9ec2
|
Rust: Narrow the exclusion a little.
|
2025-12-11 18:07:12 +00:00 |
|
Geoffrey White
|
5db6b92411
|
Merge pull request #20887 from github/copilot/add-ecb-cbc-test-cases
Add ECB and CBC block mode test cases for BrokenCryptoAlgorithm query
|
2025-12-11 16:22:27 +00:00 |
|
Jeroen Ketema
|
1af1d2d3d5
|
Merge pull request #21008 from jketema/swift-6.2.2
Swift: Update to Swift 6.2.2
|
2025-12-11 16:57:55 +01:00 |
|
idrissrio
|
926d7f53f2
|
C/C++ overlay: Update identical files
|
2025-12-11 16:56:29 +01:00 |
|
Anders Schack-Mulligen
|
4066c0d84a
|
Java: Fix input/output naming.
|
2025-12-11 16:24:29 +01:00 |
|
Owen Mansel-Chan
|
87f58fe51a
|
Convert regex injection barrier to MaD
|
2025-12-11 16:24:29 +01:00 |
|
Owen Mansel-Chan
|
44295e4c7d
|
Convert XSS barrier to MaD
|
2025-12-11 16:24:28 +01:00 |
|
Owen Mansel-Chan
|
7e562f3150
|
Convert request forgery barrier guard to MaD
|
2025-12-11 16:24:28 +01:00 |
|
Anders Schack-Mulligen
|
5ab26e481b
|
Add dummy instantiations for other languages.
|
2025-12-11 16:24:27 +01:00 |
|
Owen Mansel-Chan
|
f6e3c77145
|
Convert path injection barrier to MaD
|
2025-12-11 16:24:27 +01:00 |
|
Owen Mansel-Chan
|
f6e40bd49d
|
Convert trust boundary violation barrier and barrier guard to MaD
|
2025-12-11 16:24:26 +01:00 |
|
Anders Schack-Mulligen
|
dcf6041dca
|
Java: Add empty extensible data.
|
2025-12-11 16:24:26 +01:00 |
|
Anders Schack-Mulligen
|
8da65ec6d0
|
Java: Add support for boolean MaD barrier guards.
|
2025-12-11 16:24:25 +01:00 |
|
Anders Schack-Mulligen
|
d24b0ff596
|
Java: Basic support for pass-through barrier models.
|
2025-12-11 16:24:25 +01:00 |
|
Simon Friis Vindum
|
e13bb0f866
|
Merge pull request #20879 from paldepind/rust/reads-as-taint
Rust: Lift content reads as taint steps
|
2025-12-11 16:05:29 +01:00 |
|
Anders Schack-Mulligen
|
1142f4a54a
|
C#: Connect shared Guards to SSA BarrierGuards.
|
2025-12-11 15:41:47 +01:00 |
|
idrissrio
|
84bbe71522
|
C/C++ overlay: Discard xml entities
|
2025-12-11 15:41:35 +01:00 |
|
Michael Nebel
|
efb585384b
|
C#: Add change-note.
|
2025-12-11 15:27:28 +01:00 |
|
Michael Nebel
|
23981b474b
|
C#: Update integration test expected output.
|
2025-12-11 15:23:51 +01:00 |
|
Michael Nebel
|
d31a297a97
|
C#: Make support for .slnx files.
|
2025-12-11 15:18:27 +01:00 |
|
Michael Nebel
|
5212e635bc
|
C#: Add dependency Microsoft.VisualStudio.SolutionPersistence and update lock files.
|
2025-12-11 15:18:25 +01:00 |
|
Simon Friis Vindum
|
74a77a7c3c
|
Rust: Fix typo in change note
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-12-11 15:04:25 +01:00 |
|
Michael Nebel
|
166ce1b498
|
C#: Add buildless integration test example including .slnx file.
|
2025-12-11 14:47:08 +01:00 |
|
Michael Nebel
|
247d764a50
|
C#: Add autobuilder integration tests with .slnx file.
|
2025-12-11 14:45:38 +01:00 |
|
Tom Hvitved
|
adac3926a1
|
C#: Remove PreSsa library
|
2025-12-11 14:17:12 +01:00 |
|
Tom Hvitved
|
6feded9000
|
Merge pull request #21014 from hvitved/csharp/file-path-filter-log-levels
C#: Adjust log levels in `FilePathFilter.cs`
|
2025-12-11 14:02:51 +01:00 |
|
Idriss Riouak
|
ad6988ff40
|
Merge pull request #20995 from github/idrissrio/cpp/overlay/locations
C/C++ overlay: Add multiloc declaration to Overlay.qll
|
2025-12-11 14:00:12 +01:00 |
|
Michael Nebel
|
ce2c149cb3
|
Merge pull request #20996 from michaelnebel/csharp/updateroslyn
C#: Update Roslyn, MsBuild and Binlog extractor dependencies.
|
2025-12-11 13:50:22 +01:00 |
|