Extending the OpenSHMEM Analyzer to Perform Synchronization and Multi-valued Analysis.