Skip to main content

Physical unit static analysis tool for ROS (Robot Operating System) C++

Project description

## Phriky Units - Physical Unit Inconsistency Detection

Physical unit static analysis tool for C++, especially for ROS, pronounced ‘freaky’ for the Greek work Phriki meaning ‘horror’.

<a href=”https://youtu.be/cc-Bubopml4” 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.11.6)

sudo pip install phriky_units

Requires Cppcheck &gt; 1.75:

sudo apt-get install cppcheck (Ubuntu 16.04)

brew install cppcheck (OSX)

git clone git://github.com/danmar/cppcheck.git (Ubuntu 14.04)

Examples:

You can run examples by checking out:

git clone https://github.com/unl-nimbus-lab/phriky-units.git

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

Features

  • 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]

Credits

[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.

[ROS]: http://www.ros.org [NIMBUS]: http://nimbus.unl.edu

History

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.

Files for phriky-units, version 0.1.35
Filename, size File type Python version Upload date Hashes
Filename, size phriky_units-0.1.35.tar.gz (309.4 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page