执行检查的时候，报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'
`