Page MenuHomePhabricator

[analyzer] Add handle misuse analysis to MagentaHandleChecker

Authored by haowei on Jul 28 2017, 2:49 PM.



This commit add actual code for analyzing magenta handle misuse issues to MagentaHandleChecker, which is introduced in D35968. It supports magenta syscalls that acquires/release/use handle through pointers or values but not through arrays. The support for arrays will be added in a follow up commit.

Diff Detail

Event Timeline

haowei created this revision.Jul 28 2017, 2:49 PM
haowei edited the summary of this revision. (Show Details)Jul 28 2017, 2:56 PM
haowei updated this revision to Diff 109237.Aug 1 2017, 3:41 PM

Add 1 line fix for the constraint on allocated handle in function allocateSingleHandle at line 647

haowei abandoned this revision.Jan 5 2021, 3:51 PM

An updated version was landed in f4c26d993bdc . This diff is no longer needed.