Identifying security bug reports via text mining: An industrial case study | Synapse