List view

Add end-to-end tests for popular projects

EnhancementNew feature or requestNew feature or request

Status: Closed (completed).

#47 In eth-sri/securify;

· by MatthiasEgli-chainsecurity was closed on Dec 5, 2018

Add souffle compilation to docker build phase

EnhancementNew feature or requestNew feature or request

Status: Closed (completed).

#46 In eth-sri/securify;

· by MatthiasEgli-chainsecurity was closed on Nov 26, 2018

Add pattern descriptions to json output

EnhancementNew feature or requestNew feature or request

Status: Closed (completed).

#12 In eth-sri/securify;

· by hiqua was closed on Dec 12, 2018