[PATCH] D36022: [analyzer] Add handle misuse analysis to MagentaHandleChecker

haowei abandoned this revision. haowei added a comment. Herald added subscribers: steakhal, ASDenysPetrov, Charusso, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware. An updated version was landed in f4c26d993bdc

[PATCH] D36022: [analyzer] Add handle misuse analysis to MagentaHandleChecker

haowei updated this revision to Diff 109237. haowei added a comment. Add 1 line fix for the constraint on allocated handle in function allocateSingleHandle at line 647 https://reviews.llvm.org/D36022 Files: lib/StaticAnalyzer/Checkers/MagentaHandleChecker.cpp test/Analysis/mxhandle.c Inde

[PATCH] D36022: [analyzer] Add handle misuse analysis to MagentaHandleChecker

haowei created this revision. Herald added a subscriber: xazax.hun. This commits add actual code for analyzing magenta handle misuse issues to MagentaHandleChecker, which is introduced in https://reviews.llvm.org/D35968. It supports magenta syscalls that acquires/release/use handle through point