https://github.com/NagyDonat closed
https://github.com/llvm/llvm-project/pull/91635
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/NagyDonat edited
https://github.com/llvm/llvm-project/pull/91635
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/NagyDonat updated
https://github.com/llvm/llvm-project/pull/91635
From 57ad704c30866a7d85f43b016583675e70de8531 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Don=C3=A1t=20Nagy?=
Date: Thu, 9 May 2024 18:32:57 +0200
Subject: [PATCH 1/2] [analyzer] Clean up list of taint
@@ -572,196 +570,236 @@ void GenericTaintChecker::initTaintRules(CheckerContext
) const {
std::vector>;
using TR = GenericTaintRule;
- const Builtin::Context = C.getASTContext().BuiltinInfo;
-
RulesConstructionTy GlobalCRules{
// Sources
-
@@ -572,196 +570,236 @@ void GenericTaintChecker::initTaintRules(CheckerContext
) const {
std::vector>;
using TR = GenericTaintRule;
- const Builtin::Context = C.getASTContext().BuiltinInfo;
-
RulesConstructionTy GlobalCRules{
// Sources
-
@@ -400,17 +400,14 @@ class GenericTaintChecker : public
Checker {
void taintUnsafeSocketProtocol(const CallEvent ,
CheckerContext ) const;
- /// Default taint rules are initalized with the help of a CheckerContext to
- /// access the
https://github.com/steakhal approved this pull request.
LGTM.
I haven't checked absolutely everything, rather sampled.
It looked correct, and free of copy-paste mistakes.
https://github.com/llvm/llvm-project/pull/91635
___
cfe-commits mailing list
https://github.com/steakhal edited
https://github.com/llvm/llvm-project/pull/91635
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/NagyDonat created
https://github.com/llvm/llvm-project/pull/91635
This commit refactors GenericTaintChecker and performs various improvements in
the list of taint propagation functions:
1. The matching mode (usually `CDM::CLibrary` or `CDM::CLibraryMaybeHardened`)
was
