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
https://github.com/Xazax-hun approved this pull request.
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 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
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 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
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
@@ -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/2] [analyzer] Move security.cert.env.Inva
whisperity wrote:
Why is the `clang:dataflow` label on this patch? I don't see where dataflow is
used. Or is it used plain internally inside the otherwise unmodified checker?
https://github.com/llvm/llvm-project/pull/71912
___
cfe-commits mailing list
https://github.com/whisperity 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
@@ -1,25 +1,25 @@
// RUN: %clang_analyze_cc1 -analyzer-output=text -Wno-unused %s \
-// RUN: -analyzer-checker=core,alpha.security.cert.env.InvalidPtr \
+// RUN: -analyzer-checker=core,security.cert.env.InvalidPtr \
whisperity wrote:
Style nit: format `\
@@ -1009,11 +1002,20 @@ let ParentPackage = ENV in {
"standard), which can lead to false positives depending on "
"implementation.",
"false",
- InAlpha>,
+ Released>,
]>,
Documentation
@@ -1009,11 +1002,20 @@ let ParentPackage = ENV in {
"standard), which can lead to false positives depending on "
"implementation.",
"false",
- InAlpha>,
+ Released>,
]>,
Documentation
@@ -1,18 +1,18 @@
// Default options.
// RUN: %clang_analyze_cc1 \
-// RUN: -analyzer-checker=core,alpha.security.cert.env.InvalidPtr \
+// RUN: -analyzer-checker=core,security.cert.env.InvalidPtr \
whisperity wrote:
`\
@@ -1,12 +1,12 @@
// RUN: %clang_analyze_cc1 \
-// RUN: -analyzer-checker=alpha.security.cert.env.InvalidPtr \
-// RUN: -analyzer-config
alpha.security.cert.env.InvalidPtr:InvalidatingGetEnv=false \
+// RUN: -analyzer-checker=security.cert.env.InvalidPtr \
wh
@@ -755,6 +755,75 @@ security
Security related checkers.
+.. _security-cert-env-InvalidPtr:
+
+security.cert.env.InvalidPtr
+""
+
+Corresponds to SEI CERT Rules ENV31-C and ENV34-C.
+
+ENV31-C:
+Rule is about the possible problem with `main` fu
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/DonatNagyE approved this pull request.
LGTM. The test results sound convincing and this is just a checker-rename
commit that doesn't contain "actual" code changes that could've introduced bugs.
https://github.com/llvm/llvm-project/pull/71912
__
llvmbot wrote:
@llvm/pr-subscribers-clang-static-analyzer-1
Author: Endre Fülöp (gamesh411)
Changes
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, postg
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
20 matches
Mail list logo
