Fuzzing method borrows the ideology of model checking by generating combinations to drive the exploration of the state space in a comprehensive way. Using this new methodology we have found about twenty 0-days on smartOS and other phones. Using our fuzzing method we have won the first prize in the Smartisan vulnerability digging competition. To demonstrate the effectiveness of our method, we will apply it on OEM devices such as Samsung, Huawei and Smartisan OS where we have identified in total 50+ bugs and vulnerabilities.”]