Inconsistent error checks
Protocol-finding semantic match
Bug-finding semantic matches
- Detect calls to functions that only return
NULL or a valid pointer but where the result is tested using IS_ERR:
semantic patch,
Results
- Detect calls to functions that return
NULL or a valid pointer but where the result is not tested using NULL:
semantic patch,
Results
- Detect calls to functions that only return
ERR_PTR or a valid pointer but where the result is tested using NULL:
semantic patch,
Results
- Detect calls to functions that return
ERR_PTR or a valid pointer but where the result is not tested using IS_ERR:
semantic patch,
Results
- Detect calls to functions that return
NULL, ERR_PTR or a valid pointer but where the result is not tested using
either NULL or IS_ERR:
semantic patch,
Results
- Detect calls to functions that return neither NULL not ERR_PTR, but
where the result is tested using IS_ERR:
semantic patch,
Results
- Detect calls to functions that return neither NULL not ERR_PTR, but
where the result is tested using NULL:
semantic patch,
Results