mirror of https://github.com/crytic/slither
parent
e3a8a9864a
commit
728e40c7ec
@ -1,3 +1,5 @@ |
|||||||
{ |
{ |
||||||
"MinMax": {} |
"C": { |
||||||
|
"f()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n}\n" |
||||||
|
} |
||||||
} |
} |
@ -1,3 +1,5 @@ |
|||||||
{ |
{ |
||||||
"MinMax": {} |
"C": { |
||||||
|
"f()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n}\n" |
||||||
|
} |
||||||
} |
} |
@ -1,3 +1,5 @@ |
|||||||
{ |
{ |
||||||
"MinMax": {} |
"C": { |
||||||
|
"f()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n}\n" |
||||||
|
} |
||||||
} |
} |
@ -1,5 +1,5 @@ |
|||||||
{ |
{ |
||||||
"TernaryWithMax": { |
"TernaryWithMax": { |
||||||
"f(bool)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->2;\n2[label=\"Node Type: IF 2\n\"];\n2->3[label=\"True\"];\n2->4[label=\"False\"];\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->5;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: END_IF 5\n\"];\n}\n" |
"f(bool)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->2;\n2[label=\"Node Type: IF 2\n\"];\n2->3[label=\"True\"];\n2->4[label=\"False\"];\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->5;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: END_IF 5\n\"];\n5->6;\n6[label=\"Node Type: RETURN 6\n\"];\n}\n" |
||||||
} |
} |
||||||
} |
} |
Loading…
Reference in new issue