m.c.plugin warning

[sachinbal]

Hi,

I have tried to analyze a solidity smart contract using Manticore and I am getting repeated warnings

m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization

Can someone let me know if this is due to a configuration issue or whether I have missed something? This is my first attempt and therefore looking for guidance

Thanks
Sachin

[sachinbal]

Hi,

To give more details. I have the smart contract

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract ReentrancyExample {
    mapping(address => uint) public balances;

    function deposit() public payable {
        balances[msg.sender] += msg.value;
    }

    function withdraw(uint amount) public {
        require(balances[msg.sender] >= amount);
        (bool success, ) = msg.sender.call{value: amount}("");
        if (success) {
            balances[msg.sender] -= amount;
        }
    }

    function attack(address victim) public payable {
        ReentrancyExample(victim).withdraw(msg.value);
    }
}

I then used the command “manticore rentyexl.sol” to get an analysis done by the Manticore tool. The output which I am getting is given below. I have followed all the steps given in https://medium.com/haloblock/introduction-to-manticore-a-symbolic-analysis-tool-for-smart-contract-9de08dae4e1e but I am not sure as to why am I getting the warnings. Can someone please guide me?

hp@hp-HP-Pavilion-dv5-Notebook-PC:~/sachin$ manticore rentyex1.sol 
2023-04-10 16:20:16,002: [29003] m.main:INFO: Registered plugins: IntrospectionAPIPlugin, <class 'manticore.ethereum.plugins.SkipRevertBasicBlocks'>, <class 'manticore.ethereum.plugins.FilterFunctions'>
2023-04-10 16:20:16,003: [29003] m.main:INFO: Beginning analysis
2023-04-10 16:20:16,007: [29003] m.e.manticore:INFO: Starting symbolic create contract
2023-04-10 16:20:18,537: [29003] m.e.manticore:INFO: Starting symbolic transaction: 0
2023-04-10 16:20:30,376: [29003] m.e.manticore:INFO: Found a concrete globalsha3 b'\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00' -> 73138091548938366139099779971772605061518111956507126412222883840269740007539
2023-04-10 16:20:38,267: [29003] m.e.manticore:INFO: 2 alive states, 2 terminated states
2023-04-10 16:20:39,398: [29003] m.e.manticore:INFO: Starting symbolic transaction: 1
2023-04-10 16:21:53,645: [29003] m.e.manticore:INFO: 5 alive states, 3 terminated states
2023-04-10 16:21:54,899: [29003] m.e.manticore:INFO: Starting symbolic transaction: 2
2023-04-10 16:25:27,288: [29003] m.e.manticore:INFO: 13 alive states, 5 terminated states
2023-04-10 16:25:41,591: [29141] m.c.manticore:INFO: Generated testcase No. 0 - STOP(4 txs)
2023-04-10 16:25:41,629: [29141] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:25:45,871: [29139] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:25:46,117: [29140] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:25:50,404: [29142] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:25:54,802: [29143] m.c.manticore:INFO: Generated testcase No. 1 - STOP(4 txs)
2023-04-10 16:25:54,889: [29143] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:26:05,656: [29140] m.c.manticore:INFO: Generated testcase No. 2 - STOP(4 txs)
2023-04-10 16:26:06,880: [29142] m.c.manticore:INFO: Generated testcase No. 3 - RETURN(4 txs)
2023-04-10 16:26:07,392: [29139] m.c.manticore:INFO: Generated testcase No. 4 - STOP(4 txs)
2023-04-10 16:26:23,241: [29146] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:26:23,659: [29145] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:26:28,865: [29144] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:26:38,257: [29135] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:26:45,770: [29138] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:26:53,457: [29136] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:27:06,072: [29145] m.c.manticore:INFO: Generated testcase No. 5 - STOP(4 txs)
2023-04-10 16:27:09,356: [29137] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:27:13,604: [29144] m.c.manticore:INFO: Generated testcase No. 6 - STOP(4 txs)
2023-04-10 16:27:18,202: [29146] m.c.manticore:INFO: Generated testcase No. 7 - STOP(4 txs)
2023-04-10 16:27:28,994: [29140] m.c.manticore:INFO: Generated testcase No. 8 - STOP(4 txs)
2023-04-10 16:27:38,616: [29135] m.c.manticore:INFO: Generated testcase No. 9 - RETURN(4 txs)
2023-04-10 16:27:55,135: [29138] m.c.manticore:INFO: Generated testcase No. 10 - RETURN(4 txs)
2023-04-10 16:28:06,618: [29136] m.c.manticore:INFO: Generated testcase No. 11 - RETURN(4 txs)
2023-04-10 16:28:28,531: [29137] m.c.manticore:INFO: Generated testcase No. 12 - RETURN(4 txs)
2023-04-10 16:29:24,051: [29003] m.c.plugin:WARNING: Caught will_solve in state None, but failed to capture its initialization
2023-04-10 16:31:22,546: [29003] m.c.manticore:INFO: Results in /home/hp/sachin/mcore_vxpikfwo
2023-04-10 16:31:22,546: [29003] m.c.manticore:INFO: Total time: 567.0799078941345