Skip to main content

Physical unit static analysis tool for C++ +

Project description

## Phriky Units - Physical Unit Inconsistency Detection

Physical unit static analysis tool for <a href=’’>ROS</a> C++.

WINNER: <a href=””>ISSTA 2017 Best Tool Demonstration</a>

<a href=’’>ARTIFACT – Download Virtual Machine with phriky-units pre-installed (Ubuntu 16.04 VM 3 GB .ova).</a>

<a href=”” target=”_blank”><img src=”./.youtube.png” width=”420” alt=”youtbe screenshot for Phriky-Units”></a>

* Free software: MIT license .. *Lightweight static analysis Lightweight static analysis

## Install (tested on Ubuntu 16.04 and OSX 10.12.6)

pip install phriky_units

Requires Cppcheck greater than 1.75:

apt-get install cppcheck (Ubuntu 16.04)

brew install cppcheck (OSX)

git clone git:// (Ubuntu 14.04)


You can run examples by checking out:

git clone

Then from that directory run:

phriky_units ./examples/addition/src/action.cpp

phriky_units ./examples/assignment/src/trajectory_planner_ros.cpp

phriky_units ./examples/comparison/src/twist_marker.cpp


  • Detects physical unit inconsistencies, like adding quantities with different units, i.e. meters + seconds.

  • Lightweight static analysis

  • Path insensitive

  • No annotation burden

  • Low false positive rate (&lt; 15% for `high-confidence’ inconsistencies)

  • Works with [ROS]


[NIMBUS] Lab at the University of Nebraska, Lincoln

This work was supported in part by NSF awards #1638099 and #1526652, and USDA-NIFA #2013-67021-20947.



0.1.0 (2016-08-31)

  • First release on PyPI.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

phriky_units-0.1.39.tar.gz (336.5 kB view hashes)

Uploaded source

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page