fixed detection of malloc property:

fixed detection of malloc property:
 - used allocator callback from frontend
 - methods returning 0 results are not strict malloc
 - only methods returning allocations can be malloc
 - check the the result is not stored anywhere before returning, this would create an alias (and is not malloc)
 - don't kill the malloc property when only checking for nothrow

[r17170]