[PATCH] D27854: [analyzer] Add check for mutex acquisition during interrupt context in Magenta kernel

[Kareem Khazem via Phabricator via cfe-commits]

khazem created this revision.
khazem added reviewers: dcoughlin, dergachev.a.
khazem added subscribers: cfe-commits, phosek, seanklein.
Herald added a subscriber: mgorny.

Acquiring a mutex during the Magenta kernel exception handler can cause deadlocks and races. This patch adds a checker that ensures that no mutexes are acquired during an interrupt context.


https://reviews.llvm.org/D27854

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/MagentaInterruptContextChecker.cpp
  test/Analysis/mutex-in-interrupt-context.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D27854.81767.patch
Type: text/x-patch
Size: 9255 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161216/163a756e/attachment-0001.bin>