String Analysis for Software Verification and Security