Description:
phrikyunits 0.1.39
## Phriky Units - Physical Unit Inconsistency Detection
Physical unit static analysis tool for <a href=’http://www.ros.org’>ROS</a> C++.
WINNER: <a href=”https://conf.researchr.org/home/issta-2017”>ISSTA 2017 Best Tool Demonstration</a>
<a href=’https://unl.box.com/shared/static/83mnbe7ez73z5az7ct5gbabo1wm9htfl.ova’>ARTIFACT – Download Virtual Machine with phriky-units pre-installed (Ubuntu 16.04 VM 3 GB .ova).</a>
<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.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://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 (< 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.
License
For personal and professional use. You cannot resell or redistribute these repositories in their original state.
Customer Reviews
There are no reviews.
