| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
|
|
|
|
null value.
|
|
|
|
non null value.
|
|
else branch)
|
|
known null vars.
|
|
nulled variable.
|
|
|
|
Example:
if (!ptr)
{
ptr1 = new data;
}
// here ptr1 always non null
|
|
Was missing skipNop call.
|
|
It allow this example:
int ptr = new int[10];
// paranucker work with ptr here as with non null pointer
|
|
|
|
|
|
|
|
|
|
This fix false positive in this example:
while(ptr)
{
...
}
|
|
This allow detect issue like this:
if (!ptr)
return;
while (ptr->num)
{
...
ptr = someothervalue;
}
|
|
this block.
|
|
This add basic support for while(exprt) {code}
|
|
function return pointer.
Update METHOD_TYPE for always parse function return type.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Still broken linked vars and using just checked pointer in expression.
|
|
|
|
|
|
checkedThenNonNullVars.
|
|
|
|
|
|
|
|
For now it can be call to function or some complicated expression.
|
|
|
|
|
|
|
|
branches.
|
|
|
|
|
|
|
|
|
|
|
|
cases.
|
|
|
|
|
