Skip to content

Latest commit

 

History

History
34 lines (23 loc) · 1.4 KB

README.md

File metadata and controls

34 lines (23 loc) · 1.4 KB

Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection

Artifact repository for the FSE2018 accepted paper "Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection".

THE BEST WAY TO START is by opening index.html from a web browser.

Summary

Phys is a static analysis tool for detecting physical unit (PU) inconsistencies in C++ files that build against the Robot Operation System, using probabilistic graphical models together with dataflow analysis.

Contents

This repository contains the following files and folders:

  • Dockerfile : a Docker install file for phys.
  • INSTALL.txt : Describes how to install phys using Docker and a minimal working example.
  • LICENSE.txt : BSD-2-Clause license.
  • README.md : This file.
  • STATUS : Describes the ACM artifact badges sought for this artifact.
  • data/ : Folder containing C++ files used to evaluate and test phys.
  • docs/ : the help pages (HTML) referenced by index.html.
  • index.html : THE BEST PLACE TO START.
  • requirements.txt : List of python dependencies required by phys. Referenced by the Dockerfile.
  • src/ : The python source code for phys.

Credits