0xSentinel | Web3 Security Scanner

First-pass contract triage

Scan Solidity contracts for common risk patterns before deeper review.

0xSENTINEL now uses AST-backed analysis when parsing succeeds, with a regex fallback for broken or partial source. It surfaces likely issues and remediation guidance, but it still does not replace a full manual audit.

SOURCE CODE

VulnerableBank.sol

Highlighted Solidity input

pragma solidity ^0.8.0;

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

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

    function withdraw() public {
        uint bal = balances[msg.sender];
        require(bal > 0);

        (bool sent, ) = msg.sender.call{value: bal}("");
        require(sent, "Failed to send Ether");

        balances[msg.sender] = 0;
    }
}

ANALYSIS REPORT

Ready for a first-pass scan.

Paste Solidity code and run the analyzer to surface likely issues, then verify findings during review.