Tom Hvitved
|
426962e348
|
C#: Fix FPs in RedundantToStringCall.ql
|
2026-04-17 09:37:19 +02:00 |
|
Anders Schack-Mulligen
|
e0952948ba
|
Merge pull request #21701 from aschackmull/csharp/intvalue
C#: Introduce Expr.getIntValue.
|
2026-04-14 11:23:29 +02:00 |
|
Owen Mansel-Chan
|
7458674470
|
Merge pull request #21584 from owen-mc/shared/update-mad-comments
Shared: update code comments explaining models-as-data format to include barriers and barrier guards
|
2026-04-14 09:30:28 +01:00 |
|
Anders Schack-Mulligen
|
d3e580fd0e
|
C#: Introduce Expr.getIntValue.
|
2026-04-13 14:52:38 +02:00 |
|
Anders Schack-Mulligen
|
dfa8d72dd3
|
Merge pull request #21685 from aschackmull/csharp/unbind-new
C#: Replace old-style unbind with pragmas.
|
2026-04-10 13:55:01 +02:00 |
|
Anders Schack-Mulligen
|
cf4ab1d106
|
C#: Replace old-style unbind with pragmas.
|
2026-04-09 15:57:19 +02:00 |
|
Tom Hvitved
|
33cc887be0
|
Merge pull request #21592 from hvitved/dataflow/source-call-context-type-flow
Data flow: Add hook for preventing lambda dispatch in source call contexts
|
2026-04-09 13:44:42 +02:00 |
|
Tom Hvitved
|
0d4524f8f3
|
Address review comments
|
2026-04-07 11:40:10 +02:00 |
|
Tom Hvitved
|
1e1a8732a3
|
Data flow: Add hook for preventing lambda dispatch in source call contexts
|
2026-04-07 11:40:08 +02:00 |
|
Michael Nebel
|
9c095bc580
|
C#: Deprecate get[L|R]Value predicates.
|
2026-04-01 12:50:37 +02:00 |
|
Anders Schack-Mulligen
|
2bde364bdd
|
Merge pull request #21599 from aschackmull/csharp/constantcondition-simplify
C#: Simplify the ConstantCondition query.
|
2026-03-31 11:02:30 +02:00 |
|
Anders Schack-Mulligen
|
2a54dce5cb
|
C#: Remove redundant ConstantComparison.ql query.
|
2026-03-31 09:38:44 +02:00 |
|
Anders Schack-Mulligen
|
40366042a5
|
C#: Fix inconsistent casing of Cs/CS.
|
2026-03-30 15:24:32 +02:00 |
|
Owen Mansel-Chan
|
a7fdc4b543
|
Replace acceptingvalue with acceptingValue
|
2026-03-27 22:15:45 +00:00 |
|
Owen Mansel-Chan
|
b3285c6ae2
|
Make description of acceptingvalue column clearer
|
2026-03-27 11:35:22 +00:00 |
|
Owen Mansel-Chan
|
e680d49c93
|
Shared: document extensible relations rather than CSV
|
2026-03-27 09:47:32 +00:00 |
|
Owen Mansel-Chan
|
10fddc7b96
|
Add barriers and barrier guards to MaD format explanations
|
2026-03-27 09:47:24 +00:00 |
|
Michael Nebel
|
d96e8cb704
|
C#: Remove expr_parent_adjusted.
|
2026-03-24 15:32:20 +01:00 |
|
Michael Nebel
|
a900fe8657
|
C#: Adress review comments.
|
2026-03-24 15:32:17 +01:00 |
|
Michael Nebel
|
3d2d09d0bc
|
C#: Use the DB types and replace the abstract class implementation.
|
2026-03-24 15:32:15 +01:00 |
|
Michael Nebel
|
51673312c5
|
C#: Upgrade libraries and queries to use the new Operation classes.
|
2026-03-24 15:32:08 +01:00 |
|
Michael Nebel
|
149df86ce2
|
C#: Update the CFG implementation based on the new operations and remove hack that rotates children of assignments.
|
2026-03-24 15:32:06 +01:00 |
|
Michael Nebel
|
569e33b407
|
C#: Introduce a new kind of assignable definitions for compound assignments (those that was previously covered by expanded assignments).
|
2026-03-24 15:32:04 +01:00 |
|
Michael Nebel
|
e2afb000b2
|
C#: Cleaup expanded assignments from the dispatch logic.
|
2026-03-24 15:32:02 +01:00 |
|
Michael Nebel
|
2a78183238
|
C#: Deprecate the expanded assignment predicate as we no longer extract expanded assignments.
|
2026-03-24 15:32:00 +01:00 |
|
Michael Nebel
|
327757dbcb
|
C#: Update the child indices for assignments, update Assign classes to extend OperatorCall and add AssignOperation classes.
|
2026-03-24 15:31:57 +01:00 |
|
Gregro
|
a59c865328
|
let interprocedural analysis handle source-available extension methods for LogForgingLogMessageSink's
|
2026-03-21 20:05:08 +00:00 |
|
Gregro
|
a9eb801fea
|
C#: Fix false positives in cs/log-forging for extension methods
|
2026-03-21 20:05:08 +00:00 |
|
Anders Schack-Mulligen
|
19faf8f30b
|
C#: Add ObjectInitMethod as enclosing callable for the instance initializers.
|
2026-03-17 13:38:41 +01:00 |
|
Anders Schack-Mulligen
|
a929c0bf24
|
C#: Remove splitting-awareness from Range Analysis.
|
2026-03-16 09:58:14 +01:00 |
|
Anders Schack-Mulligen
|
e7edf15031
|
C#: Clean up.
|
2026-03-16 08:51:51 +01:00 |
|
Anders Schack-Mulligen
|
4c77e0f315
|
C#: Remove splitting-awareness for local expression steps.
|
2026-03-16 08:51:51 +01:00 |
|
Anders Schack-Mulligen
|
7124cd4e6e
|
C#: Remove splitting-awareness for source-to-def steps.
|
2026-03-16 08:51:50 +01:00 |
|
Anders Schack-Mulligen
|
c076992b83
|
C#: Remove splitting-awareness in ObjectInitializerNode.
|
2026-03-16 08:51:49 +01:00 |
|
Anders Schack-Mulligen
|
659d8e7c90
|
C#: Remove splitting-awareness in argumentOf.
|
2026-03-16 08:51:49 +01:00 |
|
Anders Schack-Mulligen
|
1e8de0511b
|
C#: Remove splitting-awareness in lambda flow.
|
2026-03-16 08:51:48 +01:00 |
|
Anders Schack-Mulligen
|
bce0a4d2a7
|
C#: Remove splitting-awareness for store steps.
|
2026-03-16 08:51:48 +01:00 |
|
Anders Schack-Mulligen
|
2160910d56
|
C#: Remove splitting-awareness for read steps.
|
2026-03-16 08:51:47 +01:00 |
|
Anders Schack-Mulligen
|
a5c8a5b5f8
|
C#: Remove splitting-awareness for taint steps.
|
2026-03-16 08:51:47 +01:00 |
|
Anders Schack-Mulligen
|
8c1c039edf
|
C#: Delete PreBasicBlocks.
|
2026-03-13 08:00:08 +01:00 |
|
Owen Mansel-Chan
|
0215ea3ee3
|
Merge pull request #21426 from owen-mc/cpp/validate-constructor-summary-models
C++: Add model validation for constructor summary models
|
2026-03-10 09:42:24 +00:00 |
|
Anders Schack-Mulligen
|
4013f00b19
|
C#: Disentangle SwitchStmt AST and CFG.
|
2026-03-09 15:07:59 +01:00 |
|
Owen Mansel-Chan
|
e0e5319b11
|
C#: Make corresponding predicate private
|
2026-03-09 13:44:52 +00:00 |
|
Owen Mansel-Chan
|
a3e9aed00a
|
Merge pull request #21416 from owen-mc/csharp/validate-constructor-summary-models
C#: Add model validation for constructor summary models
|
2026-03-06 09:09:39 +00:00 |
|
Anders Schack-Mulligen
|
76346eccd8
|
Merge pull request #21417 from aschackmull/csharp/binary-assignment
C#: Make Assignment extend BinaryOperation.
|
2026-03-06 09:14:20 +01:00 |
|
Tom Hvitved
|
feb45e5731
|
Merge pull request #21348 from hvitved/csharp/remove-tcs
C#: Remove some unbounded TC computations
|
2026-03-06 09:00:38 +01:00 |
|
Owen Mansel-Chan
|
3c36a9e308
|
Correctly deal with generic types
|
2026-03-05 15:47:53 +00:00 |
|
Anders Schack-Mulligen
|
d9ef9f82e1
|
C#: Make Assignment extend BinaryOperation.
|
2026-03-05 14:41:38 +01:00 |
|
Owen Mansel-Chan
|
e6996ea29a
|
Add model validation for constructor summary models
|
2026-03-05 12:11:25 +00:00 |
|
Tom Hvitved
|
e22d3a1074
|
Sync files
|
2026-03-05 09:11:16 +01:00 |
|