[PATCH] [analyzer][Review request] Better modelling of memcpy by the CStringChecker (PR16731)

[Anna Zaks]

  Thanks Anton.

  Can you also check what happens when 'dst' is properly allocated with malloc? Something like this:

  int *dst = (int*)malloc();
  memcpy(dst, src, size);

  We want to make sure that the most straightforward cases work!

  Thanks,
  Anna.

http://llvm-reviews.chandlerc.com/D1887