<div dir="ltr">Hello,<br><br>I'm trying to add ObjC clang analyzer checker to check if called block is non null.<br><br>I thought that at some ProgramState SVal for the called block will be constrained to null and that's all I need to check.<br><br>I was naive.<br><br>Here is code of the checker: <a href="http://pastebin.com/raw/dcE12ayk">http://pastebin.com/raw/dcE12ayk</a><br>But it reports error even for simple code like:<br><br>void(^bl)(void) = ^{}; <br>bl();<br><br><div>That's caused by the fact that for my checker SVal for "bl" is "underconstrained".</div><div><br></div><div>Could please someone lead me on the right examples from current checkers? Or explain, what am I doing wrong ?</div></div>