<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">No real reason, other than -checker-cfref functionally does the same thing as -checker-simple except that it does the retain/release checking for Objective-C.  All -checker-simple does is run the path-sensitive engine and execute its internal checks.  It's also a bad name.  "-checker-basic-checks" instead?<br>

<br>
</blockquote><div>I prefer shorter name "-checker-basic". What do you think that we make it available for pure C code checking?<br></div></div></div>