Tim Pohlmann
Tim Pohlmann
# Summary Sometimes (~5%) a call to [DiscordChannel.ModifyPositionAsync(int position)](https://dsharpplus.github.io/api/DSharpPlus.Entities.DiscordChannel.html?q=discordchannel#DSharpPlus_Entities_DiscordChannel_ModifyAsync_Action_ChannelEditModel__) just silently fails. The Task completes without an Exception but neither the channel's Position property nor its visible position in the...
When the server runs for a while it stops handing out valid JWT tokens. They all have the same expiration date. The reason for this is the fact that JwtFactory...
Continuation to #7300 * [x] Unlearn NotEmpty from `list.Remove(x)` etc. * [ ] Learn Empty from * [x] `list.Clear()` * [x] `list.Count == 0`, `list.Count() == 0` etc. * [...
### Description FP for [S3257](https://sonarsource.github.io/rspec/#/rspec/S3257/csharp) when creating a typed array with target-typed new expressions in the initializer. ### Repro steps ``` _ = new MyRecord[] { new(), new() }; record...
``` void RelationalPattern(int i) { if (i is > 6) { if (i is > 5) // FN Console.WriteLine(); if (i > 5) // FN Console.WriteLine(); } if (i >...
``` #nullable enable bool IsLengthTen(string? value) { return value.Length == 10; // FN } ``` This issue demonstrates an information gap between .NET's nullable flow-state analysis and our symbolic execution...
``` class Sample { private static readonly int readonlyField = 42; private void Test() { if (readonlyField == 42) Console.WriteLine(); // FN } } ```
Follow-up to #8474 [Specification](https://docs.google.com/document/d/19C721G-PND3H_FkQSVxkWfIP3xCwSdgkaRBSg__q-mA/edit#heading=h.d0wzrxmp9oe9) Currently, the SE engine is not conducting any calculations for arithmetic operations in loops. The following assumptions are approximations for calculations in a loop and can...
Note that this reproducer only makes sense on [Tim/NewFuzzyLogic](https://github.com/SonarSource/sonar-dotnet/tree/Tim/NewFuzzyLogic). It will also be an FN on master, but for different reasons. ``` void Test(bool condition1, bool condition2) { var success...
[Plan](https://docs.google.com/document/d/1NRCDaS3M4mTBMJow_7jAKk-0VPWfNX57EO5rFqEULsw/edit?usp=sharing) PoC: #8452 should fix: #8028, #8428, #8449