https://github.com/viperproject/sample

https://github.com/viperproject/sample

Last synced: 11 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/viperproject/sample
• Owner: viperproject
• License: other
• Created: 2020-05-20T14:10:53.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-06-05T11:19:09.000Z (about 6 years ago)
• Last Synced: 2025-01-19T15:23:28.630Z (over 1 year ago)
• Language: Scala
• Size: 92.2 MB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 21
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
# Sample

[![Build Status](https://pmbuilds.inf.ethz.ch/buildStatus/icon?job=sample)](https://pmbuilds.inf.ethz.ch/job/sample/)

Sample (Static Analyzer of Multiple Programming Languages) is a generic static analyzer based on the based on the [abstract interpretation](http://en.wikipedia.org/wiki/Abstract_interpretation) theory.

*This readme is currently being updated and still incomplete.*

## Module Overview

  * **sample_core:** The core of sample containing the statements of the intermediate language and their semantics, some basic implementation of abstract states.

 

  * **sample_numerical:** Numerical analyses, both non-relational and relational.

 

  * **sample_apron:** Provides an interface to the numerical domains provided by the [Apron](http://apron.cri.ensmp.fr/library/) library.

 

  * **sample_silver:** The part of sample that is specific to [Viper](https://www.pm.inf.ethz.ch/research/viper.html), which includes translations form and to the intermediate language used by Viper and some implementations of Viper specific analyses.

 

  * **sample_qp:** The implementation of the [Permission Inference for Array Programs](https://doi.org/10.1007/978-3-319-96142-2_7).

## Getting Started

### Installation

  * Follow the instructions to install [Silver](https://github.com/viperproject/silver), [Silicon](https://github.com/viperproject/silicon), and [Carbon](https://github.com/viperproject/carbon). It is recommended to install the Viper tools as project-named subfolders under a common Viper directory. The instructsions below assume that you have chosen such a top-level Viper folder; if you do not, you need to adapt the relative paths when you create the symbolic links as described in the following.

  * Clone the Sample repository (this repository) and switch to the newly created Sample directory.

        git clone https://github.com/viperproject/sample.git

        cd sample

  * From within the directory where you installed Sample, create symbolic links to the directories where you installed Silver, Silicon, and Carbon.

    **Linux or Mac:**

        ln -s ../silver silver

        ln -s ../silicon silicon

        ln -s ../carbon carbon.

    **Windows:**

        mklink /D silver ../silver

        mklink /D silicon ../silicon

        mklink /D carbon ../carbon

  * Compile Sample using SBT.

        sbt compile

### Building and Using Apron

  * Libraries must be installed in a location that is accessible by `ld`. To separate these libraries from the package manager libraries, the default choice is `usr/local/lib` which is usually not scanned. It is therefore necessary to set the `LD_LIBRARY_PATH` environment variable before running Sample.