[PATCH] D87146: [analyzer] Implement shared semantics checks for XNU functions in PthreadLockChecker
Balázs Benics via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Feb 16 07:12:50 PST 2021
steakhal added a comment.
Could you please give a few links to some documentation about the functions you are trying to model?
Is https://developer.apple.com/library/archive/documentation/Darwin/Conceptual/KernelProgramming/synchronization/synchronization.html a legitimate resource for this?
It's really important to bake the proper semantic rules into the modeling.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D87146/new/
https://reviews.llvm.org/D87146
More information about the cfe-commits
mailing list