执行检查的时候，报warning

[daxiong844]

`[DEBUG][2021-12-07 10:21:42,460]execute cmd: smartcheck -p ce36b4dc9cf14382acb943279e0fb167.sol [DEBUG][2021-12-07 10:21:42,462]execute cmd: docker run -v $(pwd):/project qspprotocol/oyente-0.4.25 -s /project/ce36b4dc9cf14382acb943279e0fb167.sol -j [DEBUG][2021-12-07 10:21:42,471]execute cmd: docker run -v $(pwd):/tmp ethereum/solc:0.8.1 --bin-runtime /tmp/ce36b4dc9cf14382acb943279e0fb167.sol 2>/dev/null | tail -n 3 [DEBUG][2021-12-07 10:21:42,473]execute cmd: docker run -v $(pwd):/tmp mythril/myth analyze /tmp/ce36b4dc9cf14382acb943279e0fb167.sol -t 1 --solv 0.8.1 WARNING:root:You are using evm version 1.8.2. The supported version is 1.7.3 WARNING:root:You are using solc version 0.4.25, The latest supported version is 0.4.19 CRITICAL:root:Solidity compilation failed. Please use -ce flag to see the detail. [DEBUG][2021-12-07 10:21:44,020]execute cmd: sed -n "1p" ce36b4dc9cf14382acb943279e0fb167.sol.tmp > ce36b4dc9cf14382acb943279e0fb167.sol.sig; sed -n "3p" ce36b4dc9cf14382acb943279e0fb167.sol.tmp > ce36b4dc9cf14382acb943279e0fb167.sol.hex; rm -f ce36b4dc9cf14382acb943279e0fb167.sol.tmp [DEBUG][2021-12-07 10:21:44,038]execute cmd: bash /backend/secure_check/backdoor_detector/MadMax/bin/analyze.sh ce36b4dc9cf14382acb943279e0fb167.sol.hex /backend/secure_check/backdoor_detector/backdoor.dl +++ dirname /backend/secure_check/backdoor_detector/MadMax/bin/analyze.sh ++ cd /backend/secure_check/backdoor_detector/MadMax/bin ++ pwd

• DIR=/backend/secure_check/backdoor_detector/MadMax/bin
• rm -rf facts-tmp
• /backend/secure_check/backdoor_detector/MadMax/bin/decompile -o CALL JUMPI SSTORE SLOAD MLOAD MSTORE -d -n -t facts-tmp ce36b4dc9cf14382acb943279e0fb167.sol.hex [WARNING][2021-12-07 10:21:44,103][execute_command]error occurs when running docker run -v $(pwd):/project qspprotocol/oyente-0.4.25 -s /project/ce36b4dc9cf14382acb943279e0fb167.sol -j, output: Command 'docker run -v $(pwd):/project qspprotocol/oyente-0.4.25 -s /project/ce36b4dc9cf14382acb943279e0fb167.sol -j' returned non-zero exit status 1. Traceback (most recent call last): File "/backend/secure_check/backdoor_detector/MadMax/bin/decompile", line 247, in out_opcodes=args.opcodes) File "/backend/secure_check/backdoor_detector/MadMax/bin/../src/exporter.py", line 155, in export exit_points = [(hex(op.pc),) for op in self.source.terminal_ops] File "/backend/secure_check/backdoor_detector/MadMax/bin/../src/tac_cfg.py", line 139, in terminal_ops last_op = self.last_op File "/backend/secure_check/backdoor_detector/MadMax/bin/../src/tac_cfg.py", line 134, in last_op key=lambda o: o.pc) ValueError: max() arg is an empty sequence
• souffle -F facts-tmp /backend/secure_check/backdoor_detector/backdoor.dl Warning: Deprecated type declaration used in file backdoor.dl at line 3 .type Block ^------------ Warning: Deprecated type declaration used in file backdoor.dl at line 4 .type Function ^--------------- Warning: Variable amount only occurs once in file backdoor.dl at line 133 use(amount, stmt_add, ), ------^---------------------- Warning: Variable amount only occurs once in file backdoor.dl at line 162 use(amount, stmt_sub, 2), ------^---------------------- Warning: Variable balance_to only occurs once in file backdoor.dl at line 167 use(balance_to, storeValStmt, 1), ------^------------------------------ Warning: Variable from only occurs once in file backdoor.dl at line 180 `

error：

`^------------ Error loading data: Cannot open fact file def.facts

Error loading data: Cannot open fact file use.facts

Error loading data: Cannot open fact file value.facts

Error loading data: Cannot open fact file in_function.facts...mythril.interfaces.cli [ERROR]: Solc experienced a fatal error.

ParserError: Source "/tmp/library/Utils.sol" not found: File not found. --> /tmp/ce36b4dc9cf14382acb943279e0fb167.sol:6:1: | 6 | import './library/Utils.sol'; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

events.js:183 throw er; // Unhandled 'error' event ^

Error: read ECONNRESET at _errnoException (util.js:1022:11) at Pipe.onread (net.js:628:25) [WARNING][2021-12-07 10:21:48,147][execute_command]error occurs when running smartcheck -p ce36b4dc9cf14382acb943279e0fb167.sol, output: Command 'smartcheck -p ce36b4dc9cf14382acb943279e0fb167.sol' returned non-zero exit status 1. [DEBUG][2021-12-07 10:21:48,285]execute cmd: docker run -v $(pwd):/tmp ethereum/solc:0.8.1 --combined-json hashes,ast /tmp/ce36b4dc9cf14382acb943279e0fb167.sol 2>/dev/null [WARNING][2021-12-07 10:21:48,770][execute_command]error occurs when running docker run -v $(pwd):/tmp ethereum/solc:0.8.1 --combined-json hashes,ast /tmp/ce36b4dc9cf14382acb943279e0fb167.sol 2>/dev/null, output: Command 'docker run -v $(pwd):/tmp ethereum/solc:0.8.1 --combined-json hashes,ast /tmp/ce36b4dc9cf14382acb943279e0fb167.sol 2>/dev/null' returned non-zero exit status 1. Traceback (most recent call last): File "/backend/secure_check/main.py", line 423, in vuls_recorder = processing_reports(contract_dir, contract) File "/backend/secure_check/main.py", line 378, in processing_reports processing_bdd_report(contract_dir, contract, vuls_recorder) File "/backend/secure_check/main.py", line 244, in processing_bdd_report contract_name = re.search(r"======= (.*) =======", contract_name).group(1) AttributeError: 'NoneType' object has no attribute 'group' `