Add rules for malloc, realloc, and free for unsafe model (#91)

Add rules for malloc, realloc, and free for unsafe model (#91) #411