Skip to content
No description, website, or topics provided.
Java
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
data
lib
models
src/atlas
.gitignore
COPYRIGHT
LICENSE
README.md
build.xml

README.md

ATLAS

ATLAS is a tool for automatically inferring points-to specifications.

For a detailed introduction to ATLAS, see:

Table of Contents

  1. Downloading and Building ATLAS
  2. Contact

Downloading and Building ATLAS

The ATLAS source code is available on GitHub under the Apache Software License version 2.0 at https://github.com/obastani/atlas. To check out the ATLAS source code repository, run:

$ git clone https://github.com/obastani/atlas.git

To build ATLAS, run:

$ cd atlas
$ ant

To run ATLAS, run:

$ ant run

Finally, both the specifications inferred by ATLAS and the handwritten ground truth points-to specifications are available in the models/ folder.

Contact

For questions, feel free to contact obastani@cs.stanford.edu.

You can’t perform that action at this time.