View to Theatiner Church. Photo: Helmut Seidl

SAS 2014

21st International Static Analysis Symposium

September 11-13, 2014
Munich, Germany

Virtual Machines of SAS 2014

We encouraged the authors that submitted a paper to SAS 2014 to provide a virtual machine image (VM) containing artifacts and evaluations presented in their submission. As a service to the static analysis community and with agreement of the authors, we make available here most of the virtual machines that accompanied accepted papers. Note that some authors updated their VM after acceptance of their paper. The artifacts are hosted on the permanent Static Analysis Symposium Webserver.

Note that the VMs have not been formally evaluated by the PC and are published here as provided by the respective authors.

Instructions

• We asked the authors
  • to submit their virtual machines (VMs) in the open virtual format as a single .ova file packed in a zip archive and
  • to ensure that their VMs can be run with VirtualBox.
• VirtualBox can be downloaded here.
• Most VMs are accompanied by additional instructions.
• Note that the size of the VMs can be very large. So downloading can take some time.
• Once downloaded, please:
• unzip the archive
• start the VM by doubleclicking on the .ova file; alternatively you can use the "Import appliance" function from VirtualBox's file menu.
• follow the additional instructions to reproduce the experiments; some authors provide additional README files in their zip-archive.
• Make sure, when you run VirtualBox, that it is the only virtual machine in your system (e.g., in windows make sure you do not have Hyper-V on).

Virtual Machines

• Peak Cost Analysis of Distributed Systems
  Elvira Albert, Jesús Correas, and Guillermo Román-Díez
  virtual machine, instructions
• Cyclic Abduction of Inductively Defined Safety and Termination Preconditions
  James Brotherston and Nikos Gorogiannis
  virtual machine, instructions
• Expectation Invariants for Probabilistic Program Loops as Fixed Points
  Aleksandar Chakarov and Sriram Sankaranarayanan
  virtual machine, instructions
• Verifying Recursive Programs using Intraprocedural Analyzers
  Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, and Farn Wang
  virtual machine, instructions
• Automatic Analysis of Open Objects in Dynamic Language Programs
  Arlen Cox, Bor-Yuh Evan Chang, and Xavier Rival
  virtual machine, instructions
• Reactivity of Cooperative Systems
  Louis Mandel and Cédric Pasteur
  virtual machine, instructions
• Synthesis of Memory Fences via Refinement Propagation
  Yuri Meshman, Andrei Dan, Martin Vechev, and Eran Yahav
  virtual machine, instructions
• Speeding up Logico-numerical Strategy Iteration
  David Monniaux and Peter Schrammel
  virtual machine, instructions
• Cost-aware Automatic Program Repair
  Roopsha Samanta, Oswaldo Olivo, and E. Allen Emerson
  virtual machine, instructions
• A Decision Tree Abstract Domain for Proving Conditional Termination
  Caterina Urban and Antoine Miné
  virtual machine, instructions
• Region-based Selective Flow-Sensitive Pointer Analysis
  Sen Ye, Yulei Sui, and Jingling Xue
  virtual machine, instructions