C++物理单元静态分析工具
phriky-units的Python项目详细描述
##phriky units-物理单元不一致性检测
物理单元静态分析工具，用于HRFF＝http://www.ros.org’＆gt；ROS & lt；/a & gt；c++。
获奖者：<；a href=“https://conf.researchr.org/home/issta-2017”>；ISSTA 2017最佳工具演示<；/a>；
<；a href='https://unl.box.com/shared/static/83mnbe7ez73z5az7ct5gbabo1wm9htfl.ova’>；工件-下载预装了phriky单元的虚拟机（ubuntu 16.04 vm 3 gb.ova）。<；/a>；
<；a ref=“https://youtu.be/cc-Bubopml4”target=“\u blank”>；<；img src=”../.youtube.png“width=”420“alt=”youtbe phriky units屏幕截图“>”<；/a>；
*自由软件：麻省理工学院许可证。*轻量级静态分析轻量级静态分析
##安装（在ubuntu 16.04和osx 10.12.6上测试）
pip install phriky_units
需要大于1.75的cppcheck:
apt-get install cppcheck（ubuntu 16.04）
brew install cppcheck（OSX）
git clone git://github.com/danmar/cppcheck.git（ubuntu 14.04）
示例：
您可以通过签出来运行示例：
git clone https://github.com/unl-nimbus-lab/phriky-units.git
然后从该目录运行：
phriky_units ./examples/addition/src/action.cpp
phriky_units ./examples/assignment/src/trajectory_planner_ros.cpp
phriky_units ./examples/comparison/src/twist_marker.cpp
功能
- 检测物理单元不一致，例如添加具有不同单元的数量，即meters+seconds。
- 轻型静态分析
- 路径不敏感
- 无注释负担
- 低假阳性率（<；15%表示“高度可信”不一致）
- 使用[ROS]
学分
[光环]林肯内布拉斯加大学实验室
这项工作在一定程度上得到了美国国家科学基金会奖（1638099和1526652）和美国农业部-国家农业研究院奖（USDA-NIFA）2013-67021-20947的支持。
[ROS]: http://www.ros.org [NIMBUS]: http://nimbus.unl.edu
历史
0.1.0（2016-08-31）
- pypi上的第一个版本。
欢迎加入QQ群-->： 979659372
