[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/76446 This PR prepares the release notes of the Clang Static Analyzer for the llvm-18 release branch, due in about a week. See the regular [release schedule](https://llvm.org/docs/HowToReleaseLLVM.html#annual-release

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/76446 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

steakhal wrote: The `docs-clang-html` build target produces the following html document at `tools/clang/docs/html/ReleaseNotes.html#static-analyzer`, without any warnings:  https://github.com/llvm/

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

@@ -1072,16 +1146,36 @@ Static Analyzer Read the PR for the details. (`#66086 `_) +- Other taint-related improvements. + (`#66358 `_, + `#66074

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/76446 >From a4a8704644067a7cf81bee601e4898bbc6b9d289 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 27 Dec 2023 14:13:08 +0100 Subject: [PATCH 1/4] [analyzer][docs] Update the release notes for llvm-18 ---

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

@@ -1052,18 +1052,92 @@ libclang Static Analyzer --- +- Implemented the ``[[clang::suppress]]`` attribute for suppressing diagnostics + of static analysis tools, such as the Clang Static Analyzer. + `Documentation

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

steakhal wrote:  https://github.com/llvm/llvm-project/pull/76446 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/m

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

steakhal wrote: @spaits Could you craft some docs for the experimental std::variant checker? https://github.com/llvm/llvm-project/pull/76446 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-com

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/76446 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/76446 >From a4a8704644067a7cf81bee601e4898bbc6b9d289 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 27 Dec 2023 14:13:08 +0100 Subject: [PATCH 1/5] [analyzer][docs] Update the release notes for llvm-18 ---

[clang] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

steakhal wrote: I've decided to fix the checker docs for the `security.insecureAPI.DeprecatedOrUnsafeBufferHandling`. It turned out to be an easy one as the only missing function was `fprintf`, so it was already well in sync. I bundled that single word change with this PR for simplicity. http

[openmp] [libc] [clang] [mlir] [llvm] [compiler-rt] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/76446 >From a4a8704644067a7cf81bee601e4898bbc6b9d289 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 27 Dec 2023 14:13:08 +0100 Subject: [PATCH 1/9] [analyzer][docs] Update the release notes for llvm-18 ---

[openmp] [libc] [clang] [mlir] [llvm] [compiler-rt] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

steakhal wrote: Introduced subsub-sections and ordered them and their content by expected relevance. The rule of thumb was: - released stuff comes first, then alpha. etc. Also, checkers are always fully named, and named by their user-facing names. Now the html looks like this: ![image](htt

[libc] [mlir] [llvm] [clang] [compiler-rt] [openmp] [analyzer][docs] Update the release notes for llvm-18 (PR #76446)

https://github.com/steakhal closed https://github.com/llvm/llvm-project/pull/76446 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer][solver] On SymSym RelOps, check EQClass members for contradictions (PR #71284)

steakhal wrote: Any objections for landing this PR? Or should we postpone this for llvm-19? https://github.com/llvm/llvm-project/pull/71284 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-comm

[clang] d1856b2 - [analyzer][NFC] Prefer CallEvent over CallExpr in APIs

Author: Balazs Benics Date: 2023-12-28T15:55:33+01:00 New Revision: d1856b2f18c412f8ffbeee30e6e0316c197c143c URL: https://github.com/llvm/llvm-project/commit/d1856b2f18c412f8ffbeee30e6e0316c197c143c DIFF: https://github.com/llvm/llvm-project/commit/d1856b2f18c412f8ffbeee30e6e0316c197c143c.diff

[clang] a49cf6c - [analyzer] Fix "sprintf" parameter modeling in CStringChecker

Author: Balazs Benics Date: 2023-12-28T16:06:21+01:00 New Revision: a49cf6c14ad498244fee6026da59cfdcdad6b80c URL: https://github.com/llvm/llvm-project/commit/a49cf6c14ad498244fee6026da59cfdcdad6b80c DIFF: https://github.com/llvm/llvm-project/commit/a49cf6c14ad498244fee6026da59cfdcdad6b80c.diff

[clang] [analyzer] Fix "sprintf" parameter modeling in CStringChecker (PR #74345)

@@ -1,13 +1,15 @@ -// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s - -// expected-no-diagnostics +// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix,debug.ExprInspection -verify %s // Test functions that are called "memcpy" but aren't the memcpy // we're

[clang] [analyzer] Fix "sprintf" parameter modeling in CStringChecker (PR #74345)

https://github.com/steakhal closed https://github.com/llvm/llvm-project/pull/74345 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Fix "sprintf" parameter modeling in CStringChecker (PR #74345)

steakhal wrote: Manually merged as: - d1856b2f18c412f8ffbeee30e6e0316c197c143c - a49cf6c14ad498244fee6026da59cfdcdad6b80c https://github.com/llvm/llvm-project/pull/74345 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/c

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

https://github.com/steakhal commented: Please also update the release notes with a link as documentation. Follow the existing patterns there. https://github.com/llvm/llvm-project/pull/76501 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/76501 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

@@ -2097,6 +2097,21 @@ This checker is a part of ``core.StackAddressEscape``, but is temporarily disabl .. _alpha-core-TestAfterDivZero: +alpha.core.StdVariant (C++) +""" +Check if a value of active type is retrieved from an ``std::variant`` instance

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

https://github.com/steakhal requested changes to this pull request. https://github.com/llvm/llvm-project/pull/76501 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

@@ -2097,6 +2097,18 @@ This checker is a part of ``core.StackAddressEscape``, but is temporarily disabl .. _alpha-core-TestAfterDivZero: +alpha.core.StdVariant (C++) +""" +Check if the active value accessed in an ``std::variant`` instance. +.. code-bl

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

@@ -2097,6 +2097,21 @@ This checker is a part of ``core.StackAddressEscape``, but is temporarily disabl .. _alpha-core-TestAfterDivZero: +alpha.core.StdVariant (C++) +""" +Check if a value of active type is retrieved from an ``std::variant`` instance

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

@@ -2097,6 +2097,21 @@ This checker is a part of ``core.StackAddressEscape``, but is temporarily disabl .. _alpha-core-TestAfterDivZero: +alpha.core.StdVariant (C++) +""" +Check if a value of active type is retrieved from an ``std::variant`` instance

[clang] [analyzer][solver] On SymSym RelOps, check EQClass members for contradictions (PR #71284)

steakhal wrote: > I'm not opposed to landing this PR in llvm-18 (we have it, and it improves > the user experience), but I wouldn't like to have it in llvm-19 and later. To clarify my intentions, I wanted to land this as it resolves user complaints (as fixing an open issue), at a likely reason

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

=?utf-8?q?G=C3=A1bor?= Spaits,=?utf-8?q?G=C3=A1bor?= Spaits, =?utf-8?q?G=C3=A1bor?= Spaits Message-ID: In-Reply-To: steakhal wrote: let me check it again https://github.com/llvm/llvm-project/pull/76501 ___ cfe-commits mailing list cfe-commits@lists.l

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

=?utf-8?q?Gábor?= Spaits,=?utf-8?q?Gábor?= Spaits, =?utf-8?q?Gábor?= Spaits,Balazs Benics Message-ID: In-Reply-To: https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/76501 >From b271420a6e4ed23abf2749d767f986aa16d9fe9d Mon Sep 17 00:00:00 2001 From: Gabor Spaits Da

[clang] [analyzer] Add documentation for std::variant checker (PR #76501)

=?utf-8?q?G=C3=A1bor?= Spaits,=?utf-8?q?G=C3=A1bor?= Spaits, =?utf-8?q?G=C3=A1bor?= Spaits,Balazs Benics Message-ID: In-Reply-To: https://github.com/steakhal approved this pull request. LGTM now. Thanks. https://github.com/llvm/llvm-project/pull/76501 _

[clang] [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (PR #76557)

steakhal wrote: please also update the release notes https://github.com/llvm/llvm-project/pull/76557 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (PR #76557)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/76557 >From 2eebb462b8a7865684d3baaffbad7560eed10e57 Mon Sep 17 00:00:00 2001 From: Ben Shi Date: Fri, 29 Dec 2023 16:44:47 +0800 Subject: [PATCH 1/2] [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChec

[clang] [llvm] [clang-tools-extra] [analyzer] Trust base to derived casts for dynamic types (PR #69057)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/69057 >From 8ed4effd114ebd83d4ceaa37655ffd9b7105b28e Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Sat, 14 Oct 2023 15:51:42 +0200 Subject: [PATCH 1/5] [analyzer] Trust base to derived casts for dynamic types Wh

[clang] [llvm] [clang-tools-extra] [analyzer] Trust base to derived casts for dynamic types (PR #69057)

steakhal wrote: > Thanks for the replies. I'll come back to this PR once I have some time; > maybe during the holidays. Both assertions directly relate to this PR for > sure. I think I've just fixed the reported crash for this PR. For some reason a `CastExpr` does not have a reference type (`

[clang] [llvm] [clang-tools-extra] [analyzer] Trust base to derived casts for dynamic types (PR #69057)

@@ -492,11 +492,13 @@ void check_required_cast() { void check_cast_behavior(OSObject *obj) { OSArray *arr1 = OSDynamicCast(OSArray, obj); - clang_analyzer_eval(arr1 == obj); // expected-warning{{TRUE}} -// expected-note@-1{{TRUE}} -

[clang-tools-extra] [llvm] [clang] [analyzer] Trust base to derived casts for dynamic types (PR #69057)

steakhal wrote: To illustrate the case of my previous argument, here are two examples: https://godbolt.org/z/5vWadfPM9 ```c++ // base.h BEGIN: class Base { public: virtual int fun() const = 0; }; class Derived1 final : public Base { public: int fun() const override { return 1; } }; // base.h

[clang] [clang][analyzer] Support 'fflush' in the StdLibraryFunctionsChecker (PR #76557)

https://github.com/steakhal approved this pull request. LGTM https://github.com/llvm/llvm-project/pull/76557 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add std::any checker (PR #76580)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/76580 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add std::any checker (PR #76580)

https://github.com/steakhal requested changes to this pull request. First batch of review. https://github.com/llvm/llvm-project/pull/76580 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commi

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/76580 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,201 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer] Add std::any checker (PR #76580)

@@ -0,0 +1,200 @@ +//===- StdAnyChecker.cpp -*- C++ -*===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/76655 Cleanup most of the lazy-init `BugType` legacy. Some will be preserved, as those are slightly more complicated to refactor. Notice, that the default category for `BugType` is `LogicError`. I omitted setting thi

[clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/76655 >From 0362ae2c888edc749711209174f592c5c311db76 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Sun, 31 Dec 2023 11:33:15 +0100 Subject: [PATCH 1/2] [analyzer][NFC] Cleanup BugType lazy-init patterns Cleanup

[clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

@@ -31,14 +31,14 @@ class InvalidatedIteratorChecker check::PreStmt, check::PreStmt> { - std::unique_ptr InvalidatedBugType; + const BugType InvalidatedBugType{this, "Iterator invalidated", + "Misuse of

[clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

@@ -17,19 +17,18 @@ #include "MPITypes.h" #include "clang/StaticAnalyzer/Core/BugReporter/BugType.h" +#include "llvm/ADT/StringRef.h" namespace clang { namespace ento { namespace mpi { class MPIBugReporter { public: - MPIBugReporter(const CheckerBase &CB) { -Unma

[flang] [lld] [mlir] [llvm] [libcxx] [clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

@@ -52,10 +52,13 @@ class SimpleStreamChecker : public Checker { - CallDescription OpenFn, CloseFn; + const CallDescription OpenFn{{"fopen"}, 2}; + const CallDescription CloseFn{{"fclose"}, 1}; steakhal wrote: Well, it seems like `StringRef` is not constexpr f

[flang] [lld] [mlir] [llvm] [libcxx] [clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/76655 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[flang] [lld] [mlir] [llvm] [libcxx] [clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

@@ -52,10 +52,13 @@ class SimpleStreamChecker : public Checker { - CallDescription OpenFn, CloseFn; + const CallDescription OpenFn{{"fopen"}, 2}; + const CallDescription CloseFn{{"fclose"}, 1}; steakhal wrote: Here is why we can't have CallDescriptions constex

[flang] [lld] [mlir] [llvm] [libcxx] [clang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

https://github.com/steakhal closed https://github.com/llvm/llvm-project/pull/76655 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer][NFC] Take small objects by value (PR #76688)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/76688 None >From 70c03932cad401f477674881050a8f0c4b573cdb Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Mon, 1 Jan 2024 18:59:46 +0100 Subject: [PATCH 1/2] [analyzer][NFC] Take StringRef by value --- .../Check

[lld] [llvm] [clang] [mlir] [libcxx] [flang] [analyzer][NFC] Cleanup BugType lazy-init patterns (PR #76655)

@@ -31,14 +31,14 @@ class InvalidatedIteratorChecker check::PreStmt, check::PreStmt> { - std::unique_ptr InvalidatedBugType; + const BugType InvalidatedBugType{this, "Iterator invalidated", + "Misuse of

[clang] [clang][analyzer] Improve 'errno' modeling of 'mkdtemp' (PR #76671)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/76671 >From 0c586914ac977920140472d172ee357dea43f2c5 Mon Sep 17 00:00:00 2001 From: Ben Shi Date: Mon, 1 Jan 2024 18:48:27 +0800 Subject: [PATCH 1/2] [clang][analyzer] Improve 'errno' modeling of 'mkdtemp' --- .../C

[clang] [clang][analyzer] Improve 'errno' modeling of 'mkdtemp' (PR #76671)

https://github.com/steakhal approved this pull request. LGTM https://github.com/llvm/llvm-project/pull/76671 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] 7619050 - [analyzer][NFC] Take StringRef by value

Author: Balazs Benics Date: 2024-01-01T22:00:32+01:00 New Revision: 7619050cd7c3715f34c1d13ea048c092299037bb URL: https://github.com/llvm/llvm-project/commit/7619050cd7c3715f34c1d13ea048c092299037bb DIFF: https://github.com/llvm/llvm-project/commit/7619050cd7c3715f34c1d13ea048c092299037bb.diff

[clang] 8ee3dfd - [analyzer][NFC] Take SVal and NonLoc by value

Author: Balazs Benics Date: 2024-01-01T22:00:32+01:00 New Revision: 8ee3dfd74653e30f48dd9f49ba24f43547e6a549 URL: https://github.com/llvm/llvm-project/commit/8ee3dfd74653e30f48dd9f49ba24f43547e6a549 DIFF: https://github.com/llvm/llvm-project/commit/8ee3dfd74653e30f48dd9f49ba24f43547e6a549.diff

[clang] [analyzer][NFC] Take small objects by value (PR #76688)

steakhal wrote: Pushed as 7619050cd7c3715f34c1d13ea048c092299037bb and 8ee3dfd74653e30f48dd9f49ba24f43547e6a549 respectively. https://github.com/llvm/llvm-project/pull/76688 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.or

[clang] [analyzer][NFC] Take small objects by value (PR #76688)

https://github.com/steakhal closed https://github.com/llvm/llvm-project/pull/76688 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] Improve 'errno' modeling of 'mkdtemp' (PR #76671)

steakhal wrote: No release notes? https://github.com/llvm/llvm-project/pull/76671 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer][NFC] Improve release note (PR #76805)

https://github.com/steakhal approved this pull request. https://github.com/llvm/llvm-project/pull/76805 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] Support 'fdopen' in the StreamChecker (PR #76776)

https://github.com/steakhal approved this pull request. https://github.com/llvm/llvm-project/pull/76776 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-format] Add .clang-format-ignore for ignoring files (PR #76327)

steakhal wrote: FYI commit 09308122c6c0fa9eb3d729a2b2909733cbbc2160 added [a test](https://github.com/llvm/llvm-project/commit/09308122c6c0fa9eb3d729a2b2909733cbbc2160#diff-acfc8d9d85320dbf5e181b8aebb248a91b1d321c8798bae3663b44b0c08213db) that does not pass on Windows (MSVC). An example failur

[clang] [clang][analyzer] Add missing stream related functions to StdCLibraryFunctionsChecker. (PR #76979)

=?utf-8?q?Bal=C3=A1zs_K=C3=A9ri?= Message-ID: In-Reply-To: steakhal wrote: Why do we need to keep these two checkers in-sync? https://github.com/llvm/llvm-project/pull/76979 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.

[clang] a80418e - [analyzer] Improve loads from reinterpret-cast fields

Author: Balazs Benics Date: 2022-07-26T12:31:21+02:00 New Revision: a80418eec001d91f9573456b31704a350e421560 URL: https://github.com/llvm/llvm-project/commit/a80418eec001d91f9573456b31704a350e421560 DIFF: https://github.com/llvm/llvm-project/commit/a80418eec001d91f9573456b31704a350e421560.diff

[clang] ba198e3 - [NFC] Fix some C++20 warnings

Author: Evgeny Mandrikov Date: 2022-07-26T14:04:12+02:00 New Revision: ba198e35fd380350ff7bf5b47d8cf5fa9a43d3e6 URL: https://github.com/llvm/llvm-project/commit/ba198e35fd380350ff7bf5b47d8cf5fa9a43d3e6 DIFF: https://github.com/llvm/llvm-project/commit/ba198e35fd380350ff7bf5b47d8cf5fa9a43d3e6.di

[clang-tools-extra] 200e7a8 - [clang-tidy][docs][NFC] Refer to the CERT rule in bugprone-shared-ptr-array-mismatch docs

Author: Balazs Benics Date: 2022-03-13T17:51:00+01:00 New Revision: 200e7a84701257afe80fd0b168fef78cf29aa523 URL: https://github.com/llvm/llvm-project/commit/200e7a84701257afe80fd0b168fef78cf29aa523 DIFF: https://github.com/llvm/llvm-project/commit/200e7a84701257afe80fd0b168fef78cf29aa523.diff

[clang-tools-extra] d321f09 - [clang-tidy][docs][NFC] Update URL and docs of PostfixOperatorCheck

Author: Balazs Benics Date: 2022-03-13T17:51:00+01:00 New Revision: d321f0992684b0dad255fe2d9bb14523a685c5c4 URL: https://github.com/llvm/llvm-project/commit/d321f0992684b0dad255fe2d9bb14523a685c5c4 DIFF: https://github.com/llvm/llvm-project/commit/d321f0992684b0dad255fe2d9bb14523a685c5c4.diff

[clang-tools-extra] 665879b - [clang-tidy][docs] Fix wrong url in DontModifyStdNamespaceCheck

Author: Balazs Benics Date: 2022-03-13T17:51:00+01:00 New Revision: 665879b9e7d1bc1b3a329b152d27225d7c975ca3 URL: https://github.com/llvm/llvm-project/commit/665879b9e7d1bc1b3a329b152d27225d7c975ca3 DIFF: https://github.com/llvm/llvm-project/commit/665879b9e7d1bc1b3a329b152d27225d7c975ca3.diff

[clang] b7c9888 - [analyzer][NFC] Introduce the checker package separator character

Author: Balazs Benics Date: 2022-04-19T12:14:27+02:00 New Revision: b7c988811d50f0f068a375292fb5f2b6df384400 URL: https://github.com/llvm/llvm-project/commit/b7c988811d50f0f068a375292fb5f2b6df384400 DIFF: https://github.com/llvm/llvm-project/commit/b7c988811d50f0f068a375292fb5f2b6df384400.diff

[clang] 63c4ca9 - [analyzer] Turn missing tablegen doc entry of a checker into fatal error

Author: Balazs Benics Date: 2022-04-19T12:14:27+02:00 New Revision: 63c4ca9d14bad909f92ef019ec85f7a1c42311f2 URL: https://github.com/llvm/llvm-project/commit/63c4ca9d14bad909f92ef019ec85f7a1c42311f2 DIFF: https://github.com/llvm/llvm-project/commit/63c4ca9d14bad909f92ef019ec85f7a1c42311f2.diff

[clang] 744e2a3 - [analyzer] ClangSA should tablegen doc urls refering to the main doc page

Author: Balazs Benics Date: 2022-04-19T12:14:27+02:00 New Revision: 744e2a3e2232db87cb68b201739956ca205dc946 URL: https://github.com/llvm/llvm-project/commit/744e2a3e2232db87cb68b201739956ca205dc946 DIFF: https://github.com/llvm/llvm-project/commit/744e2a3e2232db87cb68b201739956ca205dc946.diff

[clang] 7984189 - [analyzer] Remove HasAlphaDocumentation tablegen enum value

Author: Balazs Benics Date: 2022-04-19T12:14:27+02:00 New Revision: 798418982630b5e3acdfc7ba398993aef2071f32 URL: https://github.com/llvm/llvm-project/commit/798418982630b5e3acdfc7ba398993aef2071f32 DIFF: https://github.com/llvm/llvm-project/commit/798418982630b5e3acdfc7ba398993aef2071f32.diff

[clang] 82f3ed9 - [analyzer] Expose Taint.h to plugins

Author: Tom Ritter Date: 2022-04-19T16:55:01+02:00 New Revision: 82f3ed99045de9a2f06981621a485c5a47546270 URL: https://github.com/llvm/llvm-project/commit/82f3ed99045de9a2f06981621a485c5a47546270 DIFF: https://github.com/llvm/llvm-project/commit/82f3ed99045de9a2f06981621a485c5a47546270.diff LO

[clang] 841817b - [analyzer] Prevent misuses of -analyze-function

Author: Balazs Benics Date: 2022-02-08T17:27:57+01:00 New Revision: 841817b1ed26c1fbb709957d54c0e2751624fbf8 URL: https://github.com/llvm/llvm-project/commit/841817b1ed26c1fbb709957d54c0e2751624fbf8 DIFF: https://github.com/llvm/llvm-project/commit/841817b1ed26c1fbb709957d54c0e2751624fbf8.diff

[clang] 620d99b - Revert "[analyzer] Prevent misuses of -analyze-function"

Author: Balazs Benics Date: 2022-02-08T17:42:46+01:00 New Revision: 620d99b7edc64ee87b1ce209f179305e6a919006 URL: https://github.com/llvm/llvm-project/commit/620d99b7edc64ee87b1ce209f179305e6a919006 DIFF: https://github.com/llvm/llvm-project/commit/620d99b7edc64ee87b1ce209f179305e6a919006.diff

[clang] 5e0be95 - [analyzer][docs][NFC] Fix some broken links and some cosmetic changes

Author: Balazs Benics Date: 2022-02-09T10:22:28+01:00 New Revision: 5e0be95fce2640bda83dd02c1dc85d3e0836fa1a URL: https://github.com/llvm/llvm-project/commit/5e0be95fce2640bda83dd02c1dc85d3e0836fa1a DIFF: https://github.com/llvm/llvm-project/commit/5e0be95fce2640bda83dd02c1dc85d3e0836fa1a.diff

[clang] abc8736 - [analyzer] Restrict CallDescription fuzzy builtin matching

Author: Balazs Benics Date: 2022-02-11T10:45:18+01:00 New Revision: abc873694ff7cde3def6860564521e059cb542f8 URL: https://github.com/llvm/llvm-project/commit/abc873694ff7cde3def6860564521e059cb542f8 DIFF: https://github.com/llvm/llvm-project/commit/abc873694ff7cde3def6860564521e059cb542f8.diff

[clang] 744745a - [analyzer] Add failing test case demonstrating buggy taint propagation

Author: Balazs Benics Date: 2022-02-14T16:55:55+01:00 New Revision: 744745ae195f0997e5bfd5aa2de47b9ea156b6a6 URL: https://github.com/llvm/llvm-project/commit/744745ae195f0997e5bfd5aa2de47b9ea156b6a6 DIFF: https://github.com/llvm/llvm-project/commit/744745ae195f0997e5bfd5aa2de47b9ea156b6a6.diff

[clang] b099e1e - [analyzer] Fix taint propagation by remembering to the location context

Author: Balazs Benics Date: 2022-02-14T16:55:55+01:00 New Revision: b099e1e562555fbc67e2e0abbc15074e14a85ff1 URL: https://github.com/llvm/llvm-project/commit/b099e1e562555fbc67e2e0abbc15074e14a85ff1 DIFF: https://github.com/llvm/llvm-project/commit/b099e1e562555fbc67e2e0abbc15074e14a85ff1.diff

[clang] bf5963b - [analyzer] Fix taint rule of fgets and setproctitle_init

Author: Balazs Benics Date: 2022-02-14T16:55:55+01:00 New Revision: bf5963bf19670ea58facdf57492e147c13bb650f URL: https://github.com/llvm/llvm-project/commit/bf5963bf19670ea58facdf57492e147c13bb650f DIFF: https://github.com/llvm/llvm-project/commit/bf5963bf19670ea58facdf57492e147c13bb650f.diff

[clang] 2acead3 - Revert "[analyzer] Fix taint rule of fgets and setproctitle_init"

Author: Balazs Benics Date: 2022-02-14T18:45:46+01:00 New Revision: 2acead35c1289d2b3593a992b0639ca6427e481f URL: https://github.com/llvm/llvm-project/commit/2acead35c1289d2b3593a992b0639ca6427e481f DIFF: https://github.com/llvm/llvm-project/commit/2acead35c1289d2b3593a992b0639ca6427e481f.diff

[clang] d16c5f4 - Revert "[analyzer] Fix taint propagation by remembering to the location context"

Author: Balazs Benics Date: 2022-02-14T18:45:46+01:00 New Revision: d16c5f4192c30d53468a472c6820163a81192825 URL: https://github.com/llvm/llvm-project/commit/d16c5f4192c30d53468a472c6820163a81192825 DIFF: https://github.com/llvm/llvm-project/commit/d16c5f4192c30d53468a472c6820163a81192825.diff

[clang] b8ae323 - Revert "[analyzer] Add failing test case demonstrating buggy taint propagation"

Author: Balazs Benics Date: 2022-02-14T18:45:46+01:00 New Revision: b8ae323cca61dc1edcd36e9ae18c7e4c3d76d52e URL: https://github.com/llvm/llvm-project/commit/b8ae323cca61dc1edcd36e9ae18c7e4c3d76d52e DIFF: https://github.com/llvm/llvm-project/commit/b8ae323cca61dc1edcd36e9ae18c7e4c3d76d52e.diff

[clang] b3c0014 - Revert "Revert "[analyzer] Prevent misuses of -analyze-function""

Author: Balazs Benics Date: 2022-02-16T10:33:21+01:00 New Revision: b3c0014e5a7530645f502d8b19ef1df313cc85b9 URL: https://github.com/llvm/llvm-project/commit/b3c0014e5a7530645f502d8b19ef1df313cc85b9 DIFF: https://github.com/llvm/llvm-project/commit/b3c0014e5a7530645f502d8b19ef1df313cc85b9.diff

[clang] 4642c64 - [analyzer] Remove breaking RUN line in the test case

Author: Balazs Benics Date: 2022-02-16T10:56:18+01:00 New Revision: 4642c640f4ef76b7e98420c98b7391f069293838 URL: https://github.com/llvm/llvm-project/commit/4642c640f4ef76b7e98420c98b7391f069293838 DIFF: https://github.com/llvm/llvm-project/commit/4642c640f4ef76b7e98420c98b7391f069293838.diff

[clang] be744da - [analyzer] Fix ValistChecker false-positive involving symbolic pointers

Author: Balazs Benics Date: 2022-04-26T08:49:05+02:00 New Revision: be744da01f9da0675ba5a3958c03bcd1fdc8ad60 URL: https://github.com/llvm/llvm-project/commit/be744da01f9da0675ba5a3958c03bcd1fdc8ad60 DIFF: https://github.com/llvm/llvm-project/commit/be744da01f9da0675ba5a3958c03bcd1fdc8ad60.diff

[clang] 5a2e595 - [analyzer] Fix Static Analyzer g_memdup false-positive

Author: Balazs Benics Date: 2022-05-02T10:35:51+02:00 New Revision: 5a2e595eb8337e6e36da8ec2289b5c4097522f5b URL: https://github.com/llvm/llvm-project/commit/5a2e595eb8337e6e36da8ec2289b5c4097522f5b DIFF: https://github.com/llvm/llvm-project/commit/5a2e595eb8337e6e36da8ec2289b5c4097522f5b.diff

[clang] 464c983 - [analyzer][docs] Document alpha.security.cert.pos.34c limitations

Author: Balazs Benics Date: 2022-05-02T10:37:23+02:00 New Revision: 464c9833df8049793232bccb10fea84098499e4a URL: https://github.com/llvm/llvm-project/commit/464c9833df8049793232bccb10fea84098499e4a DIFF: https://github.com/llvm/llvm-project/commit/464c9833df8049793232bccb10fea84098499e4a.diff

<    1   2   3   4   5   6   7   8   9   10   >