Diffusion FreeBSD ports repository rP487452

C++ based on theory of abstract…
rP487452
Actions

Description

New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract interpretation

Details

Provenance

yuri	Authored on

Parents

rP487451: devel/git-cinnabar: rebuild and unbreak after r487197

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed rP487452: New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract….Dec 14 2018, 5:34 PM

Changes (8)

Path

Size

head/

devel/

patch-analyzer_python_ikos_analyzer.py

pkg-descr

pkg-plist

rP487452

View Options

head/devel/Makefile

View Options

head/devel/ikos/

View Options

head/devel/ikos/Makefile

View Options

head/devel/ikos/distinfo

View Options

head/devel/ikos/files/

View Options

head/devel/ikos/files/patch-analyzer_python_ikos_analyzer.py

View Options

head/devel/ikos/pkg-descr

View Options

New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract…rP487452Actions

Description

Details

Event Timeline

Changes (8)

rP487452

head/devel/Makefile

head/devel/ikos/

head/devel/ikos/Makefile

head/devel/ikos/distinfo

head/devel/ikos/files/

head/devel/ikos/files/patch-analyzer_python_ikos_analyzer.py

head/devel/ikos/pkg-descr

head/devel/ikos/pkg-plist

New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract…
rP487452
Actions