Page MenuHomePhabricator

[analyzer] PthreadLock: Add the other XNU rwlock unlock functions.

Authored by NoQ on Sep 13 2017, 6:44 AM.



It turns out that XNU rwlocks, locked by lck_rw_lock_shared() and lck_rw_lock_exclusive(), can be unlocked through either the "unspecific" lck_rw_done() or the "specific" lck_rw_unlock_shared() and lck_rw_unlock_exclusive() calls. Add the two "specific" unlock functions to the checker.

Diff Detail

Event Timeline

NoQ created this revision.Sep 13 2017, 6:44 AM
zaks.anna accepted this revision.Sep 13 2017, 8:47 AM
This revision is now accepted and ready to land.Sep 13 2017, 8:47 AM
This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptJan 24 2020, 7:44 AM