=?utf-8?q?Donát?= Nagy ,
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
@@ -174,9 +176,119 @@ compareValueToThreshold(ProgramStateRef State, NonLoc
Value, NonLoc Threshold,
return {nullptr, nullptr};
}
-void ArrayBoundCheckerV2::checkLocation(SVal location, bool
=?utf-8?q?Donát?= Nagy ,
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
@@ -174,9 +176,119 @@ compareValueToThreshold(ProgramStateRef State, NonLoc
Value, NonLoc Threshold,
return {nullptr, nullptr};
}
-void ArrayBoundCheckerV2::checkLocation(SVal location, bool
=?utf-8?q?Donát?= Nagy ,
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
@@ -174,9 +176,119 @@ compareValueToThreshold(ProgramStateRef State, NonLoc
Value, NonLoc Threshold,
return {nullptr, nullptr};
}
-void ArrayBoundCheckerV2::checkLocation(SVal location, bool
=?utf-8?q?Donát?= Nagy ,
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
https://github.com/DonatNagyE updated
https://github.com/llvm/llvm-project/pull/70056
>From 77143e74edda6177248bebdf0424db915aa68a05 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Don=C3=A1t=20Nagy?=
Date: Mon, 2 Oct 2023
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
@@ -174,9 +176,119 @@ compareValueToThreshold(ProgramStateRef State, NonLoc
Value, NonLoc Threshold,
return {nullptr, nullptr};
}
-void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
-
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
@@ -174,9 +176,119 @@ compareValueToThreshold(ProgramStateRef State, NonLoc
Value, NonLoc Threshold,
return {nullptr, nullptr};
}
-void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
-
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
https://github.com/steakhal requested changes to this pull request.
Looks good. I only have minor remarks.
Consider renaming the PR `Improve reports` -> `Improve messages`, or
`diagnostics`, to highlight that the "messages" aspect is improved,
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
@@ -174,9 +176,119 @@ compareValueToThreshold(ProgramStateRef State, NonLoc
Value, NonLoc Threshold,
return {nullptr, nullptr};
}
-void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
-
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
@@ -174,9 +176,119 @@ compareValueToThreshold(ProgramStateRef State, NonLoc
Value, NonLoc Threshold,
return {nullptr, nullptr};
}
-void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
-
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
https://github.com/steakhal edited
https://github.com/llvm/llvm-project/pull/70056
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
DonatNagyE wrote:
Note that this PR introduces a `PathSensitiveBugReport` where the `Description`
and `ShortDescription` fields (inherited from `BugReport`) are different
(because I'm using the four-argument constructor). These fields are
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
DonatNagyE wrote:
I renamed some variables because (1) they weren't CamelCased because they were
"inherited" from the old versions of this checker and (2) their names were
slightly too long and they introduced extra linebreaks in the newly
=?utf-8?q?Donát?= Nagy
Message-ID:
In-Reply-To:
https://github.com/DonatNagyE updated
https://github.com/llvm/llvm-project/pull/70056
>From 77143e74edda6177248bebdf0424db915aa68a05 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Don=C3=A1t=20Nagy?=
Date: Mon, 2 Oct 2023 13:32:31 +0200
Subject:
github-actions[bot] wrote:
:warning: C/C++ code formatter, clang-format found issues in your code.
:warning:
You can test this locally with the following command:
``bash
git-clang-format --diff 6e3e21d2032216b5d01b47a0442638225e66dc1b
77143e74edda6177248bebdf0424db915aa68a05 --
llvmbot wrote:
@llvm/pr-subscribers-clang
Author: None (DonatNagyE)
Changes
Previously alpha.security.ArrayBoundV2 produced very spartan bug reports; this
commit ensures that the relevant (and known) details are reported to the user.
The logic for detecting bugs is not changed, after
https://github.com/DonatNagyE created
https://github.com/llvm/llvm-project/pull/70056
Previously alpha.security.ArrayBoundV2 produced very spartan bug reports; this
commit ensures that the relevant (and known) details are reported to the user.
The logic for detecting bugs is not changed,
16 matches
Mail list logo
