Text this: A SPIN-based Approach for Detecting Vulnerabilities in C Programs