2LS: Memory Safety and Non-termination - (Competition Contribution). - Viktor Malík; Stefan Marticek; Peter Schrammel; Mandayam K. Srivas; Tomás Vojnar; Johanan Wahlang (TACAS (2), 2018)