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 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
llvmbot wrote:
@llvm/pr-subscribers-clang-static-analyzer-1
@llvm/pr-subscribers-clang
Author: Endre Fülöp (gamesh411)
Changes
This patch introduces the basic structure for the MutexModeling checker. It
adds the checker definition, creates the MutexModeling.cpp file, supporting
header fi
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
