diff --git a/tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol.0.4.25.ABIEncoderV2Array.json b/tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol.0.4.25.ABIEncoderV2Array.json index 5efc65c52..e17fd33b2 100644 --- a/tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol.0.4.25.ABIEncoderV2Array.json +++ b/tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol.0.4.25.ABIEncoderV2Array.json @@ -4,19 +4,19 @@ "elements": [ { "type": "function", - "name": "bad4", + "name": "bad1", "source_mapping": { - "start": 1296, - "length": 148, + "start": 726, + "length": 63, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 44, - 45, - 46 + 29, + 30, + 31 ], "starting_column": 3, "ending_column": 4 @@ -136,42 +136,42 @@ "ending_column": 2 } }, - "signature": "bad4()" + "signature": "bad1(A.S[3])" } }, { "type": "node", - "name": "event1_bad(bad_arr)", + "name": "this.bad1_external(s)", "source_mapping": { - "start": 1415, - "length": 24, + "start": 763, + "length": 21, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 45 + 30 ], "starting_column": 5, - "ending_column": 29 + "ending_column": 26 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad4", + "name": "bad1", "source_mapping": { - "start": 1296, - "length": 148, + "start": 726, + "length": 63, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 44, - 45, - 46 + 29, + 30, + 31 ], "starting_column": 3, "ending_column": 4 @@ -291,15 +291,15 @@ "ending_column": 2 } }, - "signature": "bad4()" + "signature": "bad1(A.S[3])" } } } } ], - "description": "Function A.bad4() (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#44-46) trigger an abi encoding bug:\n\t- event1_bad(bad_arr) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#45)\n", - "markdown": "Function [A.bad4()](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L44-L46) trigger an abi encoding bug:\n\t- [event1_bad(bad_arr)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L45)\n", - "id": "144c77aebb4037fe38c2864892ecb888a4fb7d5e92e321e664b2d2226658a166", + "description": "Function A.bad1(A.S[3]) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#29-31) trigger an abi encoding bug:\n\t- this.bad1_external(s) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#30)\n", + "markdown": "Function [A.bad1(A.S[3])](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L29-L31) trigger an abi encoding bug:\n\t- [this.bad1_external(s)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L30)\n", + "id": "3febdd98f71332c80290c9557c5ef89ea9dbea4f520a084b0307f21b00da5010", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" @@ -612,19 +612,19 @@ "elements": [ { "type": "function", - "name": "bad2", + "name": "bad4", "source_mapping": { - "start": 852, - "length": 160, + "start": 1296, + "length": 148, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 34, - 35, - 36 + 44, + 45, + 46 ], "starting_column": 3, "ending_column": 4 @@ -744,42 +744,42 @@ "ending_column": 2 } }, - "signature": "bad2()" + "signature": "bad4()" } }, { "type": "node", - "name": "b = abi.encode(bad_arr)", + "name": "event1_bad(bad_arr)", "source_mapping": { - "start": 971, - "length": 36, + "start": 1415, + "length": 24, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 35 + 45 ], "starting_column": 5, - "ending_column": 41 + "ending_column": 29 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad2", + "name": "bad4", "source_mapping": { - "start": 852, - "length": 160, + "start": 1296, + "length": 148, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 34, - 35, - 36 + 44, + 45, + 46 ], "starting_column": 3, "ending_column": 4 @@ -899,15 +899,15 @@ "ending_column": 2 } }, - "signature": "bad2()" + "signature": "bad4()" } } } } ], - "description": "Function A.bad2() (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#34-36) trigger an abi encoding bug:\n\t- b = abi.encode(bad_arr) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#35)\n", - "markdown": "Function [A.bad2()](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L34-L36) trigger an abi encoding bug:\n\t- [b = abi.encode(bad_arr)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L35)\n", - "id": "d5860309d331920d1e3f44508fea706df75a4a7c2e93666ca96ca00ef32d7e01", + "description": "Function A.bad4() (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#44-46) trigger an abi encoding bug:\n\t- event1_bad(bad_arr) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#45)\n", + "markdown": "Function [A.bad4()](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L44-L46) trigger an abi encoding bug:\n\t- [event1_bad(bad_arr)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L45)\n", + "id": "144c77aebb4037fe38c2864892ecb888a4fb7d5e92e321e664b2d2226658a166", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" @@ -916,19 +916,19 @@ "elements": [ { "type": "function", - "name": "bad0", + "name": "bad5", "source_mapping": { - "start": 540, - "length": 61, + "start": 1511, + "length": 142, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 21, - 22, - 23 + 49, + 50, + 51 ], "starting_column": 3, "ending_column": 4 @@ -1048,42 +1048,42 @@ "ending_column": 2 } }, - "signature": "bad0()" + "signature": "bad5()" } }, { "type": "node", - "name": "this.bad0_external(bad_arr)", + "name": "event2_bad(s)", "source_mapping": { - "start": 569, - "length": 27, + "start": 1630, + "length": 18, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 22 + 50 ], "starting_column": 5, - "ending_column": 32 + "ending_column": 23 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad0", + "name": "bad5", "source_mapping": { - "start": 540, - "length": 61, + "start": 1511, + "length": 142, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 21, - 22, - 23 + 49, + 50, + 51 ], "starting_column": 3, "ending_column": 4 @@ -1203,15 +1203,15 @@ "ending_column": 2 } }, - "signature": "bad0()" + "signature": "bad5()" } } } } ], - "description": "Function A.bad0() (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#21-23) trigger an abi encoding bug:\n\t- this.bad0_external(bad_arr) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#22)\n", - "markdown": "Function [A.bad0()](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L21-L23) trigger an abi encoding bug:\n\t- [this.bad0_external(bad_arr)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L22)\n", - "id": "3752da45df0ba78cc9ac01a10b398e4ad74e6ddd572764cf2f361e523a43a998", + "description": "Function A.bad5() (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#49-51) trigger an abi encoding bug:\n\t- event2_bad(s) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#50)\n", + "markdown": "Function [A.bad5()](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L49-L51) trigger an abi encoding bug:\n\t- [event2_bad(s)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L50)\n", + "id": "e77767c95f4548636027a859ca0c63402cfb50af242f116dd3cfc5b038a4128e", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" @@ -1220,19 +1220,19 @@ "elements": [ { "type": "function", - "name": "bad5", + "name": "bad0", "source_mapping": { - "start": 1511, - "length": 142, + "start": 540, + "length": 61, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 49, - 50, - 51 + 21, + 22, + 23 ], "starting_column": 3, "ending_column": 4 @@ -1352,42 +1352,42 @@ "ending_column": 2 } }, - "signature": "bad5()" + "signature": "bad0()" } }, { "type": "node", - "name": "event2_bad(s)", + "name": "this.bad0_external(bad_arr)", "source_mapping": { - "start": 1630, - "length": 18, + "start": 569, + "length": 27, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 50 + 22 ], "starting_column": 5, - "ending_column": 23 + "ending_column": 32 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad5", + "name": "bad0", "source_mapping": { - "start": 1511, - "length": 142, + "start": 540, + "length": 61, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 49, - 50, - 51 + 21, + 22, + 23 ], "starting_column": 3, "ending_column": 4 @@ -1507,15 +1507,15 @@ "ending_column": 2 } }, - "signature": "bad5()" + "signature": "bad0()" } } } } ], - "description": "Function A.bad5() (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#49-51) trigger an abi encoding bug:\n\t- event2_bad(s) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#50)\n", - "markdown": "Function [A.bad5()](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L49-L51) trigger an abi encoding bug:\n\t- [event2_bad(s)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L50)\n", - "id": "e77767c95f4548636027a859ca0c63402cfb50af242f116dd3cfc5b038a4128e", + "description": "Function A.bad0() (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#21-23) trigger an abi encoding bug:\n\t- this.bad0_external(bad_arr) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#22)\n", + "markdown": "Function [A.bad0()](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L21-L23) trigger an abi encoding bug:\n\t- [this.bad0_external(bad_arr)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L22)\n", + "id": "3752da45df0ba78cc9ac01a10b398e4ad74e6ddd572764cf2f361e523a43a998", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" @@ -1524,19 +1524,19 @@ "elements": [ { "type": "function", - "name": "bad1", + "name": "bad2", "source_mapping": { - "start": 726, - "length": 63, + "start": 852, + "length": 160, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 29, - 30, - 31 + 34, + 35, + 36 ], "starting_column": 3, "ending_column": 4 @@ -1656,42 +1656,42 @@ "ending_column": 2 } }, - "signature": "bad1(A.S[3])" + "signature": "bad2()" } }, { "type": "node", - "name": "this.bad1_external(s)", + "name": "b = abi.encode(bad_arr)", "source_mapping": { - "start": 763, - "length": 21, + "start": 971, + "length": 36, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 30 + 35 ], "starting_column": 5, - "ending_column": 26 + "ending_column": 41 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad1", + "name": "bad2", "source_mapping": { - "start": 726, - "length": 63, + "start": 852, + "length": 160, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 29, - 30, - 31 + 34, + 35, + 36 ], "starting_column": 3, "ending_column": 4 @@ -1811,15 +1811,15 @@ "ending_column": 2 } }, - "signature": "bad1(A.S[3])" + "signature": "bad2()" } } } } ], - "description": "Function A.bad1(A.S[3]) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#29-31) trigger an abi encoding bug:\n\t- this.bad1_external(s) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#30)\n", - "markdown": "Function [A.bad1(A.S[3])](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L29-L31) trigger an abi encoding bug:\n\t- [this.bad1_external(s)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L30)\n", - "id": "3febdd98f71332c80290c9557c5ef89ea9dbea4f520a084b0307f21b00da5010", + "description": "Function A.bad2() (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#34-36) trigger an abi encoding bug:\n\t- b = abi.encode(bad_arr) (tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#35)\n", + "markdown": "Function [A.bad2()](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L34-L36) trigger an abi encoding bug:\n\t- [b = abi.encode(bad_arr)](tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol#L35)\n", + "id": "d5860309d331920d1e3f44508fea706df75a4a7c2e93666ca96ca00ef32d7e01", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" diff --git a/tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol.0.5.10.ABIEncoderV2Array.json b/tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol.0.5.10.ABIEncoderV2Array.json index 1616cc0e4..32e73918f 100644 --- a/tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol.0.5.10.ABIEncoderV2Array.json +++ b/tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol.0.5.10.ABIEncoderV2Array.json @@ -4,19 +4,19 @@ "elements": [ { "type": "function", - "name": "bad4", + "name": "bad5", "source_mapping": { - "start": 1321, - "length": 148, + "start": 1536, + "length": 142, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 44, - 45, - 46 + 49, + 50, + 51 ], "starting_column": 3, "ending_column": 4 @@ -136,42 +136,42 @@ "ending_column": 2 } }, - "signature": "bad4()" + "signature": "bad5()" } }, { "type": "node", - "name": "event1_bad(bad_arr)", + "name": "event2_bad(s)", "source_mapping": { - "start": 1440, - "length": 24, + "start": 1655, + "length": 18, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 45 + 50 ], "starting_column": 5, - "ending_column": 29 + "ending_column": 23 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad4", + "name": "bad5", "source_mapping": { - "start": 1321, - "length": 148, + "start": 1536, + "length": 142, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 44, - 45, - 46 + 49, + 50, + 51 ], "starting_column": 3, "ending_column": 4 @@ -291,15 +291,15 @@ "ending_column": 2 } }, - "signature": "bad4()" + "signature": "bad5()" } } } } ], - "description": "Function A.bad4() (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#44-46) trigger an abi encoding bug:\n\t- event1_bad(bad_arr) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#45)\n", - "markdown": "Function [A.bad4()](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L44-L46) trigger an abi encoding bug:\n\t- [event1_bad(bad_arr)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L45)\n", - "id": "41b64698d5678d4095816d22b2d431371ca18801800bcf35b077e2675724a4e6", + "description": "Function A.bad5() (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#49-51) trigger an abi encoding bug:\n\t- event2_bad(s) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#50)\n", + "markdown": "Function [A.bad5()](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L49-L51) trigger an abi encoding bug:\n\t- [event2_bad(s)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L50)\n", + "id": "eeb6e1300bf8056da088cb4f3e2703471fee9fdca73774ce3643fb884954d216", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" @@ -308,19 +308,19 @@ "elements": [ { "type": "function", - "name": "bad0", + "name": "bad1", "source_mapping": { - "start": 549, - "length": 61, + "start": 744, + "length": 70, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 21, - 22, - 23 + 29, + 30, + 31 ], "starting_column": 3, "ending_column": 4 @@ -440,42 +440,42 @@ "ending_column": 2 } }, - "signature": "bad0()" + "signature": "bad1(A.S[3])" } }, { "type": "node", - "name": "this.bad0_external(bad_arr)", + "name": "this.bad1_external(s)", "source_mapping": { - "start": 578, - "length": 27, + "start": 788, + "length": 21, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 22 + 30 ], "starting_column": 5, - "ending_column": 32 + "ending_column": 26 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad0", + "name": "bad1", "source_mapping": { - "start": 549, - "length": 61, + "start": 744, + "length": 70, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 21, - 22, - 23 + 29, + 30, + 31 ], "starting_column": 3, "ending_column": 4 @@ -595,15 +595,15 @@ "ending_column": 2 } }, - "signature": "bad0()" + "signature": "bad1(A.S[3])" } } } } ], - "description": "Function A.bad0() (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#21-23) trigger an abi encoding bug:\n\t- this.bad0_external(bad_arr) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#22)\n", - "markdown": "Function [A.bad0()](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L21-L23) trigger an abi encoding bug:\n\t- [this.bad0_external(bad_arr)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L22)\n", - "id": "f9335a48cb948e294b54605d1c63d61e863a824f3346be2db07c923896aafac0", + "description": "Function A.bad1(A.S[3]) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#29-31) trigger an abi encoding bug:\n\t- this.bad1_external(s) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#30)\n", + "markdown": "Function [A.bad1(A.S[3])](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L29-L31) trigger an abi encoding bug:\n\t- [this.bad1_external(s)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L30)\n", + "id": "e432c7633b89e67459b76c1265a299e59fe6a651edd8888067df47200840451d", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" @@ -612,19 +612,19 @@ "elements": [ { "type": "function", - "name": "bad5", + "name": "bad2", "source_mapping": { - "start": 1536, - "length": 142, + "start": 877, + "length": 160, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 49, - 50, - 51 + 34, + 35, + 36 ], "starting_column": 3, "ending_column": 4 @@ -744,42 +744,42 @@ "ending_column": 2 } }, - "signature": "bad5()" + "signature": "bad2()" } }, { "type": "node", - "name": "event2_bad(s)", + "name": "b = abi.encode(bad_arr)", "source_mapping": { - "start": 1655, - "length": 18, + "start": 996, + "length": 36, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 50 + 35 ], "starting_column": 5, - "ending_column": 23 + "ending_column": 41 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad5", + "name": "bad2", "source_mapping": { - "start": 1536, - "length": 142, + "start": 877, + "length": 160, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 49, - 50, - 51 + 34, + 35, + 36 ], "starting_column": 3, "ending_column": 4 @@ -899,15 +899,15 @@ "ending_column": 2 } }, - "signature": "bad5()" + "signature": "bad2()" } } } } ], - "description": "Function A.bad5() (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#49-51) trigger an abi encoding bug:\n\t- event2_bad(s) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#50)\n", - "markdown": "Function [A.bad5()](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L49-L51) trigger an abi encoding bug:\n\t- [event2_bad(s)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L50)\n", - "id": "eeb6e1300bf8056da088cb4f3e2703471fee9fdca73774ce3643fb884954d216", + "description": "Function A.bad2() (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#34-36) trigger an abi encoding bug:\n\t- b = abi.encode(bad_arr) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#35)\n", + "markdown": "Function [A.bad2()](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L34-L36) trigger an abi encoding bug:\n\t- [b = abi.encode(bad_arr)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L35)\n", + "id": "fb8e8ba854095891e3a490b43b126215858286a4a59902e7c63394a83befab0b", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" @@ -916,19 +916,19 @@ "elements": [ { "type": "function", - "name": "bad2", + "name": "bad4", "source_mapping": { - "start": 877, - "length": 160, + "start": 1321, + "length": 148, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 34, - 35, - 36 + 44, + 45, + 46 ], "starting_column": 3, "ending_column": 4 @@ -1048,42 +1048,42 @@ "ending_column": 2 } }, - "signature": "bad2()" + "signature": "bad4()" } }, { "type": "node", - "name": "b = abi.encode(bad_arr)", + "name": "event1_bad(bad_arr)", "source_mapping": { - "start": 996, - "length": 36, + "start": 1440, + "length": 24, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 35 + 45 ], "starting_column": 5, - "ending_column": 41 + "ending_column": 29 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad2", + "name": "bad4", "source_mapping": { - "start": 877, - "length": 160, + "start": 1321, + "length": 148, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 34, - 35, - 36 + 44, + 45, + 46 ], "starting_column": 3, "ending_column": 4 @@ -1203,15 +1203,15 @@ "ending_column": 2 } }, - "signature": "bad2()" + "signature": "bad4()" } } } } ], - "description": "Function A.bad2() (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#34-36) trigger an abi encoding bug:\n\t- b = abi.encode(bad_arr) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#35)\n", - "markdown": "Function [A.bad2()](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L34-L36) trigger an abi encoding bug:\n\t- [b = abi.encode(bad_arr)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L35)\n", - "id": "fb8e8ba854095891e3a490b43b126215858286a4a59902e7c63394a83befab0b", + "description": "Function A.bad4() (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#44-46) trigger an abi encoding bug:\n\t- event1_bad(bad_arr) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#45)\n", + "markdown": "Function [A.bad4()](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L44-L46) trigger an abi encoding bug:\n\t- [event1_bad(bad_arr)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L45)\n", + "id": "41b64698d5678d4095816d22b2d431371ca18801800bcf35b077e2675724a4e6", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" @@ -1524,19 +1524,19 @@ "elements": [ { "type": "function", - "name": "bad1", + "name": "bad0", "source_mapping": { - "start": 744, - "length": 70, + "start": 549, + "length": 61, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 29, - 30, - 31 + 21, + 22, + 23 ], "starting_column": 3, "ending_column": 4 @@ -1656,42 +1656,42 @@ "ending_column": 2 } }, - "signature": "bad1(A.S[3])" + "signature": "bad0()" } }, { "type": "node", - "name": "this.bad1_external(s)", + "name": "this.bad0_external(bad_arr)", "source_mapping": { - "start": 788, - "length": 21, + "start": 578, + "length": 27, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 30 + 22 ], "starting_column": 5, - "ending_column": 26 + "ending_column": 32 }, "type_specific_fields": { "parent": { "type": "function", - "name": "bad1", + "name": "bad0", "source_mapping": { - "start": 744, - "length": 70, + "start": 549, + "length": 61, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "is_dependency": false, "lines": [ - 29, - 30, - 31 + 21, + 22, + 23 ], "starting_column": 3, "ending_column": 4 @@ -1811,15 +1811,15 @@ "ending_column": 2 } }, - "signature": "bad1(A.S[3])" + "signature": "bad0()" } } } } ], - "description": "Function A.bad1(A.S[3]) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#29-31) trigger an abi encoding bug:\n\t- this.bad1_external(s) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#30)\n", - "markdown": "Function [A.bad1(A.S[3])](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L29-L31) trigger an abi encoding bug:\n\t- [this.bad1_external(s)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L30)\n", - "id": "e432c7633b89e67459b76c1265a299e59fe6a651edd8888067df47200840451d", + "description": "Function A.bad0() (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#21-23) trigger an abi encoding bug:\n\t- this.bad0_external(bad_arr) (tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#22)\n", + "markdown": "Function [A.bad0()](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L21-L23) trigger an abi encoding bug:\n\t- [this.bad0_external(bad_arr)](tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol#L22)\n", + "id": "f9335a48cb948e294b54605d1c63d61e863a824f3346be2db07c923896aafac0", "check": "abiencoderv2-array", "impact": "High", "confidence": "High" diff --git a/tests/detectors/arbitrary-send/0.6.11/arbitrary_send.sol.0.4.25.ArbitrarySend.json b/tests/detectors/arbitrary-send/0.6.11/arbitrary_send.sol.0.4.25.ArbitrarySend.json deleted file mode 100644 index 2ead6ce0c..000000000 --- a/tests/detectors/arbitrary-send/0.6.11/arbitrary_send.sol.0.4.25.ArbitrarySend.json +++ /dev/null @@ -1,388 +0,0 @@ -[ - [ - { - "elements": [ - { - "type": "function", - "name": "direct", - "source_mapping": { - "start": 147, - "length": 79, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 11, - 12, - 13 - ], - "starting_column": 5, - "ending_column": 6 - }, - "type_specific_fields": { - "parent": { - "type": "contract", - "name": "Test", - "source_mapping": { - "start": 0, - "length": 869, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 1, - 2, - 3, - 4, - 5, - 6, - 7, - 8, - 9, - 10, - 11, - 12, - 13, - 14, - 15, - 16, - 17, - 18, - 19, - 20, - 21, - 22, - 23, - 24, - 25, - 26, - 27, - 28, - 29, - 30, - 31, - 32, - 33, - 34, - 35, - 36, - 37, - 38, - 39, - 40, - 41 - ], - "starting_column": 1, - "ending_column": 2 - } - }, - "signature": "direct()" - } - }, - { - "type": "node", - "name": "msg.sender.send(address(this).balance)", - "source_mapping": { - "start": 181, - "length": 38, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 12 - ], - "starting_column": 9, - "ending_column": 47 - }, - "type_specific_fields": { - "parent": { - "type": "function", - "name": "direct", - "source_mapping": { - "start": 147, - "length": 79, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 11, - 12, - 13 - ], - "starting_column": 5, - "ending_column": 6 - }, - "type_specific_fields": { - "parent": { - "type": "contract", - "name": "Test", - "source_mapping": { - "start": 0, - "length": 869, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 1, - 2, - 3, - 4, - 5, - 6, - 7, - 8, - 9, - 10, - 11, - 12, - 13, - 14, - 15, - 16, - 17, - 18, - 19, - 20, - 21, - 22, - 23, - 24, - 25, - 26, - 27, - 28, - 29, - 30, - 31, - 32, - 33, - 34, - 35, - 36, - 37, - 38, - 39, - 40, - 41 - ], - "starting_column": 1, - "ending_column": 2 - } - }, - "signature": "direct()" - } - } - } - } - ], - "description": "Test.direct() (tests/detectors/arbitrary-send/arbitrary_send.sol#11-13) sends eth to arbitrary user\n\tDangerous calls:\n\t- msg.sender.send(address(this).balance) (tests/detectors/arbitrary-send/arbitrary_send.sol#12)\n", - "markdown": "[Test.direct()](tests/detectors/arbitrary-send/arbitrary_send.sol#L11-L13) sends eth to arbitrary user\n\tDangerous calls:\n\t- [msg.sender.send(address(this).balance)](tests/detectors/arbitrary-send/arbitrary_send.sol#L12)\n", - "id": "62016ac9363a509bd815fc0bb31b326b235dad50d7771dea249037d40169138e", - "check": "arbitrary-send", - "impact": "High", - "confidence": "Medium" - }, - { - "elements": [ - { - "type": "function", - "name": "indirect", - "source_mapping": { - "start": 301, - "length": 82, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 19, - 20, - 21 - ], - "starting_column": 5, - "ending_column": 6 - }, - "type_specific_fields": { - "parent": { - "type": "contract", - "name": "Test", - "source_mapping": { - "start": 0, - "length": 869, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 1, - 2, - 3, - 4, - 5, - 6, - 7, - 8, - 9, - 10, - 11, - 12, - 13, - 14, - 15, - 16, - 17, - 18, - 19, - 20, - 21, - 22, - 23, - 24, - 25, - 26, - 27, - 28, - 29, - 30, - 31, - 32, - 33, - 34, - 35, - 36, - 37, - 38, - 39, - 40, - 41 - ], - "starting_column": 1, - "ending_column": 2 - } - }, - "signature": "indirect()" - } - }, - { - "type": "node", - "name": "destination.send(address(this).balance)", - "source_mapping": { - "start": 337, - "length": 39, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 20 - ], - "starting_column": 9, - "ending_column": 48 - }, - "type_specific_fields": { - "parent": { - "type": "function", - "name": "indirect", - "source_mapping": { - "start": 301, - "length": 82, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 19, - 20, - 21 - ], - "starting_column": 5, - "ending_column": 6 - }, - "type_specific_fields": { - "parent": { - "type": "contract", - "name": "Test", - "source_mapping": { - "start": 0, - "length": 869, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/arbitrary-send/arbitrary_send.sol", - "is_dependency": false, - "lines": [ - 1, - 2, - 3, - 4, - 5, - 6, - 7, - 8, - 9, - 10, - 11, - 12, - 13, - 14, - 15, - 16, - 17, - 18, - 19, - 20, - 21, - 22, - 23, - 24, - 25, - 26, - 27, - 28, - 29, - 30, - 31, - 32, - 33, - 34, - 35, - 36, - 37, - 38, - 39, - 40, - 41 - ], - "starting_column": 1, - "ending_column": 2 - } - }, - "signature": "indirect()" - } - } - } - } - ], - "description": "Test.indirect() (tests/detectors/arbitrary-send/arbitrary_send.sol#19-21) sends eth to arbitrary user\n\tDangerous calls:\n\t- destination.send(address(this).balance) (tests/detectors/arbitrary-send/arbitrary_send.sol#20)\n", - "markdown": "[Test.indirect()](tests/detectors/arbitrary-send/arbitrary_send.sol#L19-L21) sends eth to arbitrary user\n\tDangerous calls:\n\t- [destination.send(address(this).balance)](tests/detectors/arbitrary-send/arbitrary_send.sol#L20)\n", - "id": "62a25f56dfce54ce59cdf81a1821f2ea8a8eb7d12a6a794b9c4f09ba7f7bc543", - "check": "arbitrary-send", - "impact": "High", - "confidence": "Medium" - } - ] -] \ No newline at end of file diff --git a/tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol b/tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol similarity index 100% rename from tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol rename to tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol diff --git a/tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json b/tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json similarity index 88% rename from tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json rename to tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json index 0ab844363..2dc688704 100644 --- a/tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json +++ b/tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json @@ -9,9 +9,9 @@ "start": 162, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 9, @@ -29,9 +29,9 @@ "start": 0, "length": 923, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 1, @@ -96,9 +96,9 @@ "start": 221, "length": 18, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 10 @@ -114,9 +114,9 @@ "start": 162, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 9, @@ -134,9 +134,9 @@ "start": 0, "length": 923, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 1, @@ -197,9 +197,9 @@ } } ], - "description": "MyConc.bad1(bool) (tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol#9-11) uses a Boolean constant improperly:\n\t-(b || true) (tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol#10)\n", - "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol#L9-L11) uses a Boolean constant improperly:\n\t-[(b || true)](tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol#L10)\n", - "id": "c8c323396d19d9ddfd97f18ed731c7f07bb1cc030c198c830b595a770aeb26c2", + "description": "MyConc.bad1(bool) (tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol#9-11) uses a Boolean constant improperly:\n\t-(b || true) (tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol#10)\n", + "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol#L9-L11) uses a Boolean constant improperly:\n\t-[(b || true)](tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol#L10)\n", + "id": "4b8abd9aa6870f3044de67a84b3139e4a79c9ac13b4c0ed4f0772713f12c709b", "check": "boolean-cst", "impact": "Medium", "confidence": "Medium" diff --git a/tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol b/tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol similarity index 100% rename from tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol rename to tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol diff --git a/tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json b/tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json similarity index 88% rename from tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json rename to tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json index a30e3ec86..94bf5d0d6 100644 --- a/tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json +++ b/tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json @@ -9,9 +9,9 @@ "start": 162, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 9, @@ -29,9 +29,9 @@ "start": 0, "length": 923, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 1, @@ -96,9 +96,9 @@ "start": 221, "length": 18, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 10 @@ -114,9 +114,9 @@ "start": 162, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 9, @@ -134,9 +134,9 @@ "start": 0, "length": 923, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 1, @@ -197,9 +197,9 @@ } } ], - "description": "MyConc.bad1(bool) (tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol#9-11) uses a Boolean constant improperly:\n\t-(b || true) (tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol#10)\n", - "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol#L9-L11) uses a Boolean constant improperly:\n\t-[(b || true)](tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol#L10)\n", - "id": "f6ceb7e0651a96a88da265b955956fb4a3878f1491c81cf6bc8e433b5006e6aa", + "description": "MyConc.bad1(bool) (tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol#9-11) uses a Boolean constant improperly:\n\t-(b || true) (tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol#10)\n", + "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol#L9-L11) uses a Boolean constant improperly:\n\t-[(b || true)](tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol#L10)\n", + "id": "bd4514763d71bc7fcb2a681b1fe98928e9d1dd92882c5fe0480e52cba9130cfe", "check": "boolean-cst", "impact": "Medium", "confidence": "Medium" diff --git a/tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol b/tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol similarity index 100% rename from tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol rename to tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol diff --git a/tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json b/tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json similarity index 88% rename from tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json rename to tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json index e1330807b..62425f97a 100644 --- a/tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json +++ b/tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json @@ -9,9 +9,9 @@ "start": 162, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 9, @@ -29,9 +29,9 @@ "start": 0, "length": 923, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 1, @@ -96,9 +96,9 @@ "start": 221, "length": 18, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 10 @@ -114,9 +114,9 @@ "start": 162, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 9, @@ -134,9 +134,9 @@ "start": 0, "length": 923, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 1, @@ -197,9 +197,9 @@ } } ], - "description": "MyConc.bad1(bool) (tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol#9-11) uses a Boolean constant improperly:\n\t-(b || true) (tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol#10)\n", - "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol#L9-L11) uses a Boolean constant improperly:\n\t-[(b || true)](tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol#L10)\n", - "id": "0b2599e627a1163a49a4113426fe385f5987d7e247cdbe8e2d9b39988b95478a", + "description": "MyConc.bad1(bool) (tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol#9-11) uses a Boolean constant improperly:\n\t-(b || true) (tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol#10)\n", + "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol#L9-L11) uses a Boolean constant improperly:\n\t-[(b || true)](tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol#L10)\n", + "id": "81067a443028f22790f44718bff947b7ec6de12b929bd89147d3b34044b3890d", "check": "boolean-cst", "impact": "Medium", "confidence": "Medium" diff --git a/tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol b/tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol similarity index 100% rename from tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol rename to tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol diff --git a/tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json b/tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json similarity index 88% rename from tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json rename to tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json index 62b170eb1..835d09fb7 100644 --- a/tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json +++ b/tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json @@ -9,9 +9,9 @@ "start": 162, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 9, @@ -29,9 +29,9 @@ "start": 0, "length": 923, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 1, @@ -96,9 +96,9 @@ "start": 221, "length": 18, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 10 @@ -114,9 +114,9 @@ "start": 162, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 9, @@ -134,9 +134,9 @@ "start": 0, "length": 923, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_relative": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "filename_short": "tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol", "is_dependency": false, "lines": [ 1, @@ -197,9 +197,9 @@ } } ], - "description": "MyConc.bad1(bool) (tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol#9-11) uses a Boolean constant improperly:\n\t-(b || true) (tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol#10)\n", - "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol#L9-L11) uses a Boolean constant improperly:\n\t-[(b || true)](tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol#L10)\n", - "id": "a7e009ec0e6c5e4bf5dd828bcbeff63d020b9e2a10ad7ad350c13ad8cd277697", + "description": "MyConc.bad1(bool) (tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol#9-11) uses a Boolean constant improperly:\n\t-(b || true) (tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol#10)\n", + "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol#L9-L11) uses a Boolean constant improperly:\n\t-[(b || true)](tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol#L10)\n", + "id": "d96572f8601700902d157c2b4ad0b66254eba7a6d9c83710f26ea8cbdf2085fa", "check": "boolean-cst", "impact": "Medium", "confidence": "Medium" diff --git a/tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol b/tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol similarity index 100% rename from tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol rename to tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol diff --git a/tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json b/tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json similarity index 86% rename from tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json rename to tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json index a04357142..fb6f0efc5 100644 --- a/tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json +++ b/tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json @@ -9,9 +9,9 @@ "start": 139, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 7, @@ -29,9 +29,9 @@ "start": 0, "length": 578, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 1, @@ -77,9 +77,9 @@ "start": 198, "length": 18, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 8 @@ -95,9 +95,9 @@ "start": 139, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 7, @@ -115,9 +115,9 @@ "start": 0, "length": 578, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 1, @@ -159,9 +159,9 @@ } } ], - "description": "MyConc.bad1(bool) (tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol#7-9) compares to a boolean constant:\n\t-(b == true) (tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol#8)\n", - "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol#L7-L9) compares to a boolean constant:\n\t-[(b == true)](tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol#L8)\n", - "id": "953771b4660b92d842bccca2554dbcb5bc0988f4b0875b573a0b1211959c84be", + "description": "MyConc.bad1(bool) (tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol#7-9) compares to a boolean constant:\n\t-(b == true) (tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol#8)\n", + "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol#L7-L9) compares to a boolean constant:\n\t-[(b == true)](tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol#L8)\n", + "id": "55ba7d7edfd3cc9012d1fbd9d2ba12a488d950a885c3664fe080b90288a2c715", "check": "boolean-equal", "impact": "Informational", "confidence": "High" diff --git a/tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol b/tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol similarity index 100% rename from tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol rename to tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol diff --git a/tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json b/tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json similarity index 86% rename from tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json rename to tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json index 1ca129404..e92f0ba00 100644 --- a/tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json +++ b/tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json @@ -9,9 +9,9 @@ "start": 139, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 7, @@ -29,9 +29,9 @@ "start": 0, "length": 578, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 1, @@ -77,9 +77,9 @@ "start": 198, "length": 18, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 8 @@ -95,9 +95,9 @@ "start": 139, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 7, @@ -115,9 +115,9 @@ "start": 0, "length": 578, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 1, @@ -159,9 +159,9 @@ } } ], - "description": "MyConc.bad1(bool) (tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol#7-9) compares to a boolean constant:\n\t-(b == true) (tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol#8)\n", - "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol#L7-L9) compares to a boolean constant:\n\t-[(b == true)](tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol#L8)\n", - "id": "55f3ed7ce9767b07a34113bd35c34e61c20eb8ec35174086cdfea6c0063bd946", + "description": "MyConc.bad1(bool) (tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol#7-9) compares to a boolean constant:\n\t-(b == true) (tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol#8)\n", + "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol#L7-L9) compares to a boolean constant:\n\t-[(b == true)](tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol#L8)\n", + "id": "be01fe651d102dc47ca3eb623ba9078138896f662948665b8d4e03780305c085", "check": "boolean-equal", "impact": "Informational", "confidence": "High" diff --git a/tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol b/tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol similarity index 100% rename from tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol rename to tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol diff --git a/tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json b/tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json similarity index 86% rename from tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json rename to tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json index 645981de8..eb9f63301 100644 --- a/tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json +++ b/tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json @@ -9,9 +9,9 @@ "start": 139, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 7, @@ -29,9 +29,9 @@ "start": 0, "length": 578, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 1, @@ -77,9 +77,9 @@ "start": 198, "length": 18, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 8 @@ -95,9 +95,9 @@ "start": 139, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 7, @@ -115,9 +115,9 @@ "start": 0, "length": 578, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 1, @@ -159,9 +159,9 @@ } } ], - "description": "MyConc.bad1(bool) (tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol#7-9) compares to a boolean constant:\n\t-(b == true) (tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol#8)\n", - "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol#L7-L9) compares to a boolean constant:\n\t-[(b == true)](tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol#L8)\n", - "id": "c51b5452fc3e68aff071a2c4ab0963cbbb1b55871b53c0131c11d4cf8abd046f", + "description": "MyConc.bad1(bool) (tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol#7-9) compares to a boolean constant:\n\t-(b == true) (tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol#8)\n", + "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol#L7-L9) compares to a boolean constant:\n\t-[(b == true)](tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol#L8)\n", + "id": "0f863694c7b456673256b0f8002c9ac9f050b89b9ec3c86936c6399b3eb4b2e1", "check": "boolean-equal", "impact": "Informational", "confidence": "High" diff --git a/tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol b/tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol similarity index 100% rename from tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol rename to tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol diff --git a/tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json b/tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json similarity index 86% rename from tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json rename to tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json index 367bb3d6f..0b863a5f4 100644 --- a/tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json +++ b/tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json @@ -9,9 +9,9 @@ "start": 139, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 7, @@ -29,9 +29,9 @@ "start": 0, "length": 578, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 1, @@ -77,9 +77,9 @@ "start": 198, "length": 18, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 8 @@ -95,9 +95,9 @@ "start": 139, "length": 84, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 7, @@ -115,9 +115,9 @@ "start": 0, "length": 578, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_relative": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "filename_short": "tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol", "is_dependency": false, "lines": [ 1, @@ -159,9 +159,9 @@ } } ], - "description": "MyConc.bad1(bool) (tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol#7-9) compares to a boolean constant:\n\t-(b == true) (tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol#8)\n", - "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol#L7-L9) compares to a boolean constant:\n\t-[(b == true)](tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol#L8)\n", - "id": "f74a4de05a37e9f8a5f8926e2981a611972623fd7a0281f6d2bc4ec32899abfe", + "description": "MyConc.bad1(bool) (tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol#7-9) compares to a boolean constant:\n\t-(b == true) (tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol#8)\n", + "markdown": "[MyConc.bad1(bool)](tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol#L7-L9) compares to a boolean constant:\n\t-[(b == true)](tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol#L8)\n", + "id": "7c89c8f828e73eb875b8f06bb1404ed2271cc5806f167d621604c23f62705f60", "check": "boolean-equal", "impact": "Informational", "confidence": "High" diff --git a/tests/detectors/constant/0.4.25/constant.sol b/tests/detectors/constant-function-asm/0.4.25/constant.sol similarity index 100% rename from tests/detectors/constant/0.4.25/constant.sol rename to tests/detectors/constant-function-asm/0.4.25/constant.sol diff --git a/tests/detectors/constant/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json b/tests/detectors/constant-function-asm/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json similarity index 89% rename from tests/detectors/constant/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json rename to tests/detectors/constant-function-asm/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json index 672df1efc..b51a91448 100644 --- a/tests/detectors/constant/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json +++ b/tests/detectors/constant-function-asm/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json @@ -9,9 +9,9 @@ "start": 324, "length": 66, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-asm/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-asm/0.4.25/constant.sol", "is_dependency": false, "lines": [ 22, @@ -29,9 +29,9 @@ "start": 0, "length": 392, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-asm/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-asm/0.4.25/constant.sol", "is_dependency": false, "lines": [ 1, @@ -68,8 +68,8 @@ } } ], - "description": "Constant.test_assembly_bug() (tests/detectors/constant/0.4.25/constant.sol#22-24) is declared view but contains assembly code\n", - "markdown": "[Constant.test_assembly_bug()](tests/detectors/constant/0.4.25/constant.sol#L22-L24) is declared view but contains assembly code\n", + "description": "Constant.test_assembly_bug() (tests/detectors/constant-function-asm/0.4.25/constant.sol#22-24) is declared view but contains assembly code\n", + "markdown": "[Constant.test_assembly_bug()](tests/detectors/constant-function-asm/0.4.25/constant.sol#L22-L24) is declared view but contains assembly code\n", "id": "1f892cae08b89096bdc4d6ecdf55a3adc4b4314390e054fe2547d9c8e9f76e23", "additional_fields": { "contains_assembly": true diff --git a/tests/detectors/constant/0.5.16/constant.sol b/tests/detectors/constant-function-asm/0.5.16/constant.sol similarity index 100% rename from tests/detectors/constant/0.5.16/constant.sol rename to tests/detectors/constant-function-asm/0.5.16/constant.sol diff --git a/tests/detectors/constant/0.5.16/constant.sol.0.5.16.ConstantFunctionsAsm.json b/tests/detectors/constant-function-asm/0.5.16/constant.sol.0.5.16.ConstantFunctionsAsm.json similarity index 100% rename from tests/detectors/constant/0.5.16/constant.sol.0.5.16.ConstantFunctionsAsm.json rename to tests/detectors/constant-function-asm/0.5.16/constant.sol.0.5.16.ConstantFunctionsAsm.json diff --git a/tests/detectors/constant/0.6.11/constant.sol b/tests/detectors/constant-function-asm/0.6.11/constant.sol similarity index 100% rename from tests/detectors/constant/0.6.11/constant.sol rename to tests/detectors/constant-function-asm/0.6.11/constant.sol diff --git a/tests/detectors/constant/0.6.11/constant.sol.0.6.11.ConstantFunctionsAsm.json b/tests/detectors/constant-function-asm/0.6.11/constant.sol.0.6.11.ConstantFunctionsAsm.json similarity index 100% rename from tests/detectors/constant/0.6.11/constant.sol.0.6.11.ConstantFunctionsAsm.json rename to tests/detectors/constant-function-asm/0.6.11/constant.sol.0.6.11.ConstantFunctionsAsm.json diff --git a/tests/detectors/constant/0.7.6/constant.sol b/tests/detectors/constant-function-asm/0.7.6/constant.sol similarity index 100% rename from tests/detectors/constant/0.7.6/constant.sol rename to tests/detectors/constant-function-asm/0.7.6/constant.sol diff --git a/tests/detectors/constant/0.7.6/constant.sol.0.7.6.ConstantFunctionsAsm.json b/tests/detectors/constant-function-asm/0.7.6/constant.sol.0.7.6.ConstantFunctionsAsm.json similarity index 100% rename from tests/detectors/constant/0.7.6/constant.sol.0.7.6.ConstantFunctionsAsm.json rename to tests/detectors/constant-function-asm/0.7.6/constant.sol.0.7.6.ConstantFunctionsAsm.json diff --git a/tests/detectors/constant-function-state/0.4.25/constant.sol b/tests/detectors/constant-function-state/0.4.25/constant.sol new file mode 100644 index 000000000..934634803 --- /dev/null +++ b/tests/detectors/constant-function-state/0.4.25/constant.sol @@ -0,0 +1,25 @@ +contract Constant { + + uint a; + + function test_view_bug() public view{ + a = 0; + } + + function test_constant_bug() public constant{ + a = 0; + } + + function test_view_shadow() public view{ + uint a; + a = 0; + } + + function test_view() public view{ + a; + } + + function test_assembly_bug() public view{ + assembly{} + } +} diff --git a/tests/detectors/constant/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json b/tests/detectors/constant-function-state/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json similarity index 88% rename from tests/detectors/constant/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json rename to tests/detectors/constant-function-state/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json index 2ee21c819..c8d8db0f5 100644 --- a/tests/detectors/constant/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json +++ b/tests/detectors/constant-function-state/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json @@ -9,9 +9,9 @@ "start": 45, "length": 58, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-state/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-state/0.4.25/constant.sol", "is_dependency": false, "lines": [ 5, @@ -29,9 +29,9 @@ "start": 0, "length": 392, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-state/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-state/0.4.25/constant.sol", "is_dependency": false, "lines": [ 1, @@ -74,9 +74,9 @@ "start": 28, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-state/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-state/0.4.25/constant.sol", "is_dependency": false, "lines": [ 3 @@ -92,9 +92,9 @@ "start": 0, "length": 392, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-state/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-state/0.4.25/constant.sol", "is_dependency": false, "lines": [ 1, @@ -130,8 +130,8 @@ } } ], - "description": "Constant.test_view_bug() (tests/detectors/constant/0.4.25/constant.sol#5-7) is declared view but changes state variables:\n\t- Constant.a (tests/detectors/constant/0.4.25/constant.sol#3)\n", - "markdown": "[Constant.test_view_bug()](tests/detectors/constant/0.4.25/constant.sol#L5-L7) is declared view but changes state variables:\n\t- [Constant.a](tests/detectors/constant/0.4.25/constant.sol#L3)\n", + "description": "Constant.test_view_bug() (tests/detectors/constant-function-state/0.4.25/constant.sol#5-7) is declared view but changes state variables:\n\t- Constant.a (tests/detectors/constant-function-state/0.4.25/constant.sol#3)\n", + "markdown": "[Constant.test_view_bug()](tests/detectors/constant-function-state/0.4.25/constant.sol#L5-L7) is declared view but changes state variables:\n\t- [Constant.a](tests/detectors/constant-function-state/0.4.25/constant.sol#L3)\n", "id": "4dee61d8835d20c6f1f7c195d8bd1e9de5dbcc096396a5b8db391136f9f5fdf1", "additional_fields": { "contains_assembly": false @@ -149,9 +149,9 @@ "start": 113, "length": 66, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-state/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-state/0.4.25/constant.sol", "is_dependency": false, "lines": [ 9, @@ -169,9 +169,9 @@ "start": 0, "length": 392, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-state/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-state/0.4.25/constant.sol", "is_dependency": false, "lines": [ 1, @@ -214,9 +214,9 @@ "start": 28, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-state/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-state/0.4.25/constant.sol", "is_dependency": false, "lines": [ 3 @@ -232,9 +232,9 @@ "start": 0, "length": 392, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/constant/0.4.25/constant.sol", + "filename_relative": "tests/detectors/constant-function-state/0.4.25/constant.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/constant/0.4.25/constant.sol", + "filename_short": "tests/detectors/constant-function-state/0.4.25/constant.sol", "is_dependency": false, "lines": [ 1, @@ -270,8 +270,8 @@ } } ], - "description": "Constant.test_constant_bug() (tests/detectors/constant/0.4.25/constant.sol#9-11) is declared view but changes state variables:\n\t- Constant.a (tests/detectors/constant/0.4.25/constant.sol#3)\n", - "markdown": "[Constant.test_constant_bug()](tests/detectors/constant/0.4.25/constant.sol#L9-L11) is declared view but changes state variables:\n\t- [Constant.a](tests/detectors/constant/0.4.25/constant.sol#L3)\n", + "description": "Constant.test_constant_bug() (tests/detectors/constant-function-state/0.4.25/constant.sol#9-11) is declared view but changes state variables:\n\t- Constant.a (tests/detectors/constant-function-state/0.4.25/constant.sol#3)\n", + "markdown": "[Constant.test_constant_bug()](tests/detectors/constant-function-state/0.4.25/constant.sol#L9-L11) is declared view but changes state variables:\n\t- [Constant.a](tests/detectors/constant-function-state/0.4.25/constant.sol#L3)\n", "id": "145e2d34dfc5b932c8d67d480c0eaec9baa8c728e2a310529572c0c4a5c6046a", "additional_fields": { "contains_assembly": false diff --git a/tests/detectors/constant-function-state/0.5.16/constant.sol b/tests/detectors/constant-function-state/0.5.16/constant.sol new file mode 100644 index 000000000..5f01a0d7e --- /dev/null +++ b/tests/detectors/constant-function-state/0.5.16/constant.sol @@ -0,0 +1,20 @@ +// pragma solidity 0.5.1; + +contract Constant { + + uint a; + + + function test_view_shadow() public view{ + uint a; + a = 0; + } + + function test_view() public view{ + a; + } + + function test_assembly_bug() public view{ + assembly{} + } +} diff --git a/tests/detectors/constant/0.5.16/constant.sol.0.5.16.ConstantFunctionsState.json b/tests/detectors/constant-function-state/0.5.16/constant.sol.0.5.16.ConstantFunctionsState.json similarity index 100% rename from tests/detectors/constant/0.5.16/constant.sol.0.5.16.ConstantFunctionsState.json rename to tests/detectors/constant-function-state/0.5.16/constant.sol.0.5.16.ConstantFunctionsState.json diff --git a/tests/detectors/constant-function-state/0.6.11/constant.sol b/tests/detectors/constant-function-state/0.6.11/constant.sol new file mode 100644 index 000000000..5f01a0d7e --- /dev/null +++ b/tests/detectors/constant-function-state/0.6.11/constant.sol @@ -0,0 +1,20 @@ +// pragma solidity 0.5.1; + +contract Constant { + + uint a; + + + function test_view_shadow() public view{ + uint a; + a = 0; + } + + function test_view() public view{ + a; + } + + function test_assembly_bug() public view{ + assembly{} + } +} diff --git a/tests/detectors/constant/0.6.11/constant.sol.0.6.11.ConstantFunctionsState.json b/tests/detectors/constant-function-state/0.6.11/constant.sol.0.6.11.ConstantFunctionsState.json similarity index 100% rename from tests/detectors/constant/0.6.11/constant.sol.0.6.11.ConstantFunctionsState.json rename to tests/detectors/constant-function-state/0.6.11/constant.sol.0.6.11.ConstantFunctionsState.json diff --git a/tests/detectors/constant-function-state/0.7.6/constant.sol b/tests/detectors/constant-function-state/0.7.6/constant.sol new file mode 100644 index 000000000..5f01a0d7e --- /dev/null +++ b/tests/detectors/constant-function-state/0.7.6/constant.sol @@ -0,0 +1,20 @@ +// pragma solidity 0.5.1; + +contract Constant { + + uint a; + + + function test_view_shadow() public view{ + uint a; + a = 0; + } + + function test_view() public view{ + a; + } + + function test_assembly_bug() public view{ + assembly{} + } +} diff --git a/tests/detectors/constant/0.7.6/constant.sol.0.7.6.ConstantFunctionsState.json b/tests/detectors/constant-function-state/0.7.6/constant.sol.0.7.6.ConstantFunctionsState.json similarity index 100% rename from tests/detectors/constant/0.7.6/constant.sol.0.7.6.ConstantFunctionsState.json rename to tests/detectors/constant-function-state/0.7.6/constant.sol.0.7.6.ConstantFunctionsState.json diff --git a/tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol.0.5.16.ArrayLengthAssignment.json b/tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol.0.5.16.ArrayLengthAssignment.json index e3c44d7db..105c35a3e 100644 --- a/tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol.0.5.16.ArrayLengthAssignment.json +++ b/tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol.0.5.16.ArrayLengthAssignment.json @@ -67,20 +67,20 @@ }, { "type": "node", - "name": "b.subStruct.x.length = param + 1", + "name": "arr.length = param", "source_mapping": { - "start": 964, - "length": 32, + "start": 527, + "length": 18, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "is_dependency": false, "lines": [ - 41 + 26 ], - "starting_column": 9, - "ending_column": 41 + "starting_column": 13, + "ending_column": 31 }, "type_specific_fields": { "parent": { @@ -193,9 +193,9 @@ } } ], - "description": "ArrayLengthAssignment (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#1-46) contract sets array length with a user-controlled value:\n\t- b.subStruct.x.length = param + 1 (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#41)\n", - "markdown": "[ArrayLengthAssignment](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L1-L46) contract sets array length with a user-controlled value:\n\t- [b.subStruct.x.length = param + 1](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L41)\n", - "id": "ba005d0d2665bc40c7c33b2a6a32bf426b4a5ccea38e75a6265976a20c9b7ae3", + "description": "ArrayLengthAssignment (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#1-46) contract sets array length with a user-controlled value:\n\t- arr.length = param (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#26)\n", + "markdown": "[ArrayLengthAssignment](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L1-L46) contract sets array length with a user-controlled value:\n\t- [arr.length = param](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L26)\n", + "id": "5120add82e5b674971638ddcd430301e4fd0ff0abc12b425d78bb09baa519dd0", "check": "controlled-array-length", "impact": "High", "confidence": "Medium" @@ -267,20 +267,20 @@ }, { "type": "node", - "name": "a.x.length = param", + "name": "b.subStruct.x.length = param + 1", "source_mapping": { - "start": 818, - "length": 18, + "start": 964, + "length": 32, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "filename_absolute": "/GENERIC_PATH", "filename_short": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "is_dependency": false, "lines": [ - 36 + 41 ], "starting_column": 9, - "ending_column": 27 + "ending_column": 41 }, "type_specific_fields": { "parent": { @@ -393,9 +393,9 @@ } } ], - "description": "ArrayLengthAssignment (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#1-46) contract sets array length with a user-controlled value:\n\t- a.x.length = param (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#36)\n", - "markdown": "[ArrayLengthAssignment](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L1-L46) contract sets array length with a user-controlled value:\n\t- [a.x.length = param](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L36)\n", - "id": "3ee7c4c1f07506f88bcd3b42a86641b32b24a3978768cbcb99301bd8a1fcb975", + "description": "ArrayLengthAssignment (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#1-46) contract sets array length with a user-controlled value:\n\t- b.subStruct.x.length = param + 1 (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#41)\n", + "markdown": "[ArrayLengthAssignment](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L1-L46) contract sets array length with a user-controlled value:\n\t- [b.subStruct.x.length = param + 1](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L41)\n", + "id": "ba005d0d2665bc40c7c33b2a6a32bf426b4a5ccea38e75a6265976a20c9b7ae3", "check": "controlled-array-length", "impact": "High", "confidence": "Medium" @@ -467,9 +467,9 @@ }, { "type": "node", - "name": "arr.length = param", + "name": "a.x.length = param", "source_mapping": { - "start": 527, + "start": 818, "length": 18, "filename_used": "/GENERIC_PATH", "filename_relative": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", @@ -477,10 +477,10 @@ "filename_short": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "is_dependency": false, "lines": [ - 26 + 36 ], - "starting_column": 13, - "ending_column": 31 + "starting_column": 9, + "ending_column": 27 }, "type_specific_fields": { "parent": { @@ -593,9 +593,9 @@ } } ], - "description": "ArrayLengthAssignment (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#1-46) contract sets array length with a user-controlled value:\n\t- arr.length = param (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#26)\n", - "markdown": "[ArrayLengthAssignment](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L1-L46) contract sets array length with a user-controlled value:\n\t- [arr.length = param](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L26)\n", - "id": "5120add82e5b674971638ddcd430301e4fd0ff0abc12b425d78bb09baa519dd0", + "description": "ArrayLengthAssignment (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#1-46) contract sets array length with a user-controlled value:\n\t- a.x.length = param (tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#36)\n", + "markdown": "[ArrayLengthAssignment](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L1-L46) contract sets array length with a user-controlled value:\n\t- [a.x.length = param](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L36)\n", + "id": "3ee7c4c1f07506f88bcd3b42a86641b32b24a3978768cbcb99301bd8a1fcb975", "check": "controlled-array-length", "impact": "High", "confidence": "Medium" diff --git a/tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol.0.4.25.NamingConvention.json b/tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol.0.4.25.NamingConvention.json deleted file mode 100644 index 9246c3f1f..000000000 --- a/tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol.0.4.25.NamingConvention.json +++ /dev/null @@ -1,76 +0,0 @@ -[ - [ - { - "elements": [ - { - "type": "struct", - "name": "test3", - "source_mapping": { - "start": 320, - "length": 36, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol", - "is_dependency": false, - "lines": [ - 18, - 19, - 20 - ], - "starting_column": 5, - "ending_column": 6 - }, - "type_specific_fields": { - "parent": { - "type": "contract", - "name": "naming", - "source_mapping": { - "start": 61, - "length": 299, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol", - "is_dependency": false, - "lines": [ - 4, - 5, - 6, - 7, - 8, - 9, - 10, - 11, - 12, - 13, - 14, - 15, - 16, - 17, - 18, - 19, - 20, - 21, - 22 - ], - "starting_column": 1, - "ending_column": 2 - } - } - }, - "additional_fields": { - "target": "structure", - "convention": "CapWords" - } - } - ], - "description": "Struct naming.test3 (tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol#18-20) is not in CapWords\n", - "markdown": "Struct [naming.test3](tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol#L18-L20) is not in CapWords\n", - "id": "34b66b0b5acf6c00b066dd7f5bbcdbc6f3879ab5ece850f113d00e3318eac10f", - "check": "naming-convention", - "impact": "Informational", - "confidence": "High" - } - ] -] \ No newline at end of file diff --git a/tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol.0.5.16.NamingConvention.json b/tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol.0.5.16.NamingConvention.json deleted file mode 100644 index baeee9bf1..000000000 --- a/tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol.0.5.16.NamingConvention.json +++ /dev/null @@ -1,76 +0,0 @@ -[ - [ - { - "elements": [ - { - "type": "struct", - "name": "test3", - "source_mapping": { - "start": 320, - "length": 36, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol", - "is_dependency": false, - "lines": [ - 18, - 19, - 20 - ], - "starting_column": 5, - "ending_column": 6 - }, - "type_specific_fields": { - "parent": { - "type": "contract", - "name": "naming", - "source_mapping": { - "start": 61, - "length": 299, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol", - "is_dependency": false, - "lines": [ - 4, - 5, - 6, - 7, - 8, - 9, - 10, - 11, - 12, - 13, - 14, - 15, - 16, - 17, - 18, - 19, - 20, - 21, - 22 - ], - "starting_column": 1, - "ending_column": 2 - } - } - }, - "additional_fields": { - "target": "structure", - "convention": "CapWords" - } - } - ], - "description": "Struct naming.test3 (tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol#18-20) is not in CapWords\n", - "markdown": "Struct [naming.test3](tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol#L18-L20) is not in CapWords\n", - "id": "34b66b0b5acf6c00b066dd7f5bbcdbc6f3879ab5ece850f113d00e3318eac10f", - "check": "naming-convention", - "impact": "Informational", - "confidence": "High" - } - ] -] \ No newline at end of file diff --git a/tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol.0.6.11.NamingConvention.json b/tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol.0.6.11.NamingConvention.json deleted file mode 100644 index 6eac384fa..000000000 --- a/tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol.0.6.11.NamingConvention.json +++ /dev/null @@ -1,76 +0,0 @@ -[ - [ - { - "elements": [ - { - "type": "struct", - "name": "test3", - "source_mapping": { - "start": 320, - "length": 36, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol", - "is_dependency": false, - "lines": [ - 18, - 19, - 20 - ], - "starting_column": 5, - "ending_column": 6 - }, - "type_specific_fields": { - "parent": { - "type": "contract", - "name": "naming", - "source_mapping": { - "start": 61, - "length": 299, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol", - "is_dependency": false, - "lines": [ - 4, - 5, - 6, - 7, - 8, - 9, - 10, - 11, - 12, - 13, - 14, - 15, - 16, - 17, - 18, - 19, - 20, - 21, - 22 - ], - "starting_column": 1, - "ending_column": 2 - } - } - }, - "additional_fields": { - "target": "structure", - "convention": "CapWords" - } - } - ], - "description": "Struct naming.test3 (tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol#18-20) is not in CapWords\n", - "markdown": "Struct [naming.test3](tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol#L18-L20) is not in CapWords\n", - "id": "34b66b0b5acf6c00b066dd7f5bbcdbc6f3879ab5ece850f113d00e3318eac10f", - "check": "naming-convention", - "impact": "Informational", - "confidence": "High" - } - ] -] \ No newline at end of file diff --git a/tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol.0.7.6.NamingConvention.json b/tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol.0.7.6.NamingConvention.json deleted file mode 100644 index 78101ada5..000000000 --- a/tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol.0.7.6.NamingConvention.json +++ /dev/null @@ -1,76 +0,0 @@ -[ - [ - { - "elements": [ - { - "type": "struct", - "name": "test3", - "source_mapping": { - "start": 320, - "length": 36, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol", - "is_dependency": false, - "lines": [ - 18, - 19, - 20 - ], - "starting_column": 5, - "ending_column": 6 - }, - "type_specific_fields": { - "parent": { - "type": "contract", - "name": "naming", - "source_mapping": { - "start": 61, - "length": 299, - "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol", - "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol", - "is_dependency": false, - "lines": [ - 4, - 5, - 6, - 7, - 8, - 9, - 10, - 11, - 12, - 13, - 14, - 15, - 16, - 17, - 18, - 19, - 20, - 21, - 22 - ], - "starting_column": 1, - "ending_column": 2 - } - } - }, - "additional_fields": { - "target": "structure", - "convention": "CapWords" - } - } - ], - "description": "Struct naming.test3 (tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol#18-20) is not in CapWords\n", - "markdown": "Struct [naming.test3](tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol#L18-L20) is not in CapWords\n", - "id": "34b66b0b5acf6c00b066dd7f5bbcdbc6f3879ab5ece850f113d00e3318eac10f", - "check": "naming-convention", - "impact": "Informational", - "confidence": "High" - } - ] -] \ No newline at end of file diff --git a/tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol b/tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol similarity index 100% rename from tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol rename to tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol diff --git a/tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json b/tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json similarity index 88% rename from tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json rename to tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json index 39c3d8509..e5a4c7ed1 100644 --- a/tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json +++ b/tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json @@ -9,9 +9,9 @@ "start": 87, "length": 153, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -33,9 +33,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -80,9 +80,9 @@ "start": 152, "length": 20, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 8 @@ -98,9 +98,9 @@ "start": 87, "length": 153, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -122,9 +122,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -174,9 +174,9 @@ "start": 216, "length": 17, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 11 @@ -192,9 +192,9 @@ "start": 87, "length": 153, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -216,9 +216,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -263,9 +263,9 @@ } } ], - "description": "Reentrancy in ReentrancyWrite.bad0() (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#6-12):\n\tExternal calls:\n\t- ! (msg.sender.call()) (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- notCalled = false (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#11)\n", - "markdown": "Reentrancy in [ReentrancyWrite.bad0()](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L6-L12):\n\tExternal calls:\n\t- [! (msg.sender.call())](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [notCalled = false](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L11)\n", - "id": "b6460b2a0b12df1225dcc8a10e0301fe4b474cccf05822d2a7c157470b689402", + "description": "Reentrancy in ReentrancyWrite.bad0() (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#6-12):\n\tExternal calls:\n\t- ! (msg.sender.call()) (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- notCalled = false (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#11)\n", + "markdown": "Reentrancy in [ReentrancyWrite.bad0()](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L6-L12):\n\tExternal calls:\n\t- [! (msg.sender.call())](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [notCalled = false](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L11)\n", + "id": "f933b0dd64ecd6dfb70018248bff9e11c03a35657032529ff992308456d475dd", "check": "reentrancy-no-eth", "impact": "Medium", "confidence": "Medium" @@ -279,9 +279,9 @@ "start": 246, "length": 158, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 14, @@ -302,9 +302,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -349,9 +349,9 @@ "start": 321, "length": 34, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 16 @@ -367,9 +367,9 @@ "start": 246, "length": 158, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 14, @@ -390,9 +390,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -442,9 +442,9 @@ "start": 391, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 18 @@ -460,9 +460,9 @@ "start": 246, "length": 158, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 14, @@ -483,9 +483,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -535,9 +535,9 @@ "start": 152, "length": 20, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 8 @@ -553,9 +553,9 @@ "start": 87, "length": 153, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -577,9 +577,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -629,9 +629,9 @@ "start": 391, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 18 @@ -647,9 +647,9 @@ "start": 246, "length": 158, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 14, @@ -670,9 +670,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -723,9 +723,9 @@ "start": 216, "length": 17, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 11 @@ -741,9 +741,9 @@ "start": 87, "length": 153, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -765,9 +765,9 @@ "start": 28, "length": 537, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -812,9 +812,9 @@ } } ], - "description": "Reentrancy in ReentrancyWrite.bad1(address) (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#14-19):\n\tExternal calls:\n\t- success = msg.sender.call() (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#16)\n\t- bad0() (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#18)\n\t\t- ! (msg.sender.call()) (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- bad0() (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#18)\n\t\t- notCalled = false (tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#11)\n", - "markdown": "Reentrancy in [ReentrancyWrite.bad1(address)](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L14-L19):\n\tExternal calls:\n\t- [success = msg.sender.call()](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L16)\n\t- [bad0()](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L18)\n\t\t- [! (msg.sender.call())](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [bad0()](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L18)\n\t\t- [notCalled = false](tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol#L11)\n", - "id": "49aa9488337b9cce5fa0d5b961bae4d1fff7d79001371769dea3abbc4a1a059b", + "description": "Reentrancy in ReentrancyWrite.bad1(address) (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#14-19):\n\tExternal calls:\n\t- success = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#16)\n\t- bad0() (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#18)\n\t\t- ! (msg.sender.call()) (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- bad0() (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#18)\n\t\t- notCalled = false (tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#11)\n", + "markdown": "Reentrancy in [ReentrancyWrite.bad1(address)](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L14-L19):\n\tExternal calls:\n\t- [success = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L16)\n\t- [bad0()](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L18)\n\t\t- [! (msg.sender.call())](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [bad0()](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L18)\n\t\t- [notCalled = false](tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol#L11)\n", + "id": "7bb6139d33983b626159983e8a4d7fc049710a8f08908c1d212bd13b68640a6a", "check": "reentrancy-no-eth", "impact": "Medium", "confidence": "Medium" diff --git a/tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol b/tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol similarity index 100% rename from tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol rename to tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol diff --git a/tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json b/tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json similarity index 88% rename from tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json rename to tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json index 5f7696f98..9ba6850f3 100644 --- a/tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json +++ b/tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json @@ -9,9 +9,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -34,9 +34,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -83,9 +83,9 @@ "start": 148, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 8 @@ -101,9 +101,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -126,9 +126,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -180,9 +180,9 @@ "start": 251, "length": 17, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 12 @@ -198,9 +198,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -223,9 +223,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -272,9 +272,9 @@ } } ], - "description": "Reentrancy in ReentrancyWrite.bad0() (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#6-13):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- notCalled = false (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#12)\n", - "markdown": "Reentrancy in [ReentrancyWrite.bad0()](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L6-L13):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [notCalled = false](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L12)\n", - "id": "2d6670618c55850a7db95d384607492b69a837ccae5c496cfcf716b5f492d95f", + "description": "Reentrancy in ReentrancyWrite.bad0() (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#6-13):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- notCalled = false (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#12)\n", + "markdown": "Reentrancy in [ReentrancyWrite.bad0()](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L6-L13):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [notCalled = false](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L12)\n", + "id": "0aac5bbaf3a6f1b7de2ac725771ade12f8b1453c0639d09517b8bddb098a13d2", "check": "reentrancy-no-eth", "impact": "Medium", "confidence": "Medium" @@ -288,9 +288,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -311,9 +311,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -360,9 +360,9 @@ "start": 356, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 17 @@ -378,9 +378,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -401,9 +401,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -455,9 +455,9 @@ "start": 429, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 19 @@ -473,9 +473,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -496,9 +496,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -550,9 +550,9 @@ "start": 148, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 8 @@ -568,9 +568,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -593,9 +593,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -647,9 +647,9 @@ "start": 429, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 19 @@ -665,9 +665,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -688,9 +688,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -743,9 +743,9 @@ "start": 251, "length": 17, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 12 @@ -761,9 +761,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -786,9 +786,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -835,9 +835,9 @@ } } ], - "description": "Reentrancy in ReentrancyWrite.bad1(address) (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#15-20):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#17)\n\t- bad0() (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#19)\n\t\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- bad0() (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#19)\n\t\t- notCalled = false (tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#12)\n", - "markdown": "Reentrancy in [ReentrancyWrite.bad1(address)](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L15-L20):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L17)\n\t- [bad0()](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L19)\n\t\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [bad0()](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L19)\n\t\t- [notCalled = false](tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol#L12)\n", - "id": "18e7eee4cf4c349dbaad3f54387eb6b3b174e868b94a3ebb991f7403b276b0d9", + "description": "Reentrancy in ReentrancyWrite.bad1(address) (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#15-20):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#17)\n\t- bad0() (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#19)\n\t\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- bad0() (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#19)\n\t\t- notCalled = false (tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#12)\n", + "markdown": "Reentrancy in [ReentrancyWrite.bad1(address)](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L15-L20):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L17)\n\t- [bad0()](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L19)\n\t\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [bad0()](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L19)\n\t\t- [notCalled = false](tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol#L12)\n", + "id": "05033b6ee9ae71d9cc7b1ec3f6b09d4c0a43a6c92393f54fa45ce27c89a1e771", "check": "reentrancy-no-eth", "impact": "Medium", "confidence": "Medium" diff --git a/tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol b/tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol similarity index 100% rename from tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol rename to tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol diff --git a/tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json b/tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json similarity index 88% rename from tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json rename to tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json index e7dcf3b7e..5e20c8777 100644 --- a/tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json +++ b/tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json @@ -9,9 +9,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -34,9 +34,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -83,9 +83,9 @@ "start": 148, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 8 @@ -101,9 +101,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -126,9 +126,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -180,9 +180,9 @@ "start": 251, "length": 17, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 12 @@ -198,9 +198,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -223,9 +223,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -272,9 +272,9 @@ } } ], - "description": "Reentrancy in ReentrancyWrite.bad0() (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#6-13):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- notCalled = false (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#12)\n", - "markdown": "Reentrancy in [ReentrancyWrite.bad0()](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L6-L13):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [notCalled = false](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L12)\n", - "id": "0bfc3b0d021a94a74467bb46a134e5fbcefeed8f7351fc4de972d81737eb6964", + "description": "Reentrancy in ReentrancyWrite.bad0() (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#6-13):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- notCalled = false (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#12)\n", + "markdown": "Reentrancy in [ReentrancyWrite.bad0()](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L6-L13):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [notCalled = false](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L12)\n", + "id": "a786c050fdd723d3185d93105e0903cb696bf4ce71996fc791e79d8f97c5e72d", "check": "reentrancy-no-eth", "impact": "Medium", "confidence": "Medium" @@ -288,9 +288,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -311,9 +311,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -360,9 +360,9 @@ "start": 356, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 17 @@ -378,9 +378,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -401,9 +401,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -455,9 +455,9 @@ "start": 429, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 19 @@ -473,9 +473,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -496,9 +496,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -550,9 +550,9 @@ "start": 148, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 8 @@ -568,9 +568,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -593,9 +593,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -647,9 +647,9 @@ "start": 429, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 19 @@ -665,9 +665,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -688,9 +688,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -743,9 +743,9 @@ "start": 251, "length": 17, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 12 @@ -761,9 +761,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -786,9 +786,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -835,9 +835,9 @@ } } ], - "description": "Reentrancy in ReentrancyWrite.bad1(address) (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#15-20):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#17)\n\t- bad0() (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#19)\n\t\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- bad0() (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#19)\n\t\t- notCalled = false (tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#12)\n", - "markdown": "Reentrancy in [ReentrancyWrite.bad1(address)](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L15-L20):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L17)\n\t- [bad0()](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L19)\n\t\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [bad0()](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L19)\n\t\t- [notCalled = false](tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol#L12)\n", - "id": "273aa0b14294c7230099633c801857a2cb116cc8cc5f8c3c20ced1cf67cc1c31", + "description": "Reentrancy in ReentrancyWrite.bad1(address) (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#15-20):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#17)\n\t- bad0() (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#19)\n\t\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- bad0() (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#19)\n\t\t- notCalled = false (tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#12)\n", + "markdown": "Reentrancy in [ReentrancyWrite.bad1(address)](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L15-L20):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L17)\n\t- [bad0()](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L19)\n\t\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [bad0()](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L19)\n\t\t- [notCalled = false](tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol#L12)\n", + "id": "02d9e7190770aed44ccdabc149dfc114e91d2f90346cfbfff570c7ccbc1d64e8", "check": "reentrancy-no-eth", "impact": "Medium", "confidence": "Medium" diff --git a/tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol b/tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol similarity index 100% rename from tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol rename to tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol diff --git a/tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json b/tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json similarity index 88% rename from tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json rename to tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json index eee4e183f..63632b566 100644 --- a/tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json +++ b/tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json @@ -9,9 +9,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -34,9 +34,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -83,9 +83,9 @@ "start": 148, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 8 @@ -101,9 +101,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -126,9 +126,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -180,9 +180,9 @@ "start": 251, "length": 17, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 12 @@ -198,9 +198,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -223,9 +223,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -272,9 +272,9 @@ } } ], - "description": "Reentrancy in ReentrancyWrite.bad0() (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#6-13):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- notCalled = false (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#12)\n", - "markdown": "Reentrancy in [ReentrancyWrite.bad0()](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L6-L13):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [notCalled = false](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L12)\n", - "id": "f3e3f74c6502fba4ea12147b4301547c7b46172cb358f54c8a3d05f0fc127698", + "description": "Reentrancy in ReentrancyWrite.bad0() (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#6-13):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- notCalled = false (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#12)\n", + "markdown": "Reentrancy in [ReentrancyWrite.bad0()](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L6-L13):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [notCalled = false](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L12)\n", + "id": "10fd7c0322e6af411a40589a36dd17ec3e91b73cb56a6757dd9b192bcc2b6955", "check": "reentrancy-no-eth", "impact": "Medium", "confidence": "Medium" @@ -288,9 +288,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -311,9 +311,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -360,9 +360,9 @@ "start": 356, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 17 @@ -378,9 +378,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -401,9 +401,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -455,9 +455,9 @@ "start": 429, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 19 @@ -473,9 +473,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -496,9 +496,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -550,9 +550,9 @@ "start": 148, "length": 37, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 8 @@ -568,9 +568,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -593,9 +593,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -647,9 +647,9 @@ "start": 429, "length": 6, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 19 @@ -665,9 +665,9 @@ "start": 281, "length": 161, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 15, @@ -688,9 +688,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -743,9 +743,9 @@ "start": 251, "length": 17, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 12 @@ -761,9 +761,9 @@ "start": 87, "length": 188, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 6, @@ -786,9 +786,9 @@ "start": 28, "length": 610, "filename_used": "/GENERIC_PATH", - "filename_relative": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_relative": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "filename_absolute": "/GENERIC_PATH", - "filename_short": "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "filename_short": "tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol", "is_dependency": false, "lines": [ 3, @@ -835,9 +835,9 @@ } } ], - "description": "Reentrancy in ReentrancyWrite.bad1(address) (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#15-20):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#17)\n\t- bad0() (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#19)\n\t\t- (success) = msg.sender.call() (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- bad0() (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#19)\n\t\t- notCalled = false (tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#12)\n", - "markdown": "Reentrancy in [ReentrancyWrite.bad1(address)](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L15-L20):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L17)\n\t- [bad0()](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L19)\n\t\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [bad0()](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L19)\n\t\t- [notCalled = false](tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol#L12)\n", - "id": "139c24158771526e3497a6bc730b32d173e3e67728f1833073694eb9df339b69", + "description": "Reentrancy in ReentrancyWrite.bad1(address) (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#15-20):\n\tExternal calls:\n\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#17)\n\t- bad0() (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#19)\n\t\t- (success) = msg.sender.call() (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#8)\n\tState variables written after the call(s):\n\t- bad0() (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#19)\n\t\t- notCalled = false (tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#12)\n", + "markdown": "Reentrancy in [ReentrancyWrite.bad1(address)](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L15-L20):\n\tExternal calls:\n\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L17)\n\t- [bad0()](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L19)\n\t\t- [(success) = msg.sender.call()](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L8)\n\tState variables written after the call(s):\n\t- [bad0()](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L19)\n\t\t- [notCalled = false](tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol#L12)\n", + "id": "a9d96103d5786a77ba0de28c96dc94a27ea5acda47af8fef59a80327925a286b", "check": "reentrancy-no-eth", "impact": "Medium", "confidence": "Medium" diff --git a/tests/detectors/missing-inheritance/0.5.16/unimplemented_interfaces.sol b/tests/detectors/unimplemented-functions/0.5.16/unimplemented_interfaces.sol similarity index 100% rename from tests/detectors/missing-inheritance/0.5.16/unimplemented_interfaces.sol rename to tests/detectors/unimplemented-functions/0.5.16/unimplemented_interfaces.sol diff --git a/tests/detectors/missing-inheritance/0.5.16/unimplemented_interfaces.sol.0.5.16.UnimplementedFunctionDetection.json b/tests/detectors/unimplemented-functions/0.5.16/unimplemented_interfaces.sol.0.5.16.UnimplementedFunctionDetection.json similarity index 100% rename from tests/detectors/missing-inheritance/0.5.16/unimplemented_interfaces.sol.0.5.16.UnimplementedFunctionDetection.json rename to tests/detectors/unimplemented-functions/0.5.16/unimplemented_interfaces.sol.0.5.16.UnimplementedFunctionDetection.json diff --git a/tests/detectors/missing-inheritance/0.6.11/unimplemented_interfaces.sol b/tests/detectors/unimplemented-functions/0.6.11/unimplemented_interfaces.sol similarity index 100% rename from tests/detectors/missing-inheritance/0.6.11/unimplemented_interfaces.sol rename to tests/detectors/unimplemented-functions/0.6.11/unimplemented_interfaces.sol diff --git a/tests/detectors/missing-inheritance/0.6.11/unimplemented_interfaces.sol.0.6.11.UnimplementedFunctionDetection.json b/tests/detectors/unimplemented-functions/0.6.11/unimplemented_interfaces.sol.0.6.11.UnimplementedFunctionDetection.json similarity index 100% rename from tests/detectors/missing-inheritance/0.6.11/unimplemented_interfaces.sol.0.6.11.UnimplementedFunctionDetection.json rename to tests/detectors/unimplemented-functions/0.6.11/unimplemented_interfaces.sol.0.6.11.UnimplementedFunctionDetection.json diff --git a/tests/detectors/missing-inheritance/0.7.6/unimplemented_interfaces.sol b/tests/detectors/unimplemented-functions/0.7.6/unimplemented_interfaces.sol similarity index 100% rename from tests/detectors/missing-inheritance/0.7.6/unimplemented_interfaces.sol rename to tests/detectors/unimplemented-functions/0.7.6/unimplemented_interfaces.sol diff --git a/tests/detectors/missing-inheritance/0.7.6/unimplemented_interfaces.sol.0.7.6.UnimplementedFunctionDetection.json b/tests/detectors/unimplemented-functions/0.7.6/unimplemented_interfaces.sol.0.7.6.UnimplementedFunctionDetection.json similarity index 100% rename from tests/detectors/missing-inheritance/0.7.6/unimplemented_interfaces.sol.0.7.6.UnimplementedFunctionDetection.json rename to tests/detectors/unimplemented-functions/0.7.6/unimplemented_interfaces.sol.0.7.6.UnimplementedFunctionDetection.json diff --git a/tests/test_detectors.py b/tests/test_detectors.py index 78571b7a1..d93dd75ba 100644 --- a/tests/test_detectors.py +++ b/tests/test_detectors.py @@ -40,7 +40,7 @@ class Test: # pylint: disable=too-few-public-methods self.additional_files = additional_files -def set_solc(test_item: Test): +def set_solc(test_item: Test): # pylint: disable=too-many-lines # hacky hack hack to pick the solc version we want env = dict(os.environ) env["SOLC_VERSION"] = test_item.solc_ver @@ -49,1105 +49,1074 @@ def set_solc(test_item: Test): def id_test(test_item: Test): - return f"{test_item.detector}: {test_item.test_file}" + return f"{test_item.detector}: {test_item.solc_ver}/{test_item.test_file}" ALL_TESTS = [ Test( # DO NOT move this specific test further down in this list, because for some inexplicable reason this test will then fail to report function bad2 ?! all_detectors.UninitializedFunctionPtrsConstructor, - "tests/detectors/uninitialized-fptr-cst/0.4.25/uninitialized_function_ptr_constructor.sol", + "uninitialized_function_ptr_constructor.sol", "0.4.25", ), Test( all_detectors.UninitializedFunctionPtrsConstructor, - "tests/detectors/uninitialized-fptr-cst/0.5.8/uninitialized_function_ptr_constructor.sol", + "uninitialized_function_ptr_constructor.sol", "0.5.8", ), Test( all_detectors.UninitializedFunctionPtrsConstructor, - "tests/detectors/uninitialized-fptr-cst/0.5.16/uninitialized_function_ptr_constructor.sol", + "uninitialized_function_ptr_constructor.sol", "0.5.16", ), Test( all_detectors.ReentrancyBenign, - "tests/detectors/reentrancy-benign/0.4.25/reentrancy-benign.sol", + "reentrancy-benign.sol", "0.4.25", ), Test( all_detectors.ReentrancyBenign, - "tests/detectors/reentrancy-benign/0.5.16/reentrancy-benign.sol", + "reentrancy-benign.sol", "0.5.16", ), Test( all_detectors.ReentrancyBenign, - "tests/detectors/reentrancy-benign/0.6.11/reentrancy-benign.sol", + "reentrancy-benign.sol", "0.6.11", ), Test( all_detectors.ReentrancyBenign, - "tests/detectors/reentrancy-benign/0.7.6/reentrancy-benign.sol", + "reentrancy-benign.sol", "0.7.6", ), Test( all_detectors.ReentrancyReadBeforeWritten, - "tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol", + "reentrancy-write.sol", "0.4.25", ), Test( all_detectors.ReentrancyReadBeforeWritten, - "tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol", + "reentrancy-write.sol", "0.5.16", ), Test( all_detectors.ReentrancyReadBeforeWritten, - "tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol", + "reentrancy-write.sol", "0.6.11", ), Test( all_detectors.ReentrancyReadBeforeWritten, - "tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol", + "reentrancy-write.sol", "0.7.6", ), Test( all_detectors.BooleanEquality, - "tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol", + "boolean-constant-equality.sol", "0.4.25", ), Test( all_detectors.BooleanEquality, - "tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol", + "boolean-constant-equality.sol", "0.5.16", ), Test( all_detectors.BooleanEquality, - "tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol", + "boolean-constant-equality.sol", "0.6.11", ), Test( all_detectors.BooleanEquality, - "tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol", + "boolean-constant-equality.sol", "0.7.6", ), Test( all_detectors.BooleanConstantMisuse, - "tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol", + "boolean-constant-misuse.sol", "0.4.25", ), Test( all_detectors.BooleanConstantMisuse, - "tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol", + "boolean-constant-misuse.sol", "0.5.16", ), Test( all_detectors.BooleanConstantMisuse, - "tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol", + "boolean-constant-misuse.sol", "0.6.11", ), Test( all_detectors.BooleanConstantMisuse, - "tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol", + "boolean-constant-misuse.sol", "0.7.6", ), Test( all_detectors.UncheckedLowLevel, - "tests/detectors/unchecked-lowlevel/0.4.25/unchecked_lowlevel.sol", + "unchecked_lowlevel.sol", "0.4.25", ), Test( all_detectors.UncheckedLowLevel, - "tests/detectors/unchecked-lowlevel/0.5.16/unchecked_lowlevel.sol", + "unchecked_lowlevel.sol", "0.5.16", ), Test( all_detectors.UncheckedLowLevel, - "tests/detectors/unchecked-lowlevel/0.6.11/unchecked_lowlevel.sol", + "unchecked_lowlevel.sol", "0.6.11", ), Test( all_detectors.UncheckedLowLevel, - "tests/detectors/unchecked-lowlevel/0.7.6/unchecked_lowlevel.sol", + "unchecked_lowlevel.sol", "0.7.6", ), Test( all_detectors.UnindexedERC20EventParameters, - "tests/detectors/erc20-indexed/0.4.25/erc20_indexed.sol", + "erc20_indexed.sol", "0.4.25", ), Test( all_detectors.UnindexedERC20EventParameters, - "tests/detectors/erc20-indexed/0.5.16/erc20_indexed.sol", + "erc20_indexed.sol", "0.5.16", ), Test( all_detectors.UnindexedERC20EventParameters, - "tests/detectors/erc20-indexed/0.6.11/erc20_indexed.sol", + "erc20_indexed.sol", "0.6.11", ), Test( all_detectors.UnindexedERC20EventParameters, - "tests/detectors/erc20-indexed/0.7.6/erc20_indexed.sol", + "erc20_indexed.sol", "0.7.6", ), Test( all_detectors.IncorrectERC20InterfaceDetection, - "tests/detectors/erc20-interface/0.4.25/incorrect_erc20_interface.sol", + "incorrect_erc20_interface.sol", "0.4.25", ), Test( all_detectors.IncorrectERC20InterfaceDetection, - "tests/detectors/erc20-interface/0.5.16/incorrect_erc20_interface.sol", + "incorrect_erc20_interface.sol", "0.5.16", ), Test( all_detectors.IncorrectERC20InterfaceDetection, - "tests/detectors/erc20-interface/0.6.11/incorrect_erc20_interface.sol", + "incorrect_erc20_interface.sol", "0.6.11", ), Test( all_detectors.IncorrectERC20InterfaceDetection, - "tests/detectors/erc20-interface/0.7.6/incorrect_erc20_interface.sol", + "incorrect_erc20_interface.sol", "0.7.6", ), Test( all_detectors.IncorrectERC721InterfaceDetection, - "tests/detectors/erc721-interface/0.4.25/incorrect_erc721_interface.sol", + "incorrect_erc721_interface.sol", "0.4.25", ), Test( all_detectors.IncorrectERC721InterfaceDetection, - "tests/detectors/erc721-interface/0.5.16/incorrect_erc721_interface.sol", + "incorrect_erc721_interface.sol", "0.5.16", ), Test( all_detectors.IncorrectERC721InterfaceDetection, - "tests/detectors/erc721-interface/0.6.11/incorrect_erc721_interface.sol", + "incorrect_erc721_interface.sol", "0.6.11", ), Test( all_detectors.IncorrectERC721InterfaceDetection, - "tests/detectors/erc721-interface/0.7.6/incorrect_erc721_interface.sol", + "incorrect_erc721_interface.sol", "0.7.6", ), Test( all_detectors.UninitializedStateVarsDetection, - "tests/detectors/uninitialized-state/0.4.25/uninitialized.sol", + "uninitialized.sol", "0.4.25", ), Test( all_detectors.UninitializedStateVarsDetection, - "tests/detectors/uninitialized-state/0.5.16/uninitialized.sol", + "uninitialized.sol", "0.5.16", ), Test( all_detectors.UninitializedStateVarsDetection, - "tests/detectors/uninitialized-state/0.6.11/uninitialized.sol", + "uninitialized.sol", "0.6.11", ), Test( all_detectors.UninitializedStateVarsDetection, - "tests/detectors/uninitialized-state/0.7.6/uninitialized.sol", + "uninitialized.sol", "0.7.6", ), - Test(all_detectors.Backdoor, "tests/detectors/backdoor/0.4.25/backdoor.sol", "0.4.25"), - Test(all_detectors.Backdoor, "tests/detectors/backdoor/0.5.16/backdoor.sol", "0.5.16"), - Test(all_detectors.Backdoor, "tests/detectors/backdoor/0.6.11/backdoor.sol", "0.6.11"), - Test(all_detectors.Backdoor, "tests/detectors/backdoor/0.7.6/backdoor.sol", "0.7.6"), - Test(all_detectors.Suicidal, "tests/detectors/suicidal/0.4.25/suicidal.sol", "0.4.25"), - Test(all_detectors.Suicidal, "tests/detectors/suicidal/0.5.16/suicidal.sol", "0.5.16"), - Test(all_detectors.Suicidal, "tests/detectors/suicidal/0.6.11/suicidal.sol", "0.6.11"), - Test(all_detectors.Suicidal, "tests/detectors/suicidal/0.7.6/suicidal.sol", "0.7.6"), + Test(all_detectors.Backdoor, "backdoor.sol", "0.4.25"), + Test(all_detectors.Backdoor, "backdoor.sol", "0.5.16"), + Test(all_detectors.Backdoor, "backdoor.sol", "0.6.11"), + Test(all_detectors.Backdoor, "backdoor.sol", "0.7.6"), + Test(all_detectors.Suicidal, "suicidal.sol", "0.4.25"), + Test(all_detectors.Suicidal, "suicidal.sol", "0.5.16"), + Test(all_detectors.Suicidal, "suicidal.sol", "0.6.11"), + Test(all_detectors.Suicidal, "suicidal.sol", "0.7.6"), Test( all_detectors.ConstantPragma, - "tests/detectors/pragma/0.4.25/pragma.0.4.25.sol", + "pragma.0.4.25.sol", "0.4.25", - ["tests/detectors/pragma/0.4.25/pragma.0.4.24.sol"], + ["pragma.0.4.24.sol"], ), Test( all_detectors.ConstantPragma, - "tests/detectors/pragma/0.5.16/pragma.0.5.16.sol", + "pragma.0.5.16.sol", "0.5.16", - ["tests/detectors/pragma/0.5.16/pragma.0.5.15.sol"], + ["pragma.0.5.15.sol"], ), Test( all_detectors.ConstantPragma, - "tests/detectors/pragma/0.6.11/pragma.0.6.11.sol", + "pragma.0.6.11.sol", "0.6.11", - ["tests/detectors/pragma/0.6.11/pragma.0.6.10.sol"], + ["pragma.0.6.10.sol"], ), Test( all_detectors.ConstantPragma, - "tests/detectors/pragma/0.7.6/pragma.0.7.6.sol", + "pragma.0.7.6.sol", "0.7.6", - ["tests/detectors/pragma/0.7.6/pragma.0.7.5.sol"], - ), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.4.25/static.sol", "0.4.25"), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.5.14/static.sol", "0.5.14"), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.5.16/static.sol", "0.5.16"), - Test( - all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.5.16/dynamic_1.sol", "0.5.16" - ), - Test( - all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.5.16/dynamic_2.sol", "0.5.16" - ), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.6.10/static.sol", "0.6.10"), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.6.11/static.sol", "0.6.11"), - Test( - all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.6.11/dynamic_1.sol", "0.6.11" - ), - Test( - all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.6.11/dynamic_2.sol", "0.6.11" - ), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.7.4/static.sol", "0.7.4"), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.7.6/static.sol", "0.7.6"), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.7.6/dynamic_1.sol", "0.7.6"), - Test(all_detectors.IncorrectSolc, "tests/detectors/solc-version/0.7.6/dynamic_2.sol", "0.7.6"), + ["pragma.0.7.5.sol"], + ), + Test(all_detectors.IncorrectSolc, "static.sol", "0.4.25"), + Test(all_detectors.IncorrectSolc, "static.sol", "0.5.14"), + Test(all_detectors.IncorrectSolc, "static.sol", "0.5.16"), + Test(all_detectors.IncorrectSolc, "dynamic_1.sol", "0.5.16"), + Test(all_detectors.IncorrectSolc, "dynamic_2.sol", "0.5.16"), + Test(all_detectors.IncorrectSolc, "static.sol", "0.6.10"), + Test(all_detectors.IncorrectSolc, "static.sol", "0.6.11"), + Test(all_detectors.IncorrectSolc, "dynamic_1.sol", "0.6.11"), + Test(all_detectors.IncorrectSolc, "dynamic_2.sol", "0.6.11"), + Test(all_detectors.IncorrectSolc, "static.sol", "0.7.4"), + Test(all_detectors.IncorrectSolc, "static.sol", "0.7.6"), + Test(all_detectors.IncorrectSolc, "dynamic_1.sol", "0.7.6"), + Test(all_detectors.IncorrectSolc, "dynamic_2.sol", "0.7.6"), Test( all_detectors.ReentrancyEth, - "tests/detectors/reentrancy-eth/0.4.25/reentrancy.sol", + "reentrancy.sol", "0.4.25", ), Test( all_detectors.ReentrancyEth, - "tests/detectors/reentrancy-eth/0.4.25/reentrancy_indirect.sol", + "reentrancy_indirect.sol", "0.4.25", ), Test( all_detectors.ReentrancyEth, - "tests/detectors/reentrancy-eth/0.5.16/reentrancy.sol", + "reentrancy.sol", "0.5.16", ), Test( all_detectors.ReentrancyEth, - "tests/detectors/reentrancy-eth/0.5.16/reentrancy_indirect.sol", + "reentrancy_indirect.sol", "0.5.16", ), Test( all_detectors.ReentrancyEth, - "tests/detectors/reentrancy-eth/0.6.11/reentrancy.sol", + "reentrancy.sol", "0.6.11", ), Test( all_detectors.ReentrancyEth, - "tests/detectors/reentrancy-eth/0.6.11/reentrancy_indirect.sol", + "reentrancy_indirect.sol", "0.6.11", ), - Test( - all_detectors.ReentrancyEth, "tests/detectors/reentrancy-eth/0.7.6/reentrancy.sol", "0.7.6" - ), + Test(all_detectors.ReentrancyEth, "reentrancy.sol", "0.7.6"), Test( all_detectors.ReentrancyEth, - "tests/detectors/reentrancy-eth/0.7.6/reentrancy_indirect.sol", + "reentrancy_indirect.sol", "0.7.6", ), Test( all_detectors.UninitializedStorageVars, - "tests/detectors/uninitialized-storage/0.4.25/uninitialized_storage_pointer.sol", + "uninitialized_storage_pointer.sol", "0.4.25", ), - Test(all_detectors.TxOrigin, "tests/detectors/tx-origin/0.4.25/tx_origin.sol", "0.4.25"), - Test(all_detectors.TxOrigin, "tests/detectors/tx-origin/0.5.16/tx_origin.sol", "0.5.16"), - Test(all_detectors.TxOrigin, "tests/detectors/tx-origin/0.6.11/tx_origin.sol", "0.6.11"), - Test(all_detectors.TxOrigin, "tests/detectors/tx-origin/0.7.6/tx_origin.sol", "0.7.6"), + Test(all_detectors.TxOrigin, "tx_origin.sol", "0.4.25"), + Test(all_detectors.TxOrigin, "tx_origin.sol", "0.5.16"), + Test(all_detectors.TxOrigin, "tx_origin.sol", "0.6.11"), + Test(all_detectors.TxOrigin, "tx_origin.sol", "0.7.6"), Test( all_detectors.UnusedStateVars, - "tests/detectors/unused-state/0.4.25/unused_state.sol", + "unused_state.sol", "0.4.25", ), Test( all_detectors.UnusedStateVars, - "tests/detectors/unused-state/0.5.16/unused_state.sol", + "unused_state.sol", "0.5.16", ), Test( all_detectors.UnusedStateVars, - "tests/detectors/unused-state/0.6.11/unused_state.sol", + "unused_state.sol", "0.6.11", ), Test( all_detectors.UnusedStateVars, - "tests/detectors/unused-state/0.7.6/unused_state.sol", + "unused_state.sol", "0.7.6", ), - Test( - all_detectors.LockedEther, "tests/detectors/locked-ether/0.4.25/locked_ether.sol", "0.4.25" - ), - Test( - all_detectors.LockedEther, "tests/detectors/locked-ether/0.5.16/locked_ether.sol", "0.5.16" - ), - Test( - all_detectors.LockedEther, "tests/detectors/locked-ether/0.6.11/locked_ether.sol", "0.6.11" - ), - Test(all_detectors.LockedEther, "tests/detectors/locked-ether/0.7.6/locked_ether.sol", "0.7.6"), + Test(all_detectors.LockedEther, "locked_ether.sol", "0.4.25"), + Test(all_detectors.LockedEther, "locked_ether.sol", "0.5.16"), + Test(all_detectors.LockedEther, "locked_ether.sol", "0.6.11"), + Test(all_detectors.LockedEther, "locked_ether.sol", "0.7.6"), Test( all_detectors.ArbitrarySend, - "tests/detectors/arbitrary-send/0.4.25/arbitrary_send.sol", + "arbitrary_send.sol", "0.4.25", ), Test( all_detectors.ArbitrarySend, - "tests/detectors/arbitrary-send/0.5.16/arbitrary_send.sol", + "arbitrary_send.sol", "0.5.16", ), Test( all_detectors.ArbitrarySend, - "tests/detectors/arbitrary-send/0.6.11/arbitrary_send.sol", + "arbitrary_send.sol", "0.6.11", ), Test( all_detectors.ArbitrarySend, - "tests/detectors/arbitrary-send/0.7.6/arbitrary_send.sol", + "arbitrary_send.sol", "0.7.6", ), Test( all_detectors.Assembly, - "tests/detectors/assembly/0.4.25/inline_assembly_contract.sol", + "inline_assembly_contract.sol", "0.4.25", ), Test( all_detectors.Assembly, - "tests/detectors/assembly/0.4.25/inline_assembly_library.sol", + "inline_assembly_library.sol", "0.4.25", ), Test( all_detectors.Assembly, - "tests/detectors/assembly/0.5.16/inline_assembly_contract.sol", + "inline_assembly_contract.sol", "0.5.16", ), Test( all_detectors.Assembly, - "tests/detectors/assembly/0.5.16/inline_assembly_library.sol", + "inline_assembly_library.sol", "0.5.16", ), Test( all_detectors.Assembly, - "tests/detectors/assembly/0.6.11/inline_assembly_contract.sol", + "inline_assembly_contract.sol", "0.6.11", ), Test( all_detectors.Assembly, - "tests/detectors/assembly/0.6.11/inline_assembly_library.sol", + "inline_assembly_library.sol", "0.6.11", ), Test( all_detectors.Assembly, - "tests/detectors/assembly/0.7.6/inline_assembly_contract.sol", + "inline_assembly_contract.sol", "0.7.6", ), Test( all_detectors.Assembly, - "tests/detectors/assembly/0.7.6/inline_assembly_library.sol", + "inline_assembly_library.sol", "0.7.6", ), Test( all_detectors.LowLevelCalls, - "tests/detectors/low-level-calls/0.4.25/low_level_calls.sol", + "low_level_calls.sol", "0.4.25", ), Test( all_detectors.LowLevelCalls, - "tests/detectors/low-level-calls/0.5.16/low_level_calls.sol", + "low_level_calls.sol", "0.5.16", ), Test( all_detectors.LowLevelCalls, - "tests/detectors/low-level-calls/0.6.11/low_level_calls.sol", + "low_level_calls.sol", "0.6.11", ), Test( all_detectors.LowLevelCalls, - "tests/detectors/low-level-calls/0.7.6/low_level_calls.sol", + "low_level_calls.sol", "0.7.6", ), Test( all_detectors.ConstCandidateStateVars, - "tests/detectors/constable-states/0.4.25/const_state_variables.sol", + "const_state_variables.sol", "0.4.25", ), Test( all_detectors.ConstCandidateStateVars, - "tests/detectors/constable-states/0.5.16/const_state_variables.sol", + "const_state_variables.sol", "0.5.16", ), Test( all_detectors.ConstCandidateStateVars, - "tests/detectors/constable-states/0.6.11/const_state_variables.sol", + "const_state_variables.sol", "0.6.11", ), Test( all_detectors.ConstCandidateStateVars, - "tests/detectors/constable-states/0.7.6/const_state_variables.sol", + "const_state_variables.sol", "0.7.6", ), Test( all_detectors.ExternalFunction, - "tests/detectors/external-function/0.4.25/external_function.sol", + "external_function.sol", "0.4.25", ), Test( all_detectors.ExternalFunction, - "tests/detectors/external-function/0.4.25/external_function_2.sol", + "external_function_2.sol", "0.4.25", ), Test( all_detectors.ExternalFunction, - "tests/detectors/external-function/0.5.16/external_function.sol", + "external_function.sol", "0.5.16", ), Test( all_detectors.ExternalFunction, - "tests/detectors/external-function/0.5.16/external_function_2.sol", + "external_function_2.sol", "0.5.16", ), Test( all_detectors.ExternalFunction, - "tests/detectors/external-function/0.6.11/external_function.sol", + "external_function.sol", "0.6.11", ), Test( all_detectors.ExternalFunction, - "tests/detectors/external-function/0.6.11/external_function_2.sol", + "external_function_2.sol", "0.6.11", ), Test( all_detectors.ExternalFunction, - "tests/detectors/external-function/0.7.6/external_function.sol", + "external_function.sol", "0.7.6", ), Test( all_detectors.ExternalFunction, - "tests/detectors/external-function/0.7.6/external_function_2.sol", + "external_function_2.sol", "0.7.6", ), Test( all_detectors.NamingConvention, - "tests/detectors/naming-convention/0.4.25/naming_convention.sol", + "naming_convention.sol", "0.4.25", ), Test( all_detectors.NamingConvention, - "tests/detectors/naming-convention/0.5.16/naming_convention.sol", + "naming_convention.sol", "0.5.16", ), Test( all_detectors.NamingConvention, - "tests/detectors/naming-convention/0.6.11/naming_convention.sol", + "naming_convention.sol", "0.6.11", ), Test( all_detectors.NamingConvention, - "tests/detectors/naming-convention/0.7.6/naming_convention.sol", + "naming_convention.sol", "0.7.6", ), Test( all_detectors.ControlledDelegateCall, - "tests/detectors/controlled-delegatecall/0.4.25/controlled_delegatecall.sol", + "controlled_delegatecall.sol", "0.4.25", ), Test( all_detectors.ControlledDelegateCall, - "tests/detectors/controlled-delegatecall/0.5.16/controlled_delegatecall.sol", + "controlled_delegatecall.sol", "0.5.16", ), Test( all_detectors.ControlledDelegateCall, - "tests/detectors/controlled-delegatecall/0.6.11/controlled_delegatecall.sol", + "controlled_delegatecall.sol", "0.6.11", ), Test( all_detectors.ControlledDelegateCall, - "tests/detectors/controlled-delegatecall/0.7.6/controlled_delegatecall.sol", + "controlled_delegatecall.sol", "0.7.6", ), Test( all_detectors.UninitializedLocalVars, - "tests/detectors/uninitialized-local/0.4.25/uninitialized_local_variable.sol", + "uninitialized_local_variable.sol", "0.4.25", ), Test( all_detectors.UninitializedLocalVars, - "tests/detectors/uninitialized-local/0.5.16/uninitialized_local_variable.sol", + "uninitialized_local_variable.sol", "0.5.16", ), Test( all_detectors.UninitializedLocalVars, - "tests/detectors/uninitialized-local/0.6.11/uninitialized_local_variable.sol", + "uninitialized_local_variable.sol", "0.6.11", ), Test( all_detectors.UninitializedLocalVars, - "tests/detectors/uninitialized-local/0.7.6/uninitialized_local_variable.sol", + "uninitialized_local_variable.sol", "0.7.6", ), - Test( - all_detectors.ConstantFunctionsAsm, "tests/detectors/constant/0.4.25/constant.sol", "0.4.25" - ), + Test(all_detectors.ConstantFunctionsAsm, "constant.sol", "0.4.25"), Test( all_detectors.ConstantFunctionsState, - "tests/detectors/constant/0.4.25/constant.sol", + "constant.sol", "0.4.25", ), - Test( - all_detectors.ConstantFunctionsAsm, "tests/detectors/constant/0.5.16/constant.sol", "0.5.16" - ), + Test(all_detectors.ConstantFunctionsAsm, "constant.sol", "0.5.16"), Test( all_detectors.ConstantFunctionsState, - "tests/detectors/constant/0.5.16/constant.sol", + "constant.sol", "0.5.16", ), - Test( - all_detectors.ConstantFunctionsAsm, "tests/detectors/constant/0.6.11/constant.sol", "0.6.11" - ), + Test(all_detectors.ConstantFunctionsAsm, "constant.sol", "0.6.11"), Test( all_detectors.ConstantFunctionsState, - "tests/detectors/constant/0.6.11/constant.sol", + "constant.sol", "0.6.11", ), - Test( - all_detectors.ConstantFunctionsAsm, "tests/detectors/constant/0.7.6/constant.sol", "0.7.6" - ), - Test( - all_detectors.ConstantFunctionsState, "tests/detectors/constant/0.7.6/constant.sol", "0.7.6" - ), + Test(all_detectors.ConstantFunctionsAsm, "constant.sol", "0.7.6"), + Test(all_detectors.ConstantFunctionsState, "constant.sol", "0.7.6"), Test( all_detectors.UnusedReturnValues, - "tests/detectors/unused-return/0.4.25/unused_return.sol", + "unused_return.sol", "0.4.25", ), Test( all_detectors.UnusedReturnValues, - "tests/detectors/unused-return/0.5.16/unused_return.sol", + "unused_return.sol", "0.5.16", ), Test( all_detectors.UnusedReturnValues, - "tests/detectors/unused-return/0.6.11/unused_return.sol", + "unused_return.sol", "0.6.11", ), Test( all_detectors.UnusedReturnValues, - "tests/detectors/unused-return/0.7.6/unused_return.sol", + "unused_return.sol", "0.7.6", ), Test( all_detectors.ShadowingAbstractDetection, - "tests/detectors/shadowing-abstract/0.4.25/shadowing_abstract.sol", + "shadowing_abstract.sol", "0.4.25", ), Test( all_detectors.ShadowingAbstractDetection, - "tests/detectors/shadowing-abstract/0.5.16/shadowing_abstract.sol", + "shadowing_abstract.sol", "0.5.16", ), Test( all_detectors.StateShadowing, - "tests/detectors/shadowing-state/0.4.25/shadowing_state_variable.sol", + "shadowing_state_variable.sol", "0.4.25", ), Test( all_detectors.StateShadowing, - "tests/detectors/shadowing-state/0.5.16/shadowing_state_variable.sol", + "shadowing_state_variable.sol", "0.5.16", ), Test( all_detectors.StateShadowing, - "tests/detectors/shadowing-state/0.6.11/shadowing_state_variable.sol", + "shadowing_state_variable.sol", "0.6.11", ), Test( all_detectors.StateShadowing, - "tests/detectors/shadowing-state/0.7.6/shadowing_state_variable.sol", + "shadowing_state_variable.sol", "0.7.6", ), - Test(all_detectors.Timestamp, "tests/detectors/timestamp/0.4.25/timestamp.sol", "0.4.25"), - Test(all_detectors.Timestamp, "tests/detectors/timestamp/0.5.16/timestamp.sol", "0.5.16"), - Test(all_detectors.Timestamp, "tests/detectors/timestamp/0.6.11/timestamp.sol", "0.6.11"), - Test(all_detectors.Timestamp, "tests/detectors/timestamp/0.7.6/timestamp.sol", "0.7.6"), + Test(all_detectors.Timestamp, "timestamp.sol", "0.4.25"), + Test(all_detectors.Timestamp, "timestamp.sol", "0.5.16"), + Test(all_detectors.Timestamp, "timestamp.sol", "0.6.11"), + Test(all_detectors.Timestamp, "timestamp.sol", "0.7.6"), Test( all_detectors.MultipleCallsInLoop, - "tests/detectors/calls-loop/0.4.25/multiple_calls_in_loop.sol", + "multiple_calls_in_loop.sol", "0.4.25", ), Test( all_detectors.MultipleCallsInLoop, - "tests/detectors/calls-loop/0.5.16/multiple_calls_in_loop.sol", + "multiple_calls_in_loop.sol", "0.5.16", ), Test( all_detectors.MultipleCallsInLoop, - "tests/detectors/calls-loop/0.6.11/multiple_calls_in_loop.sol", + "multiple_calls_in_loop.sol", "0.6.11", ), Test( all_detectors.MultipleCallsInLoop, - "tests/detectors/calls-loop/0.7.6/multiple_calls_in_loop.sol", + "multiple_calls_in_loop.sol", "0.7.6", ), Test( all_detectors.BuiltinSymbolShadowing, - "tests/detectors/shadowing-builtin/0.4.25/shadowing_builtin_symbols.sol", + "shadowing_builtin_symbols.sol", "0.4.25", ), Test( all_detectors.BuiltinSymbolShadowing, - "tests/detectors/shadowing-builtin/0.5.16/shadowing_builtin_symbols.sol", + "shadowing_builtin_symbols.sol", "0.5.16", ), Test( all_detectors.LocalShadowing, - "tests/detectors/shadowing-local/0.4.25/shadowing_local_variable.sol", + "shadowing_local_variable.sol", "0.4.25", ), Test( all_detectors.LocalShadowing, - "tests/detectors/shadowing-local/0.5.16/shadowing_local_variable.sol", + "shadowing_local_variable.sol", "0.5.16", ), Test( all_detectors.LocalShadowing, - "tests/detectors/shadowing-local/0.6.11/shadowing_local_variable.sol", + "shadowing_local_variable.sol", "0.6.11", ), Test( all_detectors.LocalShadowing, - "tests/detectors/shadowing-local/0.7.6/shadowing_local_variable.sol", + "shadowing_local_variable.sol", "0.7.6", ), Test( all_detectors.RightToLeftOverride, - "tests/detectors/rtlo/0.4.25/right_to_left_override.sol", + "right_to_left_override.sol", "0.4.25", ), Test( all_detectors.RightToLeftOverride, - "tests/detectors/rtlo/0.5.16/right_to_left_override.sol", + "right_to_left_override.sol", "0.5.16", ), Test( all_detectors.RightToLeftOverride, - "tests/detectors/rtlo/0.6.11/right_to_left_override.sol", + "right_to_left_override.sol", "0.6.11", ), - Test(all_detectors.VoidConstructor, "tests/detectors/void-cst/0.4.25/void-cst.sol", "0.4.25"), - Test(all_detectors.VoidConstructor, "tests/detectors/void-cst/0.5.16/void-cst.sol", "0.5.16"), - Test(all_detectors.VoidConstructor, "tests/detectors/void-cst/0.6.11/void-cst.sol", "0.6.11"), - Test(all_detectors.VoidConstructor, "tests/detectors/void-cst/0.7.6/void-cst.sol", "0.7.6"), + Test(all_detectors.VoidConstructor, "void-cst.sol", "0.4.25"), + Test(all_detectors.VoidConstructor, "void-cst.sol", "0.5.16"), + Test(all_detectors.VoidConstructor, "void-cst.sol", "0.6.11"), + Test(all_detectors.VoidConstructor, "void-cst.sol", "0.7.6"), Test( all_detectors.UncheckedSend, - "tests/detectors/unchecked-send/0.4.25/unchecked_send.sol", + "unchecked_send.sol", "0.4.25", ), Test( all_detectors.UncheckedSend, - "tests/detectors/unchecked-send/0.5.16/unchecked_send.sol", + "unchecked_send.sol", "0.5.16", ), Test( all_detectors.UncheckedSend, - "tests/detectors/unchecked-send/0.6.11/unchecked_send.sol", + "unchecked_send.sol", "0.6.11", ), Test( all_detectors.UncheckedSend, - "tests/detectors/unchecked-send/0.7.6/unchecked_send.sol", + "unchecked_send.sol", "0.7.6", ), Test( all_detectors.ReentrancyEvent, - "tests/detectors/reentrancy-events/0.5.16/reentrancy-events.sol", + "reentrancy-events.sol", "0.5.16", ), Test( all_detectors.ReentrancyEvent, - "tests/detectors/reentrancy-events/0.6.11/reentrancy-events.sol", + "reentrancy-events.sol", "0.6.11", ), Test( all_detectors.ReentrancyEvent, - "tests/detectors/reentrancy-events/0.7.6/reentrancy-events.sol", + "reentrancy-events.sol", "0.7.6", ), Test( all_detectors.IncorrectStrictEquality, - "tests/detectors/incorrect-equality/0.4.25/incorrect_equality.sol", + "incorrect_equality.sol", "0.4.25", ), Test( all_detectors.IncorrectStrictEquality, - "tests/detectors/incorrect-equality/0.5.16/incorrect_equality.sol", + "incorrect_equality.sol", "0.5.16", ), Test( all_detectors.IncorrectStrictEquality, - "tests/detectors/incorrect-equality/0.6.11/incorrect_equality.sol", + "incorrect_equality.sol", "0.6.11", ), Test( all_detectors.IncorrectStrictEquality, - "tests/detectors/incorrect-equality/0.7.6/incorrect_equality.sol", + "incorrect_equality.sol", "0.7.6", ), Test( all_detectors.TooManyDigits, - "tests/detectors/too-many-digits/0.4.25/too_many_digits.sol", + "too_many_digits.sol", "0.4.25", ), Test( all_detectors.TooManyDigits, - "tests/detectors/too-many-digits/0.5.16/too_many_digits.sol", + "too_many_digits.sol", "0.5.16", ), Test( all_detectors.TooManyDigits, - "tests/detectors/too-many-digits/0.6.11/too_many_digits.sol", + "too_many_digits.sol", "0.6.11", ), Test( all_detectors.TooManyDigits, - "tests/detectors/too-many-digits/0.7.6/too_many_digits.sol", + "too_many_digits.sol", "0.7.6", ), Test( all_detectors.UnprotectedUpgradeable, - "tests/detectors/unprotected-upgrade/0.4.25/Buggy.sol", + "Buggy.sol", "0.4.25", ), Test( all_detectors.UnprotectedUpgradeable, - "tests/detectors/unprotected-upgrade/0.4.25/Fixed.sol", + "Fixed.sol", "0.4.25", ), Test( all_detectors.UnprotectedUpgradeable, - "tests/detectors/unprotected-upgrade/0.5.16/Buggy.sol", + "Buggy.sol", "0.5.16", ), Test( all_detectors.UnprotectedUpgradeable, - "tests/detectors/unprotected-upgrade/0.5.16/Fixed.sol", + "Fixed.sol", "0.5.16", ), Test( all_detectors.UnprotectedUpgradeable, - "tests/detectors/unprotected-upgrade/0.6.11/Buggy.sol", + "Buggy.sol", "0.6.11", ), Test( all_detectors.UnprotectedUpgradeable, - "tests/detectors/unprotected-upgrade/0.6.11/Fixed.sol", + "Fixed.sol", "0.6.11", ), Test( all_detectors.UnprotectedUpgradeable, - "tests/detectors/unprotected-upgrade/0.7.6/Buggy.sol", + "Buggy.sol", "0.7.6", ), Test( all_detectors.UnprotectedUpgradeable, - "tests/detectors/unprotected-upgrade/0.7.6/Fixed.sol", + "Fixed.sol", "0.7.6", ), - Test( - all_detectors.NamingConvention, - "tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol", - "0.4.25", - ), Test( all_detectors.ABIEncoderV2Array, - "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", + "storage_ABIEncoderV2_array.sol", "0.4.25", ), Test( all_detectors.ABIEncoderV2Array, - "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", + "storage_ABIEncoderV2_array.sol", "0.5.10", ), Test( all_detectors.ABIEncoderV2Array, - "tests/detectors/abiencoderv2-array/0.5.11/storage_ABIEncoderV2_array.sol", + "storage_ABIEncoderV2_array.sol", "0.5.11", ), Test( all_detectors.ArrayByReference, - "tests/detectors/array-by-reference/0.4.25/array_by_reference.sol", + "array_by_reference.sol", "0.4.25", ), Test( all_detectors.ArrayByReference, - "tests/detectors/array-by-reference/0.5.16/array_by_reference.sol", + "array_by_reference.sol", "0.5.16", ), Test( all_detectors.ArrayByReference, - "tests/detectors/array-by-reference/0.6.11/array_by_reference.sol", + "array_by_reference.sol", "0.6.11", ), Test( all_detectors.ArrayByReference, - "tests/detectors/array-by-reference/0.7.6/array_by_reference.sol", + "array_by_reference.sol", "0.7.6", ), Test( all_detectors.AssertStateChange, - "tests/detectors/assert-state-change/0.4.25/assert_state_change.sol", + "assert_state_change.sol", "0.4.25", ), Test( all_detectors.AssertStateChange, - "tests/detectors/assert-state-change/0.5.16/assert_state_change.sol", + "assert_state_change.sol", "0.5.16", ), Test( all_detectors.AssertStateChange, - "tests/detectors/assert-state-change/0.6.11/assert_state_change.sol", + "assert_state_change.sol", "0.6.11", ), Test( all_detectors.AssertStateChange, - "tests/detectors/assert-state-change/0.7.6/assert_state_change.sol", + "assert_state_change.sol", "0.7.6", ), Test( all_detectors.ArrayLengthAssignment, - "tests/detectors/controlled-array-length/0.4.25/array_length_assignment.sol", + "array_length_assignment.sol", "0.4.25", ), Test( all_detectors.ArrayLengthAssignment, - "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", + "array_length_assignment.sol", "0.5.16", ), Test( all_detectors.CostlyOperationsInLoop, - "tests/detectors/costly-loop/0.4.25/multiple_costly_operations_in_loop.sol", + "multiple_costly_operations_in_loop.sol", "0.4.25", ), Test( all_detectors.CostlyOperationsInLoop, - "tests/detectors/costly-loop/0.5.16/multiple_costly_operations_in_loop.sol", + "multiple_costly_operations_in_loop.sol", "0.5.16", ), Test( all_detectors.CostlyOperationsInLoop, - "tests/detectors/costly-loop/0.6.11/multiple_costly_operations_in_loop.sol", + "multiple_costly_operations_in_loop.sol", "0.6.11", ), Test( all_detectors.CostlyOperationsInLoop, - "tests/detectors/costly-loop/0.7.6/multiple_costly_operations_in_loop.sol", + "multiple_costly_operations_in_loop.sol", "0.7.6", ), Test( all_detectors.FunctionInitializedState, - "tests/detectors/function-init-state/0.4.25/function_init_state_variables.sol", + "function_init_state_variables.sol", "0.4.25", ), Test( all_detectors.FunctionInitializedState, - "tests/detectors/function-init-state/0.5.16/function_init_state_variables.sol", + "function_init_state_variables.sol", "0.5.16", ), Test( all_detectors.FunctionInitializedState, - "tests/detectors/function-init-state/0.6.11/function_init_state_variables.sol", + "function_init_state_variables.sol", "0.6.11", ), Test( all_detectors.FunctionInitializedState, - "tests/detectors/function-init-state/0.7.6/function_init_state_variables.sol", + "function_init_state_variables.sol", "0.7.6", ), Test( all_detectors.MappingDeletionDetection, - "tests/detectors/mapping-deletion/0.4.25/MappingDeletion.sol", + "MappingDeletion.sol", "0.4.25", ), Test( all_detectors.MappingDeletionDetection, - "tests/detectors/mapping-deletion/0.5.16/MappingDeletion.sol", + "MappingDeletion.sol", "0.5.16", ), Test( all_detectors.MappingDeletionDetection, - "tests/detectors/mapping-deletion/0.6.11/MappingDeletion.sol", + "MappingDeletion.sol", "0.6.11", ), Test( all_detectors.MappingDeletionDetection, - "tests/detectors/mapping-deletion/0.7.6/MappingDeletion.sol", - "0.7.6", - ), - Test( - all_detectors.UnimplementedFunctionDetection, - "tests/detectors/missing-inheritance/0.5.16/unimplemented_interfaces.sol", - "0.5.16", - ), - Test( - all_detectors.UnimplementedFunctionDetection, - "tests/detectors/missing-inheritance/0.6.11/unimplemented_interfaces.sol", - "0.6.11", - ), - Test( - all_detectors.UnimplementedFunctionDetection, - "tests/detectors/missing-inheritance/0.7.6/unimplemented_interfaces.sol", + "MappingDeletion.sol", "0.7.6", ), Test( all_detectors.PublicMappingNested, - "tests/detectors/public-mappings-nested/0.4.25/public_mappings_nested.sol", + "public_mappings_nested.sol", "0.4.25", ), Test( all_detectors.RedundantStatements, - "tests/detectors/redundant-statements/0.4.25/redundant_statements.sol", + "redundant_statements.sol", "0.4.25", ), Test( all_detectors.RedundantStatements, - "tests/detectors/redundant-statements/0.5.16/redundant_statements.sol", + "redundant_statements.sol", "0.5.16", ), Test( all_detectors.RedundantStatements, - "tests/detectors/redundant-statements/0.6.11/redundant_statements.sol", + "redundant_statements.sol", "0.6.11", ), Test( all_detectors.RedundantStatements, - "tests/detectors/redundant-statements/0.7.6/redundant_statements.sol", + "redundant_statements.sol", "0.7.6", ), Test( all_detectors.ReusedBaseConstructor, - "tests/detectors/reused-constructor/0.4.21/reused_base_constructor.sol", + "reused_base_constructor.sol", "0.4.21", ), Test( all_detectors.ReusedBaseConstructor, - "tests/detectors/reused-constructor/0.4.25/reused_base_constructor.sol", + "reused_base_constructor.sol", "0.4.25", ), Test( all_detectors.StorageSignedIntegerArray, - "tests/detectors/storage-array/0.5.10/storage_signed_integer_array.sol", + "storage_signed_integer_array.sol", "0.5.10", ), Test( all_detectors.StorageSignedIntegerArray, - "tests/detectors/storage-array/0.5.16/storage_signed_integer_array.sol", + "storage_signed_integer_array.sol", "0.5.16", ), Test( all_detectors.UnimplementedFunctionDetection, - "tests/detectors/unimplemented-functions/0.4.25/unimplemented.sol", + "unimplemented.sol", "0.4.25", ), Test( all_detectors.UnimplementedFunctionDetection, - "tests/detectors/unimplemented-functions/0.5.16/unimplemented.sol", + "unimplemented.sol", "0.5.16", ), Test( all_detectors.UnimplementedFunctionDetection, - "tests/detectors/unimplemented-functions/0.6.11/unimplemented.sol", + "unimplemented.sol", "0.6.11", ), Test( all_detectors.UnimplementedFunctionDetection, - "tests/detectors/unimplemented-functions/0.7.6/unimplemented.sol", + "unimplemented.sol", "0.7.6", ), - Test(all_detectors.BadPRNG, "tests/detectors/weak-prng/0.4.25/bad_prng.sol", "0.4.25"), - Test(all_detectors.BadPRNG, "tests/detectors/weak-prng/0.5.16/bad_prng.sol", "0.5.16"), - Test(all_detectors.BadPRNG, "tests/detectors/weak-prng/0.6.11/bad_prng.sol", "0.6.11"), - Test(all_detectors.BadPRNG, "tests/detectors/weak-prng/0.7.6/bad_prng.sol", "0.7.6"), + Test( + all_detectors.UnimplementedFunctionDetection, + "unimplemented_interfaces.sol", + "0.5.16", + ), + Test( + all_detectors.UnimplementedFunctionDetection, + "unimplemented_interfaces.sol", + "0.6.11", + ), + Test( + all_detectors.UnimplementedFunctionDetection, + "unimplemented_interfaces.sol", + "0.7.6", + ), + Test(all_detectors.BadPRNG, "bad_prng.sol", "0.4.25"), + Test(all_detectors.BadPRNG, "bad_prng.sol", "0.5.16"), + Test(all_detectors.BadPRNG, "bad_prng.sol", "0.6.11"), + Test(all_detectors.BadPRNG, "bad_prng.sol", "0.7.6"), Test( all_detectors.MissingEventsAccessControl, - "tests/detectors/events-access/0.4.25/missing_events_access_control.sol", + "missing_events_access_control.sol", "0.4.25", ), Test( all_detectors.MissingEventsAccessControl, - "tests/detectors/events-access/0.5.16/missing_events_access_control.sol", + "missing_events_access_control.sol", "0.5.16", ), Test( all_detectors.MissingEventsAccessControl, - "tests/detectors/events-access/0.6.11/missing_events_access_control.sol", + "missing_events_access_control.sol", "0.6.11", ), Test( all_detectors.MissingEventsAccessControl, - "tests/detectors/events-access/0.7.6/missing_events_access_control.sol", + "missing_events_access_control.sol", "0.7.6", ), Test( all_detectors.MissingEventsArithmetic, - "tests/detectors/events-maths/0.4.25/missing_events_arithmetic.sol", + "missing_events_arithmetic.sol", "0.4.25", ), Test( all_detectors.MissingEventsArithmetic, - "tests/detectors/events-maths/0.5.16/missing_events_arithmetic.sol", + "missing_events_arithmetic.sol", "0.5.16", ), Test( all_detectors.MissingEventsArithmetic, - "tests/detectors/events-maths/0.6.11/missing_events_arithmetic.sol", + "missing_events_arithmetic.sol", "0.6.11", ), Test( all_detectors.MissingEventsArithmetic, - "tests/detectors/events-maths/0.7.6/missing_events_arithmetic.sol", + "missing_events_arithmetic.sol", "0.7.6", ), Test( all_detectors.ModifierDefaultDetection, - "tests/detectors/incorrect-modifier/0.4.25/modifier_default.sol", + "modifier_default.sol", "0.4.25", ), Test( all_detectors.ModifierDefaultDetection, - "tests/detectors/incorrect-modifier/0.5.16/modifier_default.sol", + "modifier_default.sol", "0.5.16", ), Test( all_detectors.ModifierDefaultDetection, - "tests/detectors/incorrect-modifier/0.6.11/modifier_default.sol", + "modifier_default.sol", "0.6.11", ), Test( all_detectors.ModifierDefaultDetection, - "tests/detectors/incorrect-modifier/0.7.6/modifier_default.sol", + "modifier_default.sol", "0.7.6", ), Test( all_detectors.IncorrectUnaryExpressionDetection, - "tests/detectors/incorrect-unary/0.4.25/invalid_unary_expression.sol", + "invalid_unary_expression.sol", "0.4.25", ), Test( all_detectors.MissingZeroAddressValidation, - "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol", + "missing_zero_address_validation.sol", "0.4.25", ), Test( all_detectors.MissingZeroAddressValidation, - "tests/detectors/missing-zero-check/0.5.16/missing_zero_address_validation.sol", + "missing_zero_address_validation.sol", "0.5.16", ), Test( all_detectors.MissingZeroAddressValidation, - "tests/detectors/missing-zero-check/0.6.11/missing_zero_address_validation.sol", + "missing_zero_address_validation.sol", "0.6.11", ), Test( all_detectors.MissingZeroAddressValidation, - "tests/detectors/missing-zero-check/0.7.6/missing_zero_address_validation.sol", + "missing_zero_address_validation.sol", "0.7.6", ), Test( all_detectors.PredeclarationUsageLocal, - "tests/detectors/variable-scope/0.4.25/predeclaration_usage_local.sol", + "predeclaration_usage_local.sol", "0.4.25", ), ] @@ -1156,22 +1125,33 @@ GENERIC_PATH = "/GENERIC_PATH" @pytest.mark.parametrize("test_item", ALL_TESTS, ids=id_test) def test_detector(test_item: Test): + test_dir_path = pathlib.Path( + pathlib.Path().absolute(), + "tests", + "detectors", + test_item.detector.ARGUMENT, + test_item.solc_ver, + ) + test_file_path = str(pathlib.Path(test_dir_path, test_item.test_file)) + expected_result_path = str(pathlib.Path(test_dir_path, test_item.expected_result).absolute()) + set_solc(test_item) - sl = Slither(test_item.test_file) + sl = Slither(test_file_path) sl.register_detector(test_item.detector) results = sl.run_detectors() - with open(test_item.expected_result, encoding="utf8") as f: + with open(expected_result_path, encoding="utf8") as f: expected_result = json.load(f) results_as_string = json.dumps(results) - current_path = str(pathlib.Path(pathlib.Path().absolute(), test_item.test_file).absolute()) + for additional_file in test_item.additional_files: - additional_path = str(pathlib.Path(pathlib.Path().absolute(), additional_file).absolute()) + additional_path = str(pathlib.Path(test_dir_path, additional_file).absolute()) results_as_string = results_as_string.replace( additional_path, str(pathlib.Path(GENERIC_PATH)) ) - results_as_string = results_as_string.replace(current_path, str(pathlib.Path(GENERIC_PATH))) + results_as_string = results_as_string.replace(test_file_path, str(pathlib.Path(GENERIC_PATH))) + results = json.loads(results_as_string) diff = DeepDiff(results, expected_result, ignore_order=True, verbose_level=2) @@ -1181,41 +1161,46 @@ def test_detector(test_item: Test): if "iterable_item_added" in diff_as_dict: print("#### Findings added") - for findings_added in diff_as_dict["iterable_item_added"].values(): - for finding_added in findings_added: - print(finding_added["description"]) + for finding_added in diff_as_dict["iterable_item_added"].values(): + print(finding_added["description"]) if "iterable_item_removed" in diff_as_dict: print("#### Findings removed") - for findings_added in diff_as_dict["iterable_item_removed"].values(): - for finding_added in findings_added: - print(finding_added["description"]) + for finding_added in diff_as_dict["iterable_item_removed"].values(): + print(finding_added["description"]) assert False def _generate_test(test_item: Test, skip_existing=False): + test_dir_path = pathlib.Path( + pathlib.Path().absolute(), + "tests", + "detectors", + test_item.detector.ARGUMENT, + test_item.solc_ver, + ) + test_file_path = str(pathlib.Path(test_dir_path, test_item.test_file)) + expected_result_path = str(pathlib.Path(test_dir_path, test_item.expected_result).absolute()) if skip_existing: - if os.path.isfile(test_item.expected_result): + if os.path.isfile(expected_result_path): return set_solc(test_item) - sl = Slither(test_item.test_file) + sl = Slither(test_file_path) sl.register_detector(test_item.detector) results = sl.run_detectors() results_as_string = json.dumps(results) - current_path = str(pathlib.Path(pathlib.Path().absolute(), test_item.test_file).absolute()) - results_as_string = results_as_string.replace(current_path, str(pathlib.Path(GENERIC_PATH))) + results_as_string = results_as_string.replace(test_file_path, str(pathlib.Path(GENERIC_PATH))) for additional_file in test_item.additional_files: - additional_path = str(pathlib.Path(pathlib.Path().absolute(), additional_file).absolute()) + additional_path = str(pathlib.Path(test_dir_path, additional_file).absolute()) results_as_string = results_as_string.replace( additional_path, str(pathlib.Path(GENERIC_PATH)) ) results = json.loads(results_as_string) - - with open(test_item.expected_result, "w") as f: + with open(expected_result_path, "w") as f: f.write(json.dumps(results, indent=4))