SACO Eclipse Plugin

SACO (Static Analyzer for Concurrent Objects) can be used through an Eclipse Plugin. SACO has been compiled to run in 32-bit Linux (it should also work on 64-bit Linux platforms) and it can be installed by following the instructions:
  • Download Eclipse+SACO environment (SACO can also be installed by using the Eclipse update-site http://costa.ls.fi.upm.es/saco/sw/update-site)
  • Uncompress the file Eclipse-SACO.tar.gz in any directory (tar -zxvf Eclipse-SACO.tar.gz)
  • Two directories will be created, (1) eclipse that contains a full Eclipse environment with SACO installed, and, (2) workspace-SACO, which contains a workspace with some ABS examples.
  • To start eclipse, just enter in eclipse directory and run ./eclipse.
  • When Eclipse starts, it will ask for selecting the workspace to be used,
    • - If nothing is changed, Eclipse-SACO will use workspace-SACO. The workspace workspace-SACO contains multiple projects with ABS files to try out the system.
    • - Otherwise, the user can select the directory where Eclipse will create new projects. To use SACO, the ABS file must be created within an ABS Project

    SACO uses the tool dot (part of GraphViz) to generate graphs. Download and installation notes for GraphViz can be found here.