Ed Minnix
|
12ebfa65dc
|
Change join order of Property/Name matching
|
2025-02-04 21:50:14 -05:00 |
|
Ed Minnix
|
07aad61c9e
|
Typo
|
2025-02-04 21:45:34 -05:00 |
|
Ed Minnix
|
5236a40d0a
|
Remove unnecessary class
|
2025-02-03 22:34:08 -05:00 |
|
Ed Minnix
|
6ae7edeae0
|
Add Blazor components file to Remote sources module
|
2025-01-30 23:07:15 -05:00 |
|
Ed Minnix
|
8bae79d9ce
|
Components file
|
2025-01-30 23:07:03 -05:00 |
|
erik-krogh
|
34f5f61a10
|
all: use my script to delete outdated deprecations
|
2025-01-27 22:16:48 +01:00 |
|
Michael Nebel
|
d3d3cceb40
|
Merge pull request #18575 from michaelnebel/csharp/overloadresolution
C# 13: Overload resolution priority.
|
2025-01-24 16:14:18 +01:00 |
|
Simon Friis Vindum
|
e13a7a224f
|
Merge branch 'main' into shared-basic-block-library
|
2025-01-24 09:54:26 +01:00 |
|
Michael Nebel
|
a6d16e79d9
|
C#: Add overload resolution priority attribute class.
|
2025-01-23 14:17:52 +01:00 |
|
Simon Friis Vindum
|
9547a5cd27
|
Shared: Update basic block documentation and make minor tweaks
|
2025-01-22 16:07:30 +01:00 |
|
Simon Friis Vindum
|
4d05b6a0a5
|
Shared: Address review comments for shared basic block library
|
2025-01-17 13:11:49 +01:00 |
|
Simon Friis Vindum
|
c051eecfb4
|
Shared: Add shared basic block library
|
2025-01-16 16:36:45 +01:00 |
|
Michael Nebel
|
e62846e4c5
|
C#: Disregard compiler generated method calls as possible null dereferences.
|
2025-01-14 17:14:04 +01:00 |
|
Michael Nebel
|
53c2f76385
|
C#: Update AST printing to include generated cast (wrapping) expressions and generated ToString calls.
|
2025-01-14 17:13:56 +01:00 |
|
Michael Nebel
|
a4049b1d9a
|
C#: Modify compiler generated strip logic to also take generated ToString calls into account.
|
2025-01-14 17:13:53 +01:00 |
|
Michael Nebel
|
c68b55b957
|
Merge pull request #18385 from michaelnebel/csharp/allowsrefstruct
C# 13: Allows ref struct.
|
2025-01-13 16:04:03 +01:00 |
|
Michael Nebel
|
d0d5e0d157
|
C#: Address review comment.
|
2025-01-13 14:56:24 +01:00 |
|
Michael Nebel
|
b358f33f9e
|
C#: Address review comment.
|
2025-01-10 10:00:44 +01:00 |
|
Tom Hvitved
|
868caf948c
|
Rename {Source,Sink}Node to {Source,Sink}Element
|
2025-01-08 15:21:43 +01:00 |
|
Tom Hvitved
|
1b31c90d26
|
Implement FlowSummaryImpl stubs
|
2025-01-06 13:26:51 +01:00 |
|
Michael Nebel
|
cac1e04de8
|
C#: Improve unification logic to handle ref structs.
|
2025-01-03 16:27:00 +01:00 |
|
Michael Nebel
|
c439beb4b4
|
C#: Introduce a class for ref structs.
|
2025-01-03 16:26:57 +01:00 |
|
Michael Nebel
|
ef9f09ebfc
|
C#: Do not consider ref struct as being convertible to object, dynamic and valuetype.
|
2025-01-03 15:36:04 +01:00 |
|
Michael Nebel
|
41dc4a5503
|
C#: Add extractor support for the allows ref struct general type parameter constraint.
|
2025-01-03 15:36:00 +01:00 |
|
Michael Nebel
|
d9158c8cd5
|
Fixup of second commit.
|
2025-01-03 15:35:59 +01:00 |
|
Michael Nebel
|
958d8f1f01
|
C#: Add extractor support for the notnull general type parameter constraint.
|
2025-01-03 15:35:49 +01:00 |
|
Michael Nebel
|
fe4ec59b4e
|
C#: Address review comments.
|
2025-01-02 11:21:29 +01:00 |
|
Michael Nebel
|
8f5b8f494f
|
C#: Update dispatch logic and other libraries to handle params collection types.
|
2025-01-02 11:13:10 +01:00 |
|
Michael Nebel
|
bd9f656be2
|
C#: Add ql doc to TestLibrary.
|
2024-12-17 14:40:01 +01:00 |
|
Michael Nebel
|
a91c1dc715
|
C#: Move external api declarations to the library pack.
|
2024-12-17 14:39:59 +01:00 |
|
Tom Hvitved
|
fc70024f52
|
C#: Remove false-positive reflection calls in dataflow
|
2024-12-11 14:15:58 +01:00 |
|
Anders Schack-Mulligen
|
03fdceb0fd
|
Merge pull request #18191 from aschackmull/dataflow/remove-deprecated-lib
Dataflow: Delete the old configuration-class based api.
|
2024-12-04 11:31:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
919405e586
|
C#: Support mixing dynamic properties and fields (instead of just properties) and accept test changes.
|
2024-12-03 19:36:42 +00:00 |
|
Anders Schack-Mulligen
|
dbb260dfd2
|
C#: Remove reference to the deleted api.
|
2024-12-03 20:08:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
041df780c1
|
C#: Add field-flow through dynamic members.
|
2024-12-03 17:34:55 +00:00 |
|
Anders Schack-Mulligen
|
0d9e578857
|
C#: Delete deprecated data flow api.
|
2024-12-03 14:42:34 +01:00 |
|
Tom Hvitved
|
fbeb6f3940
|
Shared: Move shared logic into FlowSummaryImpl.qll
|
2024-12-03 09:11:11 +01:00 |
|
Michael Nebel
|
8041f00bf5
|
C#: Address more review comments.
|
2024-11-07 09:24:26 +01:00 |
|
Michael Nebel
|
e9c9519d90
|
C#: Address review comments.
|
2024-11-06 16:29:20 +01:00 |
|
Michael Nebel
|
5c389355d0
|
C#: Simplify delegate read and store steps (remove dependency on parameter).
|
2024-11-06 16:29:17 +01:00 |
|
Michael Nebel
|
fe854812ec
|
C#: Add read and store steps for delegate calls.
|
2024-11-06 16:29:13 +01:00 |
|
Anders Schack-Mulligen
|
b556590ef8
|
Merge pull request #17663 from aschackmull/dataflow/speculative-flow
Dataflow: Add support for speculative taint flow.
|
2024-10-31 08:12:43 +01:00 |
|
Tom Hvitved
|
7910af159c
|
C#: Take mapped locations into account in Comments.qll
|
2024-10-28 14:21:10 +01:00 |
|
Michael Nebel
|
b2b1a3ea65
|
C#: Consider string.ReplaceLineEndings(string) as a sanitizer for log forging.
|
2024-10-21 12:03:59 +02:00 |
|
Anders Schack-Mulligen
|
c20f12fa6c
|
Add qldoc.
|
2024-10-16 14:35:23 +02:00 |
|
Anders Schack-Mulligen
|
7b43100af5
|
C#: Add support for speculative taint flow.
|
2024-10-16 14:35:19 +02:00 |
|
Anders Schack-Mulligen
|
c80627a3d3
|
Dataflow: add plumbing for adding provenance to state-steps.
|
2024-10-16 14:35:18 +02:00 |
|
Tom Hvitved
|
5d925d36d3
|
C#: Adopt shared ConditionalCompletionSplitting implementation
|
2024-10-09 11:02:15 +02:00 |
|
Chad Bentz
|
2458d16426
|
Clarify threat model flow sources comment in LogForgingQuery.qll
|
2024-10-01 23:04:22 -04:00 |
|
Anders Schack-Mulligen
|
6081ba5902
|
Merge pull request #17604 from aschackmull/java/neutral-overrides
Java/C#: Add overrides to the interpretation of neutral MaD models.
|
2024-10-01 14:55:54 +02:00 |
|