Author: Endre Fülöp
Date: 2020-07-17T14:36:43+02:00
New Revision: fd02a86260b3fb01361175af9600d53354631fb2
URL:
https://github.com/llvm/llvm-project/commit/fd02a86260b3fb01361175af9600d53354631fb2
DIFF:
https://github.com/llvm/llvm-project/commit/fd02a86260b3fb01361175af9600d53354631fb2.diff
L
Author: Endre Fülöp
Date: 2020-06-10T08:59:04+02:00
New Revision: 020815fafd15ddac0f2b5539e7766107d7b25ddc
URL:
https://github.com/llvm/llvm-project/commit/020815fafd15ddac0f2b5539e7766107d7b25ddc
DIFF:
https://github.com/llvm/llvm-project/commit/020815fafd15ddac0f2b5539e7766107d7b25ddc.diff
L
Author: Endre Fülöp
Date: 2020-06-10T10:30:10+02:00
New Revision: c64077949448f70c017939aea9490aee3851321c
URL:
https://github.com/llvm/llvm-project/commit/c64077949448f70c017939aea9490aee3851321c
DIFF:
https://github.com/llvm/llvm-project/commit/c64077949448f70c017939aea9490aee3851321c.diff
L
Author: Endre Fülöp
Date: 2020-06-10T13:43:51+02:00
New Revision: 97e07d0c352ca469eb07a0cb3162c2807ff1099d
URL:
https://github.com/llvm/llvm-project/commit/97e07d0c352ca469eb07a0cb3162c2807ff1099d
DIFF:
https://github.com/llvm/llvm-project/commit/97e07d0c352ca469eb07a0cb3162c2807ff1099d.diff
L
Author: Endre Fülöp
Date: 2020-06-10T17:55:37+02:00
New Revision: 435b458ad0a4630e6126246a6865748104ccad06
URL:
https://github.com/llvm/llvm-project/commit/435b458ad0a4630e6126246a6865748104ccad06
DIFF:
https://github.com/llvm/llvm-project/commit/435b458ad0a4630e6126246a6865748104ccad06.diff
L
Author: Endre Fülöp
Date: 2020-06-11T10:56:59+02:00
New Revision: 5cc18516c4839fccc64b54eaa5aa447a8e1ed8fa
URL:
https://github.com/llvm/llvm-project/commit/5cc18516c4839fccc64b54eaa5aa447a8e1ed8fa
DIFF:
https://github.com/llvm/llvm-project/commit/5cc18516c4839fccc64b54eaa5aa447a8e1ed8fa.diff
L
Author: Endre Fülöp
Date: 2020-07-01T10:08:52+02:00
New Revision: 52f65323660051a5d039d475edfd4a3018682dcb
URL:
https://github.com/llvm/llvm-project/commit/52f65323660051a5d039d475edfd4a3018682dcb
DIFF:
https://github.com/llvm/llvm-project/commit/52f65323660051a5d039d475edfd4a3018682dcb.diff
L
Author: Endre Fülöp
Date: 2020-04-27T11:20:35+02:00
New Revision: 811c0c9eb462d1fef6ab6908aab7881e5c4f5fbf
URL:
https://github.com/llvm/llvm-project/commit/811c0c9eb462d1fef6ab6908aab7881e5c4f5fbf
DIFF:
https://github.com/llvm/llvm-project/commit/811c0c9eb462d1fef6ab6908aab7881e5c4f5fbf.diff
L
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/71912
Thanks to recent improvements in #67663, InvalidPtr checker does not emit any
false positives on the following OS projects: memcached, tmux, curl, twin, vim,
openssl, sqlite, ffmpeg, postgres, tinyxml2, libweb
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/71912
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 approved this pull request.
https://github.com/llvm/llvm-project/pull/74503
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -81,22 +81,21 @@ bool BuiltinFunctionChecker::evalCall(const CallEvent &Call,
case Builtin::BI__builtin_alloca_with_align:
case Builtin::BI__builtin_alloca: {
-// FIXME: Refactor into StoreManager itself?
-MemRegionManager& RM = C.getStoreManager().getRegionMana
https://github.com/gamesh411 approved this pull request.
LGTM, added two remarks inline, but those can be separate patches as well.
https://github.com/llvm/llvm-project/pull/72402
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.ll
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/72402
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -266,13 +266,18 @@ void CheckUseZeroAllocated1(void) {
}
char CheckUseZeroAllocated2(void) {
+ // FIXME: The return value of `alloca()` is modeled with `AllocaRegion`
+ // instead of `SymbolicRegion`, so the current implementation of
+ // `MallocChecker::checkUseZeroAllo
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/71912
From 977e421008c1247d54f4cb67967ed2a353935c03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 10 Nov 2023 10:08:58 +0100
Subject: [PATCH 1/2] [analyzer] Move security.cert.env.Inva
@@ -1009,11 +1002,20 @@ let ParentPackage = ENV in {
"standard), which can lead to false positives depending on "
"implementation.",
"false",
- InAlpha>,
+ Released>,
]>,
Documentation
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/71912
From 977e421008c1247d54f4cb67967ed2a353935c03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 10 Nov 2023 10:08:58 +0100
Subject: [PATCH 1/3] [analyzer] Move security.cert.env.Inva
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/71912
From 80c1f88244b22aaa4badb26384a971d19759b660 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 10 Nov 2023 10:08:58 +0100
Subject: [PATCH 1/3] [analyzer] Move security.cert.env.Inva
gamesh411 wrote:
cleaned up the commiter email, as it was pointing to an old address
https://github.com/llvm/llvm-project/pull/71912
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/68191
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/71912
From 248c94c3b8dd29fa9d98419e53f42454a2225544 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 10 Nov 2023 10:08:58 +0100
Subject: [PATCH 1/3] [analyzer] Move security.cert.env.Inva
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/71912
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
Author: Endre Fülöp
Date: 2022-05-13T09:27:28+02:00
New Revision: 094fb13b88b36ecfa475cb877d2c6e9d90b4d1a5
URL:
https://github.com/llvm/llvm-project/commit/094fb13b88b36ecfa475cb877d2c6e9d90b4d1a5
DIFF:
https://github.com/llvm/llvm-project/commit/094fb13b88b36ecfa475cb877d2c6e9d90b4d1a5.diff
L
@@ -20,48 +20,180 @@
#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/Progra
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/80029
From 346e2296869e750c7ec5bd75cf05f80a23b70569 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 30 Jan 2024 11:33:30 +0100
Subject: [PATCH 1/2] [clang][analyzer] Improve BlockInCriti
@@ -70,73 +202,121 @@ class BlockInCriticalSectionChecker : public
Checker {
} // end anonymous namespace
-REGISTER_TRAIT_WITH_PROGRAMSTATE(MutexCounter, unsigned)
+REGISTER_LIST_WITH_PROGRAMSTATE(ActiveCritSections, CritSectionMarker)
-void BlockInCriticalSectionChecker::
@@ -20,48 +20,180 @@
#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/Progra
@@ -20,48 +20,180 @@
#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/Progra
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/80029
From 346e2296869e750c7ec5bd75cf05f80a23b70569 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 30 Jan 2024 11:33:30 +0100
Subject: [PATCH 1/3] [clang][analyzer] Improve BlockInCriti
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/80029
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/80029
From f7875a7f1ff20f3cf850ce1c23bec6d6c3d88d57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 30 Jan 2024 11:33:30 +0100
Subject: [PATCH 1/2] [clang][analyzer] Add note tags to
al
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/80029
From 346e2296869e750c7ec5bd75cf05f80a23b70569 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 30 Jan 2024 11:33:30 +0100
Subject: [PATCH] [clang][analyzer] Improve BlockInCriticalS
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/80029
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
gamesh411 wrote:
As keeping the trivial change that this PR was before, and thanks to the fact
that the checker needed a major overhaul, I have increased the scope of this
change to support the use cases mentioned by @balazske.
That is why I am re-requesting a review.
https://github.com/llvm/l
gamesh411 wrote:
> > The flag approach can probably make a sense for namespace handling (match
> > the exact specified namespace, or allow a prefix before, or even something
> > in between).
>
> Even in that case, I'd prefer a separate second parameter (that's either
> boolean or a different
https://github.com/gamesh411 approved this pull request.
https://github.com/llvm/llvm-project/pull/83432
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/83432
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -27,20 +27,48 @@ class IdentifierInfo;
namespace clang {
namespace ento {
-
-enum CallDescriptionFlags : unsigned {
- CDF_None = 0,
-
- /// Describes a C standard function that is sometimes implemented as a macro
- /// that expands to a compiler builtin with some __built
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/83432
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/80029
checker
On entering a critical section, a note tag is now placed along the bugpath.
From 54da4f5ff32a0e35777fd77f6a928c65789c22af Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue,
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/80029
From f7875a7f1ff20f3cf850ce1c23bec6d6c3d88d57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 30 Jan 2024 11:33:30 +0100
Subject: [PATCH] [clang][analyzer] Add note tags to
alpha.
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9aea93ddeb70245a07984188aa98577d54e8e560 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 01/12] [analyzer][clangsa] Add new option to
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 65a4bf21e38a925f643c6cca3d3cad4c2910071c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 01/12] [analyzer][clangsa] Add new option to
gamesh411 wrote:
I have rebased on the current main.
https://github.com/llvm/llvm-project/pull/67663
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/67663
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/68191
From a08f51109bd93f88271f0548719c52c75afc96e3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 4 Oct 2023 10:38:00 +0200
Subject: [PATCH 1/3] [analyzer] Extend EnumCastOutOfRange di
gamesh411 wrote:
@Xazax-hun Thanks for the review!
I have modified the tracking a bit, because seeing the other usecases, and also
just thinking through, the *subexpression* of the cast is what we are
interested in upstream in the bugpath.
I have added a very minimal test as well, and rebased.
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/68191
From a08f51109bd93f88271f0548719c52c75afc96e3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 4 Oct 2023 10:38:00 +0200
Subject: [PATCH 1/4] [analyzer] Extend EnumCastOutOfRange di
Author: Endre Fülöp
Date: 2020-11-25T18:05:11+01:00
New Revision: dc96cc33c13e1e38382118c25bf26de480eb2b12
URL:
https://github.com/llvm/llvm-project/commit/dc96cc33c13e1e38382118c25bf26de480eb2b12
DIFF:
https://github.com/llvm/llvm-project/commit/dc96cc33c13e1e38382118c25bf26de480eb2b12.diff
L
Author: Endre Fülöp
Date: 2021-11-28T23:36:47+01:00
New Revision: 4aac00a71db31121d70b140d7367e7f9d9992f66
URL:
https://github.com/llvm/llvm-project/commit/4aac00a71db31121d70b140d7367e7f9d9992f66
DIFF:
https://github.com/llvm/llvm-project/commit/4aac00a71db31121d70b140d7367e7f9d9992f66.diff
L
Author: Endre Fülöp
Date: 2022-06-01T08:15:03+02:00
New Revision: d33f199910fa02cf7072f3227913e670c98d03a9
URL:
https://github.com/llvm/llvm-project/commit/d33f199910fa02cf7072f3227913e670c98d03a9
DIFF:
https://github.com/llvm/llvm-project/commit/d33f199910fa02cf7072f3227913e670c98d03a9.diff
L
Author: Endre Fülöp
Date: 2022-06-01T08:21:16+02:00
New Revision: 1c459a20ea5626264d867aaf65882c9cc6d0bf8a
URL:
https://github.com/llvm/llvm-project/commit/1c459a20ea5626264d867aaf65882c9cc6d0bf8a
DIFF:
https://github.com/llvm/llvm-project/commit/1c459a20ea5626264d867aaf65882c9cc6d0bf8a.diff
L
Author: Endre Fülöp
Date: 2022-06-01T08:23:23+02:00
New Revision: e290fcef111c24ed833c9768809eb900a21c94e0
URL:
https://github.com/llvm/llvm-project/commit/e290fcef111c24ed833c9768809eb900a21c94e0
DIFF:
https://github.com/llvm/llvm-project/commit/e290fcef111c24ed833c9768809eb900a21c94e0.diff
L
gamesh411 wrote:
| OpenSource Project name | New Reports | Reports Lost | Evaluation of reports |
|||||
| memcached_1.6.8 | [New
reports](https://codechecker-demo.eastus.cloudapp.azure.com/Default/reports?run=memcached_1.6.8_baseline&newcheck=memcached_1.6.8_with_
https://github.com/gamesh411 approved this pull request.
https://github.com/llvm/llvm-project/pull/67157
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/67663
**This PR is a continuation of the Phabricator review
https://reviews.llvm.org/D154603 **
The invalidation of pointer pointers returned by subsequent calls to genenv is
suggested by the POSIX standard, but is
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/67663
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 approved this pull request.
LGTM
https://github.com/llvm/llvm-project/pull/67572
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9f7f577c95d7e9fb7e2f929215ff217ca2d7ed53 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 1/8] [analyzer][clangsa] Add new option to
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9f7f577c95d7e9fb7e2f929215ff217ca2d7ed53 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 1/7] [analyzer][clangsa] Add new option to
@@ -2399,13 +2399,34 @@ pointer. These functions include: getenv, localeconv,
asctime, setlocale, strerr
char *p, *pp;
p = getenv("VAR");
-pp = getenv("VAR2");
-// subsequent call to 'getenv' invalidated previous one
+setenv("SOMEVAR", "VALUE", /*overwrite
@@ -2399,13 +2399,34 @@ pointer. These functions include: getenv, localeconv,
asctime, setlocale, strerr
char *p, *pp;
p = getenv("VAR");
-pp = getenv("VAR2");
-// subsequent call to 'getenv' invalidated previous one
+setenv("SOMEVAR", "VALUE", /*overwrite
@@ -25,19 +25,36 @@
using namespace clang;
using namespace ento;
+
namespace {
+
class InvalidPtrChecker
: public Checker {
private:
- BugType BT{this, "Use of invalidated pointer", categories::MemoryError};
+ static const BugType *InvalidPtrBugType;
+ // For accu
@@ -146,16 +188,15 @@ void
InvalidPtrChecker::postPreviousReturnInvalidatingCall(
// Remember to this region.
const auto *SymRegOfRetVal = cast(RetVal.getAsRegion());
- const MemRegion *MR =
- const_cast(SymRegOfRetVal->getBaseRegion());
+ const MemRegion *MR = Sym
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9f7f577c95d7e9fb7e2f929215ff217ca2d7ed53 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 1/8] [analyzer][clangsa] Add new option to
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9f7f577c95d7e9fb7e2f929215ff217ca2d7ed53 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 1/8] [analyzer][clangsa] Add new option to
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9aea93ddeb70245a07984188aa98577d54e8e560 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 1/8] [analyzer][clangsa] Add new option to
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/68191
EnumCastOutOfRange checker now reports the name of the enum in the warning
message. Additionally, a note-tag is placed to highlight the location of the
declaration.
From 6b70c3246747b5a1204062f40f91273f60a386
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/68191
From 6b70c3246747b5a1204062f40f91273f60a38600 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 4 Oct 2023 10:38:00 +0200
Subject: [PATCH 1/2] [analyzer] Extend EnumCastOutOfRange di
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9aea93ddeb70245a07984188aa98577d54e8e560 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 1/9] [analyzer][clangsa] Add new option to
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9aea93ddeb70245a07984188aa98577d54e8e560 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 01/10] [analyzer][clangsa] Add new option to
@@ -94,23 +119,40 @@ REGISTER_MAP_WITH_PROGRAMSTATE(PreviousCallResultMap,
const FunctionDecl *,
void InvalidPtrChecker::EnvpInvalidatingCall(const CallEvent &Call,
CheckerContext &C) const {
StringRef FunctionName = Call.getCalle
@@ -1,15 +1,49 @@
+// Default options.
// RUN: %clang_analyze_cc1 \
// RUN: -analyzer-checker=core,alpha.security.cert.env.InvalidPtr \
// RUN: -verify -Wno-unused %s
+//
+// Test the laxer handling of getenv function (this is the defau
@@ -94,23 +119,40 @@ REGISTER_MAP_WITH_PROGRAMSTATE(PreviousCallResultMap,
const FunctionDecl *,
void InvalidPtrChecker::EnvpInvalidatingCall(const CallEvent &Call,
CheckerContext &C) const {
StringRef FunctionName = Call.getCalle
https://github.com/gamesh411 approved this pull request.
I can confirm the claims about HeapSpaceRegion being used:
https://github.com/llvm/llvm-project/pull/68211
___
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/68211
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/67663
From 9aea93ddeb70245a07984188aa98577d54e8e560 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Fri, 8 Sep 2023 14:20:00 +0200
Subject: [PATCH 01/11] [analyzer][clangsa] Add new option to
@@ -84,33 +104,70 @@ class InvalidPtrChecker
REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *)
// Stores the region of the environment pointer of 'main' (if present).
-REGISTER_TRAIT_WITH_PROGRAMSTATE(EnvPtrRegion, const MemRegion *)
+REGISTER_TRAIT_WITH_
Author: Endre Fülöp
Date: 2023-08-09T15:12:09+02:00
New Revision: 90c1f51c4b3e7a38a5e1b75de75d15757fc861e4
URL:
https://github.com/llvm/llvm-project/commit/90c1f51c4b3e7a38a5e1b75de75d15757fc861e4
DIFF:
https://github.com/llvm/llvm-project/commit/90c1f51c4b3e7a38a5e1b75de75d15757fc861e4.diff
L
gamesh411 wrote:
I checked many false positives, even those that were not FP at first sight; I
think we can live without them.
I also agree that we should strive to handle comparison evaluation more
uniformly and preferably behind the API barrier of the constraint manager.
LGTM
https://github.
https://github.com/gamesh411 approved this pull request.
https://github.com/llvm/llvm-project/pull/81034
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/97034
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
gamesh411 wrote:
I have tried to ensure no information is lost with this change.
I have cross-checked the history of the checker's HTML files with commits that
introduce checkers and have found that we tend to add checkers only to the RST
files and sometimes miss the fact that there is another
@@ -0,0 +1,238 @@
+Command-Line Usage: CodeChecker and scan-build
+===
+
+This document provides guidelines for running Clang Static Analyzer from the
command line on whole projects.
+CodeChecker and scan-build are two CLI tools for usi
@@ -0,0 +1,238 @@
+Command-Line Usage: CodeChecker and scan-build
+===
+
+This document provides guidelines for running Clang Static Analyzer from the
command line on whole projects.
+CodeChecker and scan-build are two CLI tools for usi
@@ -0,0 +1,238 @@
+Command-Line Usage: CodeChecker and scan-build
+===
+
+This document provides guidelines for running Clang Static Analyzer from the
command line on whole projects.
+CodeChecker and scan-build are two CLI tools for usi
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/97032
From b11a113682a1b998395139e5e4736689c0f9be84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 26 Jun 2024 11:09:33 +0200
Subject: [PATCH 1/2] [clang][analyzer][doc] Migrate checker
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/97032
From b11a113682a1b998395139e5e4736689c0f9be84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 26 Jun 2024 11:09:33 +0200
Subject: [PATCH 1/2] [clang][analyzer][doc] Migrate checker
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/97032
From b11a113682a1b998395139e5e4736689c0f9be84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 26 Jun 2024 11:09:33 +0200
Subject: [PATCH 1/2] [clang][analyzer][doc] Migrate checker
@@ -126,7 +126,7 @@ Cocoa & Core Foundation Memory
Management
Annotations
gamesh411 wrote:
I am unsure which one to link to, so I opted for less but not misleading
information with this edit.
https://github.com/llvm/llvm-project/pull/97032
___
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/97032
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -96,11 +96,11 @@ Download
Mac OS X
Latest build (10.8+):
-
+ checker-279.tar.bz2
(built November 14, 2016)
gamesh411 wrote:
@haoNoQ Thanks for the insights!
I'll also create another PR to clean up the index.html and finish the developer
gamesh411 wrote:
* Updated the HTML pages to use the redirect logic in available_checks.html
(instead of deleting them).
* Updated the usages of 'the static analyzer' in the files touched by this
patch.
@steakhal, @NagyDonat, @haoNoQ Thanks for the snappy review!
https://github.com/llvm/llvm-p
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/97034
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/93799
…kInCriticalSection checker
Updated the documentation in `checkers.rst` to include an example of how
`trylock` function is handled.
Added a new test for a scenario where `pthread_mutex_trylock` is used,
demon
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/93799
From 6cc7b93783993e0e7f21124f2d640cb92484faff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 30 May 2024 11:12:59 +0200
Subject: [PATCH] [clang][analyzer][NFC] Add test for a limi
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/93799
From 6cc7b93783993e0e7f21124f2d640cb92484faff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 30 May 2024 11:12:59 +0200
Subject: [PATCH 1/2] [clang][analyzer][NFC] Add test for a
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/93812
- Enhanced descriptions for blocking and critical section functions
- Added an additional code sample highlighting interleaved C and C++
style mutexes
- Introduced a new section on limitations
From 8cb24070e2c
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/93815
After recent improvements, and testing on open source projects, the
checker is ready to move out of the alpha package.
I would like to land #93799 and #93799 first, then this modification.
I have ran this chec
1 - 100 of 168 matches
Mail list logo
