Adds a string abstraction analysis and includes a rewrite of the CWE-78 check using the new abstract string domains.