ap0l1o
Home
Archives
Categories
Tags
Running
About
Clang线程安全分析
2023-12-18 21:58:36
#
技术
#C/C++
Hey, password is required here.
上一页
2023-12-18 21:58:36
#
技术
#C/C++
下一页
目录
介绍
入门
运行分析模块
基本概念：Capabilities
使用指导
GUARDED_BY(c) 和 PT_GUARDED_BY(c)
REQUIRES(...) 和 REQUIRES_SHARED(...)
ACQUIRE(…)，ACQUIRE_SHARED(…)， RELEASE(…)， RELEASE_SHARED(…)，RELEASE_GENERIC(…)
EXCLUDES(...)
NO_THREAD_SAFETY_ANALYSIS
RETURN_CAPABILITY(c)
ACQUIRED_BEFORE(…) 和 ACQUIRED_AFTER(…)
CAPABILITY(<string>)
SCOPED_CAPABILITY
TRY_ACQUIRE(<bool>, …)，TRY_ACQUIRE_SHARED(<bool>, …)
ASSERT_CAPABILITY(…) 和 ASSERT_SHARED_CAPABILITY(…)
mutex.h 示例文件
