mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
72 lines
3.2 KiB
72 lines
3.2 KiB
[
|
|
{
|
|
"issues": [
|
|
{
|
|
"description": {
|
|
"head": "A reachable exception has been detected.",
|
|
"tail": "It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking."
|
|
},
|
|
"extra": {},
|
|
"locations": [
|
|
{
|
|
"sourceMap": "446:1:0"
|
|
}
|
|
],
|
|
"severity": "Low",
|
|
"swcID": "SWC-110",
|
|
"swcTitle": "Assert Violation"
|
|
},
|
|
{
|
|
"description": {
|
|
"head": "A reachable exception has been detected.",
|
|
"tail": "It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking."
|
|
},
|
|
"extra": {},
|
|
"locations": [
|
|
{
|
|
"sourceMap": "484:1:0"
|
|
}
|
|
],
|
|
"severity": "Low",
|
|
"swcID": "SWC-110",
|
|
"swcTitle": "Assert Violation"
|
|
},
|
|
{
|
|
"description": {
|
|
"head": "A reachable exception has been detected.",
|
|
"tail": "It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking."
|
|
},
|
|
"extra": {},
|
|
"locations": [
|
|
{
|
|
"sourceMap": "506:1:0"
|
|
}
|
|
],
|
|
"severity": "Low",
|
|
"swcID": "SWC-110",
|
|
"swcTitle": "Assert Violation"
|
|
},
|
|
{
|
|
"description": {
|
|
"head": "A reachable exception has been detected.",
|
|
"tail": "It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking."
|
|
},
|
|
"extra": {},
|
|
"locations": [
|
|
{
|
|
"sourceMap": "531:1:0"
|
|
}
|
|
],
|
|
"severity": "Low",
|
|
"swcID": "SWC-110",
|
|
"swcTitle": "Assert Violation"
|
|
}
|
|
],
|
|
"meta": {},
|
|
"sourceFormat": "evm-byzantium-bytecode",
|
|
"sourceList": [
|
|
"0x4a773a86bc6fb269f88bf09bb3094de29b6073cf13b1760e9d01d957f50a9dfd"
|
|
],
|
|
"sourceType": "raw-bytecode"
|
|
}
|
|
] |