通过进入容器环境来运行securify,支持通过solc-select切换solidity编译器版本。资源大小限制,将1.5G的tar镜像压缩成zip文件。不支持传参。