[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 0/2] Make coroutine annotations ready for static analysis
From: |
Paolo Bonzini |
Subject: |
[PATCH 0/2] Make coroutine annotations ready for static analysis |
Date: |
Thu, 15 Dec 2022 18:44:05 +0100 |
Clang has a generic __annotate__ attribute that can be used by
static analyzers to understand properties of functions and
analyze the control flow.
Unlike TSA annotations, the __annotate__ attribute applies to function
pointers as well, which is very fortunate because many BlockDriver
function driver run in coroutines.
Paolo
Alberto Faria (2):
coroutine: annotate coroutine_fn for libclang
block: Add no_coroutine_fn and coroutine_mixed_fn marker
include/block/block-common.h | 11 +++++++----
include/qemu/coroutine.h | 37 ++++++++++++++++++++++++++++++++++++
2 files changed, 44 insertions(+), 4 deletions(-)
--
2.38.1
- [PATCH 0/2] Make coroutine annotations ready for static analysis,
Paolo Bonzini <=