Comparison of source code verification tools. Online availble at ctools.exida.pl, pass exidademo
From the project directory, execute:
$ make all
To launch|stop the framework, execute:
./ctools.sh start
or
./ctools.sh stop
ctools framework will be launched at the port 8000.
To log in and view the data, use password: exidademo.
- Provide a description of required tools to be installed.
- Provide additional installation procedures for scripts wrapping those tools usage