Infrastructure to support encoding information flow  semanics of well-known libc functions

Add strdup semantics