| 1 | {"name":"frama-c","origin":"devel/frama-c","version":"20150201_3","comment":"Extensible·platform·for·source-code·analysis·of·C","maintainer":"ports@FreeBSD.org","www":"http://frama-c.com/index.html","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":118027923,"licenselogic":"single","licenses":["LGPL21"],"desc":"Frama-C·is·a·suite·of·tools·dedicated·to·the·analysis·of·the·source·code·of\nsoftware·written·in·C.\n\nFrama-C·gathers·several·static·analysis·techniques·in·a·single·collaborative\nframework,·which·allows·static·analyzers·to·build·upon·the·results·already\ncomputed·by·other·analyzers·in·the·framework,·and·provides·sophisticated\ntools,·such·as·a·slicer·and·dependency·analysis.\n\nFrama-C·is·closer·to·heuristic·bug-finding·tools·than·it·is·to·software·metrics\ntools,·but·it·has·two·important·differences·with·the·former:·it·aims·at·being\n\"correct\"·--·that·is,·never·to·remain·silent·for·a·location·in·the·source\ncode·where·an·error·can·happen·at·run-time.·And·it·allow·✂ | 1 | {"name":"frama-c","origin":"devel/frama-c","version":"20150201_3","comment":"Extensible·platform·for·source-code·analysis·of·C","maintainer":"ports@FreeBSD.org","www":"http://frama-c.com/index.html","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":118027923,"licenselogic":"single","licenses":["LGPL21"],"desc":"Frama-C·is·a·suite·of·tools·dedicated·to·the·analysis·of·the·source·code·of\nsoftware·written·in·C.\n\nFrama-C·gathers·several·static·analysis·techniques·in·a·single·collaborative\nframework,·which·allows·static·analyzers·to·build·upon·the·results·already\ncomputed·by·other·analyzers·in·the·framework,·and·provides·sophisticated\ntools,·such·as·a·slicer·and·dependency·analysis.\n\nFrama-C·is·closer·to·heuristic·bug-finding·tools·than·it·is·to·software·metrics\ntools,·but·it·has·two·important·differences·with·the·former:·it·aims·at·being\n\"correct\"·--·that·is,·never·to·remain·silent·for·a·location·in·the·source\ncode·where·an·error·can·happen·at·run-time.·And·it·allow·✂ |