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 |
|
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 |
|
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 |
|
Tom Hvitved
|
2fd4516c25
|
C#: Adjust log levels in FilePathFilter.cs
|
2025-12-11 13:37:56 +01:00 |
|
Michael Nebel
|
24417cf93d
|
C#: Add change-note.
|
2025-12-11 13:15:29 +01:00 |
|
Jeroen Ketema
|
004dfbdf24
|
Merge pull request #21005 from jketema/swift-filter-arg
Swift: Update tracer configuration
|
2025-12-11 12:40:25 +01:00 |
|
Michael Nebel
|
fa76d3555a
|
C#: Update launch.json to point to .NET 10.
|
2025-12-11 12:19:24 +01:00 |
|
Michael Nebel
|
298e8f0c58
|
C#: Bugfix in the implicittostring. Need to handle the ReadOnlySpan params overload for string.Format.
|
2025-12-11 12:19:22 +01:00 |
|
Michael Nebel
|
ee5c291c9d
|
C#: Update test expected output.
|
2025-12-11 12:19:20 +01:00 |
|
Michael Nebel
|
45cd8e94cd
|
C#: Update test example (field is now a reserved word).
|
2025-12-11 12:19:17 +01:00 |
|
Michael Nebel
|
d97b9f532a
|
C#: Update example to use a type that calls an implicit (library) conversion operator.
|
2025-12-11 12:19:16 +01:00 |
|
Michael Nebel
|
66895a0c62
|
C#: Update the Roslyn, MsBuild and Binlog extractor dependencies.
|
2025-12-11 12:19:13 +01:00 |
|
idrissrio
|
3f372d2658
|
C/C++ overlay: Add overlay support for discarding macro invocations
|
2025-12-11 12:09:04 +01:00 |
|
idrissrio
|
1286ca6683
|
C/C++ overlay: Add overlay support for discarding namespaces
|
2025-12-11 12:09:02 +01:00 |
|
idrissrio
|
c34456e3a0
|
C/C++ overlay: Add overlay support for discarding user types
|
2025-12-11 12:09:01 +01:00 |
|
idrissrio
|
4702e208b7
|
C/C++ overlay: Add overlay support for discarding functions
|
2025-12-11 12:09:00 +01:00 |
|
Michael Nebel
|
c79cdea690
|
Merge pull request #20898 from michaelnebel/csharp/dotnet10extractor
C#: Use .NET 10 for building the extractor and running tests.
|
2025-12-11 12:05:35 +01:00 |
|
Tom Hvitved
|
3ab0ade9dc
|
Merge pull request #21010 from hvitved/rust/type-inference-fix-blowup
Rust: Strengthen `isNotInstantiationOf` uses
|
2025-12-11 12:04:30 +01:00 |
|
Michael Nebel
|
c69bbce176
|
C#: Add change-note.
|
2025-12-11 11:34:58 +01:00 |
|
Michael Nebel
|
3bb12f6236
|
C#: Cleanup dependencies.
|
2025-12-11 11:34:56 +01:00 |
|
Michael Nebel
|
af6809e93e
|
C#: Update integration test expected files.
|
2025-12-11 11:34:55 +01:00 |
|
Michael Nebel
|
2d4127fdb7
|
C#: Partially update test expected files by search and replace.
|
2025-12-11 11:34:53 +01:00 |
|
Michael Nebel
|
16bfcc3882
|
C#: Update language test expected output files to .NET 10.
|
2025-12-11 11:34:52 +01:00 |
|
Michael Nebel
|
4c3176ef1a
|
C#: Update integration tests to target and request .NET 10.
|
2025-12-11 11:34:50 +01:00 |
|
Michael Nebel
|
66aaa62ad9
|
C#: Manually update the existing stubs to target .NET 10.
|
2025-12-11 11:34:46 +01:00 |
|
Michael Nebel
|
ff3d2d5b8d
|
C#: Update stub generator script to target .NET 10.
|
2025-12-11 11:34:39 +01:00 |
|
Michael Nebel
|
9e395936dc
|
C#: Update extractor to target .NET 10.
|
2025-12-11 11:34:38 +01:00 |
|
Michael Nebel
|
682195bd57
|
C#: Update workflows.
|
2025-12-11 11:34:36 +01:00 |
|
Michael Nebel
|
cf43c6170a
|
C#: Update Paket version and dependencies.
|
2025-12-11 11:34:34 +01:00 |
|
Michael Nebel
|
3c0e3c4336
|
C#: Remove custom rules_dotnet 0.19.2.
|
2025-12-11 11:34:33 +01:00 |
|
Michael Nebel
|
aa964362ef
|
C#: Update rules_dotnet to 0.21.5.
|
2025-12-11 11:34:28 +01:00 |
|
Michael Nebel
|
577a2e1974
|
C#: Copy the 0.19.2 custom rules_dotnet.
|
2025-12-11 11:34:21 +01:00 |
|
Simon Friis Vindum
|
8c39472d73
|
Rust: Add change note for reads as taint steps
|
2025-12-11 09:09:12 +01:00 |
|
Tom Hvitved
|
d5a95a8099
|
Rust: Strengthen isNotInstantiationOf uses
|
2025-12-10 20:48:21 +01:00 |
|
Tom Hvitved
|
f30a3b3712
|
Rust: Add type inference blowup test
|
2025-12-10 20:48:18 +01:00 |
|
Anders Schack-Mulligen
|
000f2c345e
|
Merge pull request #21001 from aschackmull/guards/generalise-validationwrapper
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards
|
2025-12-10 15:52:53 +01:00 |
|
Simon Friis Vindum
|
c6d2047827
|
Rust: Update expected files
|
2025-12-10 15:05:36 +01:00 |
|
Simon Friis Vindum
|
efbc0934c4
|
Rust: Do not use types to limit lifting of reads to taint steps
|
2025-12-10 14:35:24 +01:00 |
|
Simon Friis Vindum
|
fe37e3d9be
|
Rust: Address PR feedback
|
2025-12-10 14:35:23 +01:00 |
|
Simon Friis Vindum
|
273eb19b88
|
Rust: Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-12-10 14:35:22 +01:00 |
|
Simon Friis Vindum
|
5ba4e30c20
|
Rust: Exclude range start and end from field taint steps
|
2025-12-10 14:35:20 +01:00 |
|
Simon Friis Vindum
|
647bed9e2f
|
Rust: Add extensible predicate to exclude fields and block fieldless enum types
|
2025-12-10 14:35:19 +01:00 |
|
Simon Friis Vindum
|
6fcd8d194a
|
Rust: Refactor flow summary implementation
|
2025-12-10 14:35:18 +01:00 |
|