Hi LLVM developers,
As Anna mentioned:
One idea is to check that we do not pass a pointer that is known to be NULL to functions that are known to dereference pointers such as memcpy. There is a checker that determines if a null pointer could be dereferenced already, but there is no extension to check if such a pointer could be passed to a function tat could dereference it.
So I implemented evalMemset in the CStringChecker to detect null-deref issue. please review my patch, thanks a lot!