User-Group 6-2018: The Current State of Static Analyzers