mirror of https://github.com/crytic/slither
parent
53238600a1
commit
b189951617
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
@ -0,0 +1,13 @@ |
|||||||
|
contract Test { |
||||||
|
error myError(); |
||||||
|
} |
||||||
|
|
||||||
|
interface VM { |
||||||
|
function expectRevert(bytes4) external; |
||||||
|
function expectRevert(bytes calldata) external; |
||||||
|
} |
||||||
|
contract A { |
||||||
|
function b(address c) public { |
||||||
|
VM(c).expectRevert(Test.myError.selector); |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
@ -0,0 +1,10 @@ |
|||||||
|
{ |
||||||
|
"Test": {}, |
||||||
|
"VM": { |
||||||
|
"expectRevert(bytes4)": "digraph{\n}\n", |
||||||
|
"expectRevert(bytes)": "digraph{\n}\n" |
||||||
|
}, |
||||||
|
"A": { |
||||||
|
"b(address)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n}\n" |
||||||
|
} |
||||||
|
} |
Loading…
Reference in new issue