Under hela 2025 har PVS-Studio-teamet aktivt kontrollerat öppen källkod C#-projekt. Under året har vi upptäckt massor av brister. Så vi valde de tio mest intressanta från denna enorma variation. Vi hoppas att du hittar denna sammanställning intressant och användbar. Njut! Hur har vi sammanställt toppen? Det finns flera kriterier som projektkoden bör uppfylla för att tjäna en plats i vår topplista: 
 
 
 
 
 
 Det kommer från ett open source-projekt. Problemet upptäcktes av PVS-Studio. Koden innehåller troligen fel. koden är intressant att kontrollera; Varje fel är unikt. Eftersom vi regelbundet sammanställer sådana listor har vi samlat en imponerande samling av konstiga fel. 
 
 
 
 
 
 
 Topp 10 misstag år 2024 Topp 10 misstag år 2023 Topp 10 misstag år 2022 Topp 10 misstag 2021 Topp 10 misstag 2020 Topp 10 misstag 2019 Låt oss nu dyka in i den fascinerande avgrunden av C#-fel för 2025! P.S. Artikelförfattaren valde och grupperade fel baserat på hans subjektiva åsikt.Om du tror att denna eller den buggen förtjänar ett annat ställe, var fri att lämna en kommentar :) 10:e plats. försök att hitta den Dagens topp börjar med ett misstag som nämns i Det känns som .NET 9 just släpptes, men för lite över en månad sedan ersatte .NET 10 den. . Läs omdömen om .NET 9 Denna artikel Låt oss återgå till analysen: public static void SetAsIConvertible(this ref ComVariant variant,
                                     IConvertible value)
{
  TypeCode tc = value.GetTypeCode();
  CultureInfo ci = CultureInfo.CurrentCulture;

  switch (tc)
  {
    case TypeCode.Empty: break;
    case TypeCode.Object: 
      variant = ComVariant.CreateRaw(....); break;
    case TypeCode.DBNull: 
      variant = ComVariant.Null; break;
    case TypeCode.Boolean: 
      variant = ComVariant.Create<bool>(....)); break;
    case TypeCode.Char: 
      variant = ComVariant.Create<ushort>(value.ToChar(ci)); break;
    case TypeCode.SByte: 
      variant = ComVariant.Create<sbyte>(value.ToSByte(ci)); break;
    case TypeCode.Byte: 
      variant = ComVariant.Create<byte>(value.ToByte(ci)); break;
    case TypeCode.Int16: 
      variant = ComVariant.Create(value.ToInt16(ci)); break;
    case TypeCode.UInt16: 
      variant = ComVariant.Create(value.ToUInt16(ci)); break;
    case TypeCode.Int32: 
      variant = ComVariant.Create(value.ToInt32(ci)); break;
    case TypeCode.UInt32: 
      variant = ComVariant.Create(value.ToUInt32(ci)); break;
    case TypeCode.Int64: 
      variant = ComVariant.Create(value.ToInt64(ci)); break;
    case TypeCode.UInt64: 
      variant = ComVariant.Create(value.ToInt64(ci)); break;
    case TypeCode.Single: 
      variant = ComVariant.Create(value.ToSingle(ci)); break;
    case TypeCode.Double: 
      variant = ComVariant.Create(value.ToDouble(ci)); break;
    case TypeCode.Decimal: 
      variant = ComVariant.Create(value.ToDecimal(ci)); break;
    case TypeCode.DateTime: 
      variant = ComVariant.Create(value.ToDateTime(ci)); break;
    case TypeCode.String: 
      variant = ComVariant.Create(....); break;

    default:
      throw new NotSupportedException();
  }
}
 Ange fullskärmsläge Exit fullskärmsläge Kan du se problemet? det är definitivt där! case TypeCode.Int64: 
  variant = ComVariant.Create(value.ToInt64(ci)); break;
case TypeCode.UInt64: 
  variant = ComVariant.Create(value.ToInt64(ci)); break; // <=
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för Två eller flera fallgrenar utför samma åtgärder. DynamicVariantExtensions.cs 68 V3139 Jag hoppas att du har gett dina ögon en bra träning, och din skarpa syn har inte släppt dig ner. Istället för utvecklare skulle ha använt den befintliga Detta kan vara ett kopieringsfel. case TypeCode.UInt64 value.ToInt64 ToUInt64() Tredje plats: Invalid format Den nionde platsen går till ett fel som beskrivs i : artikel om att kontrollera Neo och NBitcoin projekt public override string ToString()
{
  var sb = new StringBuilder();

  sb.AppendFormat("{1:X04} {2,-10}{3}{4}", 
                  Position, 
                  OpCode, 
                  DecodeOperand());

  return sb.ToString();
}
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för [CWE-685] Fel format. Ett annat antal formatobjekt förväntas när du ringer till funktionen 'AppendFormat'. Formatobjekt inte används: {3}, {4}. Argument inte används: 1st. VMInstruction.cs 105 V3025 Att kalla den överdrivna metod oundvikligen orsakar ett undantag. Detta beror på en felaktig Samtal som innehåller två fel. ToString sb.AppendFormat 
 
 
 Antalet argument som ska infogas är mindre än antalet platshållare i formatsträngen, vilket orsakar undantaget. Även om vi fixar det första problemet genom att matcha antalet argument och platshållare, kommer samtalet fortfarande att kasta undantaget. Detta beror på att platshållarindexering börjar på 0, inte 1. Avsnitt 8 - Navel-gazing Nästa misstag kommer från : artikel om att testa Lean Trading Engine public override int GetHashCode()
{
  unchecked
  {
    var hashCode = Definition.GetHashCode();
    var arr = new int[Legs.Count];
    for (int i = 0; i < Legs.Count; i++)
    {
      arr[i] = Legs[i].GetHashCode();
    }

    Array.Sort(arr);

    for (int i = 0; i < arr.Length; i++)
    {
      hashCode = (hashCode * 397) ^ arr[i];
    }

    return hashCode;
  }
}

public override bool Equals(object obj)
{
    ....

    return Equals((OptionStrategyDefinitionMatch) obj);
}
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för Egenskapen "Legs" används i metoden "GetHashCode" men saknas i metoden "Equals". OptionStrategyDefinitionMatch.cs 176 V3192 Analysören körde en Kontrollera på den metod, som kallar en överridden och fann att den inte använde den egendom, även om  relies on it. mellanförfarandet Equals Equals Legs GetHashCode Låt oss ta en närmare titt på Metod för: Equals public bool Equals(OptionStrategyDefinitionMatch other)
{
  ....

  var positions = other.Legs
                       .ToDictionary(leg => leg.Position, 
                                     leg => leg.Multiplier);
  foreach (var leg in other.Legs)                                   // <=
  {
    int multiplier;
    if (!positions.TryGetValue(leg.Position, out multiplier))
    {
      return false;
    }

    if (leg.Multiplier != multiplier)
    {
      return false;
    }
  }

  return true;
}
 Ange fullskärmsläge Exit fullskärmsläge Observera att metoden itererar över För varje element i den samlingen försöker koden hitta det i ordboken - men den här ordboken kommer också från Som ett resultat kontrollerar koden om element i en samling finns i samma samling. other.Legs positions other.Legs Vi kan korrigera koden genom att ersätta med på den markerade platsen. other.Legs Legs 7:e plats Tricky Equals The seventh place goes to an error from an  : Artikel om att kontrollera ScottPlot public class CoordinateRangeMutable : IEquatable<CoordinateRangeMutable>
{
  ....
  public bool Equals(CoordinateRangeMutable? other)
  {
    if (other is null)
      return false;

    return Equals(Min, other.Min) && Equals(Min, other.Min);  // <=
  }

  public override bool Equals(object? obj)
  {
    if (obj is null)
      return false;

    if (obj is CoordinateRangeMutable other)
      return Equals(other);

    return false;
  }

  public override int GetHashCode()
  {
    return Min.GetHashCode() ^ Max.GetHashCode();             // <=
  }
}
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varningar för:  The 'Max' property is used in the 'GetHashCode' method but is missing from the 'Equals' method. ScottPlot CoordinateRangeMutable.cs 198 V3192 Företag Det finns identiska underuttryck 'Equals(Min, other.Min)' till vänster och höger om operatorn '&&'. ScottPlot CoordinateRangeMutable.cs 172 V3001 För Analysatorn utfärdade två varningar för detta kodfragment.Låt oss se varför detta hände. Vi börjar med den Analysören varnar för att Fastigheten används i metod, men inte i metod. om vi tittar på den överridda metod, kan vi se att en annan  is called in its body. There we can see the following:  och den Diagnostisk regel framhöll detta fragment. V3192 Max GetHashCode Equals Equals Equals Equals(Min, other.Min) && Equals(Min, other.Min) V3001 Det är uppenbart att en av de Operanterna måste ha och form. && Equals(Max, other.Max) Så analytikern har rätt – inte förekommer i den Metoden är . Max Equals Avsnitt 6 - Bit Tricks An error that, like the previous one, is taken from the  , avslutar den första halvan av toppen: Läs omdömen om ScottPlot public static Interactivity.Key GetKey(this Keys keys)
{

  Keys keyCode = keys & ~Keys.Modifiers;                   // <=
  Interactivity.Key key = keyCode switch
  {
    Keys.Alt => Interactivity.StandardKeys.Alt,            // <=
    Keys.Menu => Interactivity.StandardKeys.Alt,
    Keys.Shift => Interactivity.StandardKeys.Shift,        // <=
    Keys.ShiftKey => Interactivity.StandardKeys.Shift,
    Keys.LShiftKey => Interactivity.StandardKeys.Shift,
    Keys.RShiftKey => Interactivity.StandardKeys.Shift,
    Keys.Control => Interactivity.StandardKeys.Control,    // <=
    Keys.ControlKey => Interactivity.StandardKeys.Control,
    Keys.Down => Interactivity.StandardKeys.Down,
    Keys.Up => Interactivity.StandardKeys.Up,
    Keys.Left => Interactivity.StandardKeys.Left,
    Keys.Right => Interactivity.StandardKeys.Right,
    _ => Interactivity.StandardKeys.Unknown,
  };

  ....
}
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för Oåtkomlig kod upptäckt. Värdet "fall" är utom räckvidd för matchningsuttrycket. ScottPlot.WinForms FormsPlotExtensions.cs 106 V3202 Flera mönstervärden inom Det är omöjligt i det nuvarande sammanhanget.Låt oss se vad som händer här. switch Först bör vi titta på de värden som motsvarar de felaktiga elementen i listan. [Flags]
[TypeConverter(typeof(KeysConverter))]
[Editor(....)]
public enum Keys
{
  /// <summary>
  ///  The bit mask to extract modifiers from a key value.
  /// </summary>
  Modifiers = unchecked((int)0xFFFF0000),

  ....
  /// <summary>
  ///  The SHIFT modifier key.
  /// </summary>
  Shift = 0x00010000,

  /// <summary>
  ///  The  CTRL modifier key.
  /// </summary>
  Control = 0x00020000,

  /// <summary>
  ///  The ALT modifier key.
  /// </summary>
  Alt = 0x00040000
}
 Ange fullskärmsläge Exit fullskärmsläge Låt oss sedan konvertera dem till binära: Det är nu klart att Inkludera var och en av de felaktiga listelementen. Modifiers Värdet passerade till Det erhålls från den uttryck. Detta uttryck utesluter värde från Förutom att Men dock ,  och  will also be excluded, since  som redan innehåller dessa värden ( har en icke-nollbit för varje icke-nollbit av de felaktiga nummerelementen). switch keys & ~Keys.Modifiers Keys.Modifiers keys Keys.Modifiers Shift Control Alt Modifiers Modifiers Av allt detta kan vi dra slutsatsen att den bitkombination som producerar och eller För den Operationen finns inte. Shift Control Alt keys & ~Keys.Modifiers Frågan kan ligga i den genomförandet i stället för listningsvärdena. switch Femte plats: Alla boxade upp Topp fem börjar med ett fel som nämns i en : article about checking .NET 9 struct StackValue
{
  ....
  public override bool Equals(object obj)
  {
    if (Object.ReferenceEquals(this, obj))
      return true;

    if (!(obj is StackValue))
      return false;

    var value = (StackValue)obj;
    return    this.Kind == value.Kind 
           && this.Flags == value.Flags 
           && this.Type == value.Type;
  }
}
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för Att jämföra värdetypvariabler med 'ReferenceEquals' är felaktigt eftersom 'detta' kommer att bokas. ILImporter.StackValue.cs 164 V6161 den Metoden tar parametrar av typ. När en värdetyp passeras får den Referensen som skapats på högen matchar inte någon annan referens. ReferenceEquals Object boxed Sedan som det första argumentet, kommer boxning att inträffa varje gång  method is called. So, checking via  Kommer alltid tillbaka . this Equals ReferenceEquals false Observera att detta problem inte påverkar hur metoden fungerar. Metoden utfördes för att undvika ytterligare jämförelser om referenserna var lika. Med andra ord är detta en typ av optimering. ReferenceEquals 
 
 
 Koden körs alltid efter kontrollen. Varje samtal till Equals resulterar i en boxning. Det är roligt att analysatorn är inbyggd i .NET (regel ) upptäcker också detta problem. Men utvecklarna av .NET själva kunde inte undvika det :) CA2013 Kanske har den här regeln inaktiverats för projektet. är aktiverat som standard som börjar med .NET 5. Växjö 2013 Avsnitt 4 - Unsubscribing Den fjärde platsen går till ett fel från en : article about checking MSBuild private static void SubscribeImmutablePathsInitialized()
{
  NotifyOnScopingReadiness?.Invoke();

  FileClassifier.Shared.OnImmutablePathsInitialized -= () =>
    NotifyOnScopingReadiness?.Invoke();
}
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för Funktionen Anonym används för att avregistrera sig från händelsen "OnImmutablePathsInitialized".Ingen handlare kommer att avregistreras, eftersom en separat delegatinstans skapas för varje anonym funktion deklaration. CheckScopeClassifier.cs 67 V3084 I det här fallet får avregistrering från en delegat inte verkan eftersom varje gång en anonym funktion deklareras skapas en ny delegatinstans. är undertecknad till men underskriver från , which has no effect. OnImmutablePathsInitialized delegate 1 delegate 2 3rd place. Confusion over operator precedence Så, vi har nått topp tre. Felet från en Den tredje platsen är värd: artikel om att kontrollera Neo och NBitcoin projekt public override int Size =>   base.Size
                            + ChangeViewMessages?.Values.GetVarSize() ?? 0
                            + 1 + PrepareRequestMessage?.Size ?? 0
                            + PreparationHash?.Size ?? 0
                            + PreparationMessages?.Values.GetVarSize() ?? 0
                            + CommitMessages?.Values.GetVarSize() ?? 0;
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för  [CWE-783] Perhaps the '??' operator works in a different way than it was expected. Its priority is lower than priority of other operators in its left part. RecoveryMessage.cs 35 V3123 The analyzer issued several   warnings for this code, but I've included only one for brevity. The  operatören har lägre företräde än Men formateringen av detta uttryck tyder på att utvecklare förväntade sig motsatsen. V3123 ?? + Does the order of operations matter here? To answer the question, let's look at the example of a sub-expression addition if  är : ChangeViewMessages null base.Size + ChangeViewMessages?.Values.GetVarSize() ?? 0
 Enter fullscreen mode Exit fullscreen mode Oavsett den  value, the sub-expression result is always 0 because adding  Två Resultat i . base.Size base.Size null null Om vi placerar i parenteser, ändra operationsordningen, blir resultatet . ChangeViewMessages?.Values.GetVarSize() ?? 0 base.Size 2nd place. The treacherous pattern Den andra platsen går till ett fel från en : artikel om att kontrollera filhanteraren Files protected void ChangeMode(OmnibarMode? oldMode, OmnibarMode newMode)
{
  ....
  var modeSeparatorWidth = 
    itemCount is not 0 or 1 
      ? _modesHostGrid.Children[1] is FrameworkElement frameworkElement
        ? frameworkElement.ActualWidth
        : 0
      : 0;
  ....
}
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för [CWE-670] Det logiska mönstret "inte 0 eller 1" kanske inte fungerar som förväntat. mönstret "inte" matchar bara det första uttrycket från mönstret "eller". V2207 Låt oss titta närmare på den Del. Har redan gissat vad problemet är? Detta mönster är redundant. Dess andra del påverkar ingenting. itemCount is not 0 or 1 When saying "x is not 0 or 1", people usually imply that x is neither 0 nor 1. However, in C#, operator precedence works differently— Faktiskt betyder . Such mistakes can lead not only to redundancy but also to errors like  Frågan diskuterades även i en Baserat på diskussionen kommer antingen kompileraren sannolikt att fånga detta problem i framtiden, eller den inbyggda statiska analysen kommer att flagga det som en varning. x is not 0 or 1 x is (not 0) or 1 NullReferenceException: list is not null or list.Count == 0 Möte Föregående Föregående inlägg: Hur fungerar Linkedin? Och vinnaren är ett misstag från en . This error ranks first due to its subtlety. Some developers may not consider the effects of using deferred execution methods in combination with captured variables. All the details are below: artikel om att kontrollera Lean Trading Engine public void FutureMarginModel_MarginEntriesValid(string market)
{
  ....
  var lineNumber = 0;
  var errorMessageTemplate = $"Error encountered in file " + 
                             $"{marginFile.Name} on line ";
  var csv = File.ReadLines(marginFile.FullName)
                .Where(x =>    !x.StartsWithInvariant("#") 
                            && !string.IsNullOrWhiteSpace(x))
                .Skip(1)
                .Select(x =>
  {
    lineNumber++;                                                  // <=

    ....
  });

  lineNumber = 0;                                                  // <=
  foreach (var line in csv)
  {
    lineNumber++;                                                  // <=

    ....
  }
}
 Ange fullskärmsläge Exit fullskärmsläge PVS-Studio varning för Variabeln 'lineNumber' ändrades efter att den fångats i en LINQ-metod med uppskjuten utförande. Det ursprungliga värdet används inte när metoden utförs. FutureMarginBuyingPowerModelTests.cs 720 V319 den variabeln fångas och ökas i delegaten som överförs till LINQ-metoden. är en uppskjuten metod, körs delegatkoden medan den itererar över den resulterande insamlingen, inte när Att bli kallad. lineNumber Select Select När man itererar över samlingen, den variabeln ökar också. Som ett resultat ökar varje iteration : när delegaten kör och inuti Vilket ser konstigt ut. csv lineNumber lineNumber by 2 foreach Notera den Tilldelning före Det är troligt att utvecklarna förväntade sig att denna variabel skulle kunna hålla ett icke-nollvärde före slingan.  starts at zero, and the only place that changes it before the  Som nämnts ovan kör delegaten under iterationen, inte före den. Tydligen förväntade utvecklarna att delegaten skulle utföra innan den gick in i slingan. lineNumber = 0 foreach lineNumber foreach Conclusion Vi har gått igenom de mest intressanta varningarna ur författarens synvinkel :) Jag hoppas att du hittade denna samling intressant och tankeväckande när det gäller kodutveckling. Om du vill kontrollera om ditt projekt har liknande problem är det dags att använda en statisk analysator. . Länk nedladdning

Read My Stories

Det här ljudet är producerat på berättelsens originalspråk!

De 10 mest intressanta C#-buggarna vi hittade i öppen källkod 2025

About Author

KOMMENTARER

HÄNG TAGGAR

DENNA ARTIKEL PRESENTERAS I

Related Stories

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps