Fix some Splint warnings adding related to `nullret` rule in some functions
This is related to Issue #119.
nullret rule refers to a function that returns a possibly
null pointer, but is not declared using
/*@null@*/ annotation of result.
This PR add
/*@null@*/ annotation to the return value declaration of some functions.