details

attribute value name CoFloCo+ ITS and C preprocessing final version description CoFloCo is an open source static analysis tool written in prolog to infer automatically symbolic complexity upper and lower bounds of imperative and recursive programs. It analyzed programs represented as cost relations that can be generated from a variety of languages. Webpage: https://github.com/aeflores/CoFloCo owner Antonio Flores Montoya uploaded 2016-09-02 07:47:09.0 disk size 74.86 MB build status uploaded built

configurations

name	description
its	no description
C	no description

actions

get anonymous link