FreeBSD/ports b5ed882 (r487452) — devel Makefile, devel/ikos pkg-plist Makefile
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract interpretation
| Delta | File | |
|---|---|---|
| +212 | -0 | devel/ikos/pkg-plist |
| +35 | -0 | devel/ikos/Makefile |
| +17 | -0 | devel/ikos/files/patch-analyzer_python_ikos_analyzer.py |
| +13 | -0 | devel/ikos/pkg-descr |
| +3 | -0 | devel/ikos/distinfo |
| +1 | -0 | devel/Makefile |
| +281 | -0 | 6 files |
