mythril/tests/testdata/input_contracts/calls.sol

contract Caller {

	address public fixed_address;
	address public stored_address;

	uint256 statevar;

	constructor(address addr) public {
		fixed_address = address(0x552254CbAaF32613C6c0450CF19524594eF84044);
	}

	function thisisfine() public {
	    fixed_address.call("");
	}

	function reentrancy() public {
	    fixed_address.call("");
	    statevar = 0;
	}

	function calluseraddress(address addr) public {
	    addr.call("");
	}

	function callstoredaddress() public {
	    stored_address.call("");
	    statevar = 0;
	}

	function setstoredaddress(address addr) public {
	    stored_address = addr;
	}

}