-
Notifications
You must be signed in to change notification settings - Fork 222
/
CalculationsShouldNotOverflow.cs
68 lines (62 loc) · 2.54 KB
/
CalculationsShouldNotOverflow.cs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
/*
* SonarAnalyzer for .NET
* Copyright (C) 2015-2023 SonarSource SA
* mailto: contact AT sonarsource DOT com
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program; if not, write to the Free Software Foundation,
* Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
*/
namespace SonarAnalyzer.SymbolicExecution.Roslyn.RuleChecks.CSharp;
public sealed class CalculationsShouldNotOverflow : CalculationsShouldNotOverflowBase
{
public static readonly DiagnosticDescriptor S3949 = DescriptorFactory.Create(DiagnosticId, MessageFormat);
protected override DiagnosticDescriptor Rule => S3949;
public override bool ShouldExecute()
{
if (ContainingSymbol?.Name == nameof(GetHashCode))
{
return false;
}
else
{
var walker = new SyntaxKindWalker();
walker.SafeVisit(Node);
return walker.HasOverflow && !walker.IsUnchecked;
}
}
private sealed class SyntaxKindWalker : SafeCSharpSyntaxWalker
{
public bool IsUnchecked { get; private set; }
public bool HasOverflow { get; private set; }
public override void Visit(SyntaxNode node)
{
if (!IsUnchecked && !HasOverflow)
{
IsUnchecked = node.IsAnyKind(SyntaxKind.UncheckedStatement, SyntaxKind.UncheckedExpression);
HasOverflow = node.IsAnyKind(
SyntaxKind.AddExpression,
SyntaxKind.AddAssignmentExpression,
SyntaxKind.MultiplyExpression,
SyntaxKind.MultiplyAssignmentExpression,
SyntaxKind.SubtractExpression,
SyntaxKind.SubtractAssignmentExpression,
SyntaxKind.PostDecrementExpression,
SyntaxKind.PostIncrementExpression,
SyntaxKind.PreDecrementExpression,
SyntaxKind.PreIncrementExpression);
base.Visit(node);
}
}
}
}