Python版本：3.8.5 Solc版本：0.7.0 + commit.9e61f92b.Linux.g ++ Slither版本：0.6.13
尝试在实体合同上运行slither .时，我得到以下堆栈跟踪：
Traceback (most recent call last):
File "/home/wirel/.local/lib/python3.8/site-packages/slither/__main__.py", line 692, in main_impl
) = process_all(filename, args, detector_classes, printer_classes)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/__main__.py", line 79, in process_all
) = process_single(compilation, args, detector_classes, printer_classes)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/__main__.py", line 62, in process_single
slither = Slither(target, ast_format=ast, **vars(args))
File "/home/wirel/.local/lib/python3.8/site-packages/slither/slither.py", line 100, in __init__
self._parser.analyze_contracts()
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/slitherSolc.py", line 338, in analyze_contracts
self._analyze_first_part(contracts_to_be_analyzed, libraries)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/slitherSolc.py", line 395, in _analyze_first_part
self._parse_struct_var_modifiers_functions(contract)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/slitherSolc.py", line 461, in _parse_struct_var_modifiers_functions
contract.parse_state_variables()
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/declarations/contract.py", line 303, in parse_state_variables
var_parser = StateVariableSolc(var, varNotParsed)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/variables/state_variable.py", line 9, in __init__
super().__init__(variable, variable_data)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/variables/variable_declaration.py", line 65, in __init__
self._init_from_declaration(variable_data, variable_data["value"])
KeyError: 'value'
ERROR:root:None
ERROR:root:Error in .
ERROR:root:Traceback (most recent call last):
File "/home/wirel/.local/lib/python3.8/site-packages/slither/__main__.py", line 692, in main_impl
) = process_all(filename, args, detector_classes, printer_classes)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/__main__.py", line 79, in process_all
) = process_single(compilation, args, detector_classes, printer_classes)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/__main__.py", line 62, in process_single
slither = Slither(target, ast_format=ast, **vars(args))
File "/home/wirel/.local/lib/python3.8/site-packages/slither/slither.py", line 100, in __init__
self._parser.analyze_contracts()
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/slitherSolc.py", line 338, in analyze_contracts
self._analyze_first_part(contracts_to_be_analyzed, libraries)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/slitherSolc.py", line 395, in _analyze_first_part
self._parse_struct_var_modifiers_functions(contract)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/slitherSolc.py", line 461, in _parse_struct_var_modifiers_functions
contract.parse_state_variables()
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/declarations/contract.py", line 303, in parse_state_variables
var_parser = StateVariableSolc(var, varNotParsed)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/variables/state_variable.py", line 9, in __init__
super().__init__(variable, variable_data)
File "/home/wirel/.local/lib/python3.8/site-packages/slither/solc_parsing/variables/variable_declaration.py", line 65, in __init__
self._init_from_declaration(variable_data, variable_data["value"])
KeyError: 'value'
以下是合同：
// SPDX-License-Identifier: UNLICENSED
// _____ __ .____ __ __
// / _ \ __ ___/ |_ ____ | | _____/ |__/ |_ ___________ ___.__.
// / /_\ \| | \ __\/ _ \| | / _ \ __\ __\/ __ \_ __ < | |
// / | \ | /| | ( <_> ) |__( <_> ) | | | \ ___/| | \/\___ |
// \____|__ /____/ |__| \____/|_______ \____/|__| |__| \___ >__| / ____|
// \/ \/ \/ \/
// Automatically draws a winner once the payout threshold is met
pragma solidity ^0.7.0;
contract AutoLottery {
address[] public players;
uint256 public totalPayoutValue;
uint256 public currentPrizePool;
address public lastWinner;
uint256 public lastPayout;
address public owner;
constructor() {
totalPayoutValue = 0 ether;
currentPrizePool = 0 ether;
lastPayout = 0 ether;
owner = msg.sender;
}
// Allow a player to enter, value entered must be 0.01 or greater
function enter() public payable {
require(msg.value >= 0.01 ether, "You must enter 0.01 or more Ether!");
players.push(msg.sender);
currentPrizePool += msg.value;
if (address(this).balance >= 1.00 ether) {
winner();
}
}
// Choose a winner at random
function winner() internal {
require(address(this).balance >= 1.00 ether, "Not enough eth in prize pool!");
uint index = random() % players.length;
totalPayoutValue += address(this).balance;
lastWinner = players[index];
lastPayout = address(this).balance;
payable(players[index]).transfer(address(this).balance);
delete players;
}
// Creates a random number
function random() private view returns (uint) {
return uint(keccak256(abi.encode(block.difficulty, block.timestamp, players)));
}
// Returns a list of all currently entered players
function getPlayers() public view returns (address[] memory) {
return players;
}
// The owner of the contract can force a draw if its been too long since the last draw
function emergencyDraw() public {
require(msg.sender == owner, "Only the owner can call this method!");
uint index = random() % players.length;
totalPayoutValue += address(this).balance;
lastWinner = players[index];
lastPayout = address(this).balance;
payable(players[index]).transfer(address(this).balance);
delete players;
}
}
关于如何解决此问题的任何想法？到目前为止，我已经尝试过重新安装python，slother和solc，甚至尝试从docker安装slider，但得到的结果相同。
答案 0 :(得分：0)
这是Slither内部的错误，应该在新的更新中修复。