A Security Analyzer For Multi-Threaded Programs