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/3] [clang][analyzer][NFC] Add test for a
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/93799
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
gamesh411 wrote:
> What's the relationship between this PR and #93799 ?
>
> Otherwise, the change LGTM, but you might want to either unify these two NFC
> changes into a single commit or ensure that they're independent.
Thanks for checking this!
To be honest, I started working on this, and the
gamesh411 wrote:
> It's good to document this, the commit LGTM. Are you planning to fix this
> soon?
I have been looking into the
[alpha.unix.PthreadLock](https://clang.llvm.org/docs/analyzer/checkers.html#alpha-unix-pthreadlock-c)
checker. By reusing the logic there
https://github.com/llvm/
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/93812
From 54f117258b936b9448e2fb93dc2307e23629b85d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 28 May 2024 23:13:07 +0200
Subject: [PATCH] [clang][analyzer][NFC] Improve docs of
al
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/93812
___
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/93815
From 895ff8779b11294f132604e40572ebec8b6bc4c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 29 May 2024 00:38:07 +0200
Subject: [PATCH 1/2] [clang][analyzer] Move unix.BlockInCri
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/93812
___
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/93799
___
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/93815
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 ready_for_review
https://github.com/llvm/llvm-project/pull/93815
___
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/93815
___
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/93815
From 429cbcfb14295aaf07997082fed0820b6f79f4f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 30 May 2024 11:28:12 +0200
Subject: [PATCH 1/2] [workflow] Add AI review for PRs
---
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/93815
From 1da3d4dc3c74f1240e7d921c97b0c7eea2a53e33 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 29 May 2024 00:38:07 +0200
Subject: [PATCH] [clang][analyzer] Move unix.BlockInCritica
gamesh411 wrote:
Rebased and squashed noisy small commits.
https://github.com/llvm/llvm-project/pull/93815
___
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/93815
From 1da3d4dc3c74f1240e7d921c97b0c7eea2a53e33 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Wed, 29 May 2024 00:38:07 +0200
Subject: [PATCH 1/2] [clang][analyzer] Move unix.BlockInCri
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/93815
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
gamesh411 wrote:
The warning just ''Type ProgramStatePartialTrait is incomplete", and to
reproduce it here is minimal exmaple:
``
https://github.com/llvm/llvm-project/pull/98150
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://list
gamesh411 wrote:
@steakhal Thanks for the feedback on the intention behind using this trait.
From this perspective, I see merit in being as conservative as possible with
the types we allow in the ProgramState.
> If the issue was that the warning was cryptic, we can continue the discussion
> i
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/90030
In CTU there is not always an AnalysisDeclContext for a given call. This
led to crashes. The AnalysisDeclContext access is now checked.
From de695f8e556e1efd6b2a4e69f916467af94e0c0d Mon Sep 17 00:00:00 2001
Fr
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/98150
N4860 13 [class.derived]/2 mandates that base classes must be complete
types. Before this patch, ProgramStatePartialTrait is a forward
declaration of a class template, thus an incomplete type. Explicit
specializ
https://github.com/gamesh411 approved this pull request.
LGTM, I especially like how InnerPointerChecker was simplified.
https://github.com/llvm/llvm-project/pull/90974
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-
https://github.com/gamesh411 approved this pull request.
Emitting a note to the location where the first part of the detected pattern
(the `setuid(getuid())` call) seems like useful information, but this patch is
great as it is.
You could also add it in another patch if it is not trivial.
http
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/90030
From de695f8e556e1efd6b2a4e69f916467af94e0c0d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 9 Apr 2024 10:44:43 +0200
Subject: [PATCH 1/2] [clang][analyzer] Fix alpha.unix.BlockI
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/90030
From ca7be03d939d3375e9075fc287393d3b5e5a2c84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 9 Apr 2024 10:44:43 +0200
Subject: [PATCH 1/2] [clang][analyzer] Fix alpha.unix.BlockI
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/90030
From af05be993f4789705cde374dbf7efefd9a18f1c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 9 Apr 2024 10:44:43 +0200
Subject: [PATCH] [clang][analyzer] Fix alpha.unix.BlockInCri
gamesh411 wrote:
After reducing a crashing TU, I have found, that the issue came up without CTU
analysis as well.
I have added a test case that demonstrates the crash without the fix.
I also updated the commit message to reflect the real cause.
https://github.com/llvm/llvm-project/pull/90030
__
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/90030
___
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/90030
___
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/90030
From af05be993f4789705cde374dbf7efefd9a18f1c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 9 Apr 2024 10:44:43 +0200
Subject: [PATCH 1/2] [clang][analyzer] Fix alpha.unix.BlockI
Author: Endre Fülöp
Date: 2022-01-18T16:04:04+01:00
New Revision: 17f74240e6c3bb64fe741f12d67903e6b7fc38cb
URL:
https://github.com/llvm/llvm-project/commit/17f74240e6c3bb64fe741f12d67903e6b7fc38cb
DIFF:
https://github.com/llvm/llvm-project/commit/17f74240e6c3bb64fe741f12d67903e6b7fc38cb.diff
L
Author: Endre Fülöp
Date: 2022-02-28T11:33:02+01:00
New Revision: 34a7387986a68835680a8b7bef0ea091d57d28b0
URL:
https://github.com/llvm/llvm-project/commit/34a7387986a68835680a8b7bef0ea091d57d28b0
DIFF:
https://github.com/llvm/llvm-project/commit/34a7387986a68835680a8b7bef0ea091d57d28b0.diff
L
Author: Endre Fülöp
Date: 2022-03-07T13:18:54+01:00
New Revision: 4fd6c6e65ab59f82284d8272aa3bec8d5084511e
URL:
https://github.com/llvm/llvm-project/commit/4fd6c6e65ab59f82284d8272aa3bec8d5084511e
DIFF:
https://github.com/llvm/llvm-project/commit/4fd6c6e65ab59f82284d8272aa3bec8d5084511e.diff
L
Author: Endre Fülöp
Date: 2022-03-07T14:56:04+01:00
New Revision: bfc40b1a1a2c6149e2ebcdc47ffac7d018e2b78d
URL:
https://github.com/llvm/llvm-project/commit/bfc40b1a1a2c6149e2ebcdc47ffac7d018e2b78d
DIFF:
https://github.com/llvm/llvm-project/commit/bfc40b1a1a2c6149e2ebcdc47ffac7d018e2b78d.diff
L
Author: Endre Fülöp
Date: 2021-12-19T13:02:34+01:00
New Revision: e0321eb8615810c4115d46b15b60dc89f23cdbef
URL:
https://github.com/llvm/llvm-project/commit/e0321eb8615810c4115d46b15b60dc89f23cdbef
DIFF:
https://github.com/llvm/llvm-project/commit/e0321eb8615810c4115d46b15b60dc89f23cdbef.diff
L
Author: Endre Fülöp
Date: 2021-12-19T13:03:20+01:00
New Revision: c6a861e644a99a9e0b5a6acf40394127bc125f51
URL:
https://github.com/llvm/llvm-project/commit/c6a861e644a99a9e0b5a6acf40394127bc125f51
DIFF:
https://github.com/llvm/llvm-project/commit/c6a861e644a99a9e0b5a6acf40394127bc125f51.diff
L
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/97032
Documentation for the checkers is kept up to date in RST files.
This patch removes duplication by replacing the HTML docs with links to
docs generated from the RST.
From b11a113682a1b998395139e5e4736689c0f9be84
gamesh411 wrote:
Some parts, especially Apple-related sections, may no longer be relevant in the
docs.
Please share insights into which parts should be corrected or omitted from the
migration process.
The legacy Clang builds (the most recent one uses Clang version 4.0.0) are
still on the clang
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/111381
From 4af2c63e4e65b1a8dd9947afdd09fe18362f5cfe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 3 Oct 2024 18:24:17 +0200
Subject: [PATCH 1/2] [clang][analyzer] Introduce MutexModel
gamesh411 wrote:
This commit is NFC, and the intention is to allow the integration of this
checker into BlockInCriticalSectionChecker and PthreadLockChecker to also be
NFC (or very close to that).
This patch introduces a new data model for the threading-related information in
the static analy
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/111381
___
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/111381
From 4af2c63e4e65b1a8dd9947afdd09fe18362f5cfe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 3 Oct 2024 18:24:17 +0200
Subject: [PATCH] [clang][analyzer] Introduce MutexModeling
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/111381
From 1f0ec8231830bb15199300060b428aa97fb4a35d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 3 Oct 2024 18:24:17 +0200
Subject: [PATCH] Introduce MutexModeling checker
This patc
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/109636
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
gamesh411 wrote:
This patch's primary driving force is reducing code duplication in
BlockInCriticalSectionChecker and PthreadLockChecker.
This is mainly NFC. The user-facing API is the same, but at least one false
positive has been fixed, and the internal state representation has changed.
htt
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/109636
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 ready_for_review
https://github.com/llvm/llvm-project/pull/109636
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
gamesh411 wrote:
> Usually its hard to see how the implementation changes if anyways all the
> surrounding code moves. For such changes, if the change is large (like in
> this case, its a 2k+ diff), it feels better to review the individual commits
> instead of everything all at once. If we do
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/111381
This patch introduces the basic structure for the MutexModeling checker. It
adds the checker definition, creates the MutexModeling.cpp file, supporting
header files, and updates the necessary build files. The
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/112833
Downloads and releases sections are removed, users are advised to use the
conventional ways of acquiring the analyzer.
From 37703dc999b1e6a345bbae490316898080972082 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?En
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/112831
The ClangSA documentation lives in RST format, and the FAQ section of the old
webpage is also migrated from HTML with this change.
From 327a84633d6d2029e11642dac07d63c90f2577d8 Mon Sep 17 00:00:00 2001
From:
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/112831
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -121,10 +80,25 @@ Mac OS X
- Other Platforms
- For other platforms, please follow the instructions for building the analyzer from
- source code.
+The static analyzer is part of Clang. Please refer to the
+https://releases.llvm.org/download.html";>LLVM
+
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/112833
From 0d9d024b234d72d3b8d1b631ad3994741c6801c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 17 Oct 2024 20:21:03 +0200
Subject: [PATCH 1/2] [clang][analyzer][doc] Update Clang S
@@ -69,48 +69,7 @@
Clang Static Analyzer
-The Clang Static Analyzer is a source code analysis tool that finds bugs in
-C, C++, and Objective-C programs.
-
-Currently it can be run either from the command
- line or if you use macOS then within Xcode. When
-invoked from the co
https://github.com/gamesh411 closed
https://github.com/llvm/llvm-project/pull/112833
___
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/112831
From 327a84633d6d2029e11642dac07d63c90f2577d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 17 Oct 2024 19:53:17 +0200
Subject: [PATCH 1/2] [clang][analyzer][doc] Migrate ClangS
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/112831
From ffd347bded0846d72dc487d3310e8b36caa6dd0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Thu, 17 Oct 2024 19:53:17 +0200
Subject: [PATCH 1/2] [clang][analyzer][doc] Migrate ClangS
@@ -294,6 +294,16 @@ ANALYZER_OPTION(
bool, ShouldUnrollLoops, "unroll-loops",
"Whether the analysis should try to unroll loops with known bounds.",
false)
+ANALYZER_OPTION(
+bool, ShouldAssumeOneIteration, "assume-one-iteration",
+"Whether the analyzer should
https://github.com/gamesh411 commented:
IMO. This enables a heuristic that is closer to real-world code usage, and
having this option is valuable. I left one comment inline.
https://github.com/llvm/llvm-project/pull/125494
___
cfe-commits mailing list
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/125494
___
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/125494
___
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/125494
___
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/125494
___
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. An interesting thing could be to track in the analyzer the number of
suppressed underflows (i.e.: the number of times we resorted to hacking with
this solution). That way, we could have more information about how far we
deviate fro
@@ -588,20 +603,48 @@ void ArrayBoundChecker::performCheck(const Expr *E,
CheckerContext &C) const {
State, ByteOffset, SVB.makeZeroArrayIndex(), SVB);
if (PrecedesLowerBound) {
- // The offset may be invalid (negative)...
- if (!WithinLowerBound) {
-
https://github.com/gamesh411 edited
https://github.com/llvm/llvm-project/pull/127117
___
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.
This is a nice cleanup change. I have checked the test cases and the reasoning
behind the removals.
It is also welcome that these reasons are documented, at least in the PR.
@NagyDonat What do you think about making these reasoning snippe
101 - 168 of 168 matches
Mail list logo
