Tom Hvitved
|
d709343d38
|
Merge pull request #21011 from aschackmull/mad/shared-externalflow
Java/C++/Go/C#: Share parts of ExternalFlow.qll
|
2025-12-15 20:27:04 +01:00 |
|
Anders Schack-Mulligen
|
64a48e4e7b
|
MaD: Use "namespace" instead "package" in shared code.
|
2025-12-12 13:57:02 +01:00 |
|
Anders Schack-Mulligen
|
7f8d0771df
|
MaD: Rename file.
|
2025-12-12 13:50:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
b499661c05
|
C#: Slightly refactor 'CollectionFlow' tests to add a taint-flow test.
|
2025-12-12 11:06:01 +00: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
|
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
|
5bddc8d289
|
Go: Move Go package-grouping support into shared lib.
|
2025-12-12 09:17:51 +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
|
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
|
5ab26e481b
|
Add dummy instantiations for other languages.
|
2025-12-11 16:24:27 +01:00 |
|
Anders Schack-Mulligen
|
1142f4a54a
|
C#: Connect shared Guards to SSA BarrierGuards.
|
2025-12-11 15:41:47 +01:00 |
|
Tom Hvitved
|
adac3926a1
|
C#: Remove PreSsa library
|
2025-12-11 14:17:12 +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 |
|
Anders Schack-Mulligen
|
139dc0acaf
|
Merge pull request #20922 from aschackmull/csharp/object-initializer
C#: Replace initializer splitting with an ObjectInitMethod.
|
2025-12-09 10:35:02 +01:00 |
|
Anders Schack-Mulligen
|
28e9420476
|
C#: Fix lambda flow.
|
2025-12-05 10:58:01 +01:00 |
|
Anders Schack-Mulligen
|
e4ee7c95c5
|
C#: Address review comments.
|
2025-12-04 15:06:20 +01:00 |
|
Anders Schack-Mulligen
|
78e1879c9e
|
Use more flowTo.
|
2025-12-03 14:12:08 +01:00 |
|
Anders Schack-Mulligen
|
dc6d3fe7ba
|
Use flowFrom.
|
2025-12-03 14:04:18 +01:00 |
|
Anders Schack-Mulligen
|
2eb2a50ccd
|
C#: Fix enclosing DataFlowCallable of ObjectInitMethods with multiple bodies.
|
2025-12-02 13:49:17 +01:00 |
|
Anders Schack-Mulligen
|
85121e88b4
|
C#: Move and rename module.
|
2025-12-02 13:49:14 +01:00 |
|
Anders Schack-Mulligen
|
24a575a7a5
|
C#: Replace initializer splitting with ObjectInitMethod.
|
2025-12-02 13:49:14 +01:00 |
|
Asger F
|
6257bed089
|
Sync OverlayXml.qll
|
2025-11-28 09:23:49 +01:00 |
|
Asger F
|
dbf14c190a
|
Factor XML discard predicates into OverlayXml.qll
|
2025-11-26 11:48:32 +01:00 |
|
Michael Nebel
|
085d3c85cd
|
Merge pull request #20425 from michaelnebel/csharp/basicextractoroverlay
C#: Overlay extraction support.
|
2025-11-12 15:25:57 +01:00 |
|
Michael Nebel
|
0541dccc78
|
C#: Add discarding for ASP elements.
|
2025-11-10 15:44:17 +01:00 |
|
Michael Nebel
|
d6b7424e2c
|
C#: Add the same strategy in as in Java for XML element discarding.
|
2025-11-10 15:38:26 +01:00 |
|
Joe Farebrother
|
b813c13462
|
Restrict sinks to fix performance
|
2025-11-10 14:14:01 +00:00 |
|
Joe Farebrother
|
544446bb81
|
Minor comment update
|
2025-11-10 14:13:51 +00:00 |
|
Joe Farebrother
|
3cdfa8e0ac
|
Update comments and names
|
2025-11-10 14:12:57 +00:00 |
|
Joe Farebrother
|
a87a03cfa8
|
Move to main query pack
|
2025-11-10 14:12:48 +00:00 |
|
Michael Nebel
|
c44b74740e
|
C#: Minor code quality improvements.
|
2025-11-10 14:23:59 +01:00 |
|
Michael Nebel
|
9d300e3ad3
|
C#: Address comments in the QL implementation.
|
2025-11-07 15:52:37 +01:00 |
|
Anders Schack-Mulligen
|
02fd1dcccd
|
Merge pull request #20738 from aschackmull/csharp/guards-misc
C#: Misc Guards-related cleanup.
|
2025-11-05 10:22:07 +01:00 |
|
Michael Nebel
|
d95ebc77ae
|
C#: Add using directives and type mentions as star entities.
|
2025-11-04 13:28:29 +01:00 |
|
Michael Nebel
|
04d33cbad7
|
C#: Add discarding for diagnostics and extractor messages.
|
2025-11-04 13:28:24 +01:00 |
|
Michael Nebel
|
8927b0a350
|
C#: Simplify the discarding and also discard type mentions and comments.
|
2025-11-04 13:28:21 +01:00 |
|
Michael Nebel
|
121c1500ca
|
C#: Define discarding predicates for expressions, statements, locations and some named TRAP entities.
|
2025-11-04 13:28:14 +01:00 |
|
Michael Nebel
|
bcc6234a60
|
C#: Fix bad join due to overlay compilation.
|
2025-11-04 13:27:56 +01:00 |
|
Anders Schack-Mulligen
|
bda6513fc1
|
Merge pull request #20737 from aschackmull/csharp/deprecate-abstractvalue
C#: Deprecate AbstractValue.
|
2025-10-31 15:20:24 +01:00 |
|
Anders Schack-Mulligen
|
fa20075a4d
|
C#: Review fix and simplification.
|
2025-10-31 14:41:32 +01:00 |
|
Anders Schack-Mulligen
|
4f6528a9fb
|
C#: Deprecate AbstractValue.
|
2025-10-31 14:23:23 +01:00 |
|
Anders Schack-Mulligen
|
eb93e8ed41
|
C#: Deprecate controlsBlock.
|
2025-10-31 14:22:11 +01:00 |
|
Anders Schack-Mulligen
|
4de564eb4e
|
C#: Replace reference to controlsBlock and simplify.
|
2025-10-31 14:17:35 +01:00 |
|
Anders Schack-Mulligen
|
f6dfcf1ca4
|
C#: Delete splitting-aware controls implementation.
|
2025-10-31 14:17:35 +01:00 |
|
Anders Schack-Mulligen
|
ab2c2ef6ae
|
C#: Update isUnreachableInCall in dataflow to use Guards library.
|
2025-10-31 14:17:34 +01:00 |
|
Anders Schack-Mulligen
|
e558c0219c
|
Merge pull request #20734 from aschackmull/csharp/tweak-nullness
C#: Allow nullness sources with SSA at entry.
|
2025-10-31 14:14:43 +01:00 |
|
Anders Schack-Mulligen
|
5aa53287ce
|
C#: Allow nullness sources with SSA at entry.
|
2025-10-31 11:25:37 +01:00 |
|
Anders Schack-Mulligen
|
87d89fd00f
|
C#: Fix CFG for assertion.
|
2025-10-29 13:04:33 +01:00 |
|