String Analysis for Software Verification and Security | lit.salon