Automatic Identification of Cross-Container Side-Channels