TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

deduce test file path from solc version and detector name

Browse Source
pull/825/head
Alexander Remie 4 years ago
parent fa22b62634
commit c4948d2cea
55 changed files with 987 additions and 1609 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 220
      tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol.0.4.25.ABIEncoderV2Array.json
  2. 220
      tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol.0.5.10.ABIEncoderV2Array.json
  3. 388
      tests/detectors/arbitrary-send/0.6.11/arbitrary_send.sol.0.4.25.ArbitrarySend.json
  4. 0
      tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol
  5. 26
      tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json
  6. 0
      tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol
  7. 26
      tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json
  8. 0
      tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol
  9. 26
      tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json
  10. 0
      tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol
  11. 26
      tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json
  12. 0
      tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol
  13. 26
      tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json
  14. 0
      tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol
  15. 26
      tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json
  16. 0
      tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol
  17. 26
      tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json
  18. 0
      tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol
  19. 26
      tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json
  20. 0
      tests/detectors/constant-function-asm/0.4.25/constant.sol
  21. 12
      tests/detectors/constant-function-asm/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json
  22. 0
      tests/detectors/constant-function-asm/0.5.16/constant.sol
  23. 0
      tests/detectors/constant-function-asm/0.5.16/constant.sol.0.5.16.ConstantFunctionsAsm.json
  24. 0
      tests/detectors/constant-function-asm/0.6.11/constant.sol
  25. 0
      tests/detectors/constant-function-asm/0.6.11/constant.sol.0.6.11.ConstantFunctionsAsm.json
  26. 0
      tests/detectors/constant-function-asm/0.7.6/constant.sol
  27. 0
      tests/detectors/constant-function-asm/0.7.6/constant.sol.0.7.6.ConstantFunctionsAsm.json
  28. 25
      tests/detectors/constant-function-state/0.4.25/constant.sol
  29. 40
      tests/detectors/constant-function-state/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json
  30. 20
      tests/detectors/constant-function-state/0.5.16/constant.sol
  31. 0
      tests/detectors/constant-function-state/0.5.16/constant.sol.0.5.16.ConstantFunctionsState.json
  32. 20
      tests/detectors/constant-function-state/0.6.11/constant.sol
  33. 0
      tests/detectors/constant-function-state/0.6.11/constant.sol.0.6.11.ConstantFunctionsState.json
  34. 20
      tests/detectors/constant-function-state/0.7.6/constant.sol
  35. 0
      tests/detectors/constant-function-state/0.7.6/constant.sol.0.7.6.ConstantFunctionsState.json
  36. 50
      tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol.0.5.16.ArrayLengthAssignment.json
  37. 76
      tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol.0.4.25.NamingConvention.json
  38. 76
      tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol.0.5.16.NamingConvention.json
  39. 76
      tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol.0.6.11.NamingConvention.json
  40. 76
      tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol.0.7.6.NamingConvention.json
  41. 0
      tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol
  42. 112
      tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json
  43. 0
      tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol
  44. 112
      tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json
  45. 0
      tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol
  46. 112
      tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json
  47. 0
      tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol
  48. 112
      tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json
  49. 0
      tests/detectors/unimplemented-functions/0.5.16/unimplemented_interfaces.sol
  50. 0
      tests/detectors/unimplemented-functions/0.5.16/unimplemented_interfaces.sol.0.5.16.UnimplementedFunctionDetection.json
  51. 0
      tests/detectors/unimplemented-functions/0.6.11/unimplemented_interfaces.sol
  52. 0
      tests/detectors/unimplemented-functions/0.6.11/unimplemented_interfaces.sol.0.6.11.UnimplementedFunctionDetection.json
  53. 0
      tests/detectors/unimplemented-functions/0.7.6/unimplemented_interfaces.sol
  54. 0
      tests/detectors/unimplemented-functions/0.7.6/unimplemented_interfaces.sol.0.7.6.UnimplementedFunctionDetection.json
  55. 621
      tests/test_detectors.py

220
tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol.0.4.25.ABIEncoderV2Array.json
Unescape View File

@ -4,19 +4,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad4", "name": "bad1",
"source_mapping": { "source_mapping": {
"start": 1296, "start": 726,
"length": 148, "length": 63,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
44, 29,
45, 30,
46 31
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -136,42 +136,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad4()" "signature": "bad1(A.S[3])"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "event1_bad(bad_arr)", "name": "this.bad1_external(s)",
"source_mapping": { "source_mapping": {
"start": 1415, "start": 763,
"length": 24, "length": 21,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
45 30
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 29 "ending_column": 26
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad4", "name": "bad1",
"source_mapping": { "source_mapping": {
"start": 1296, "start": 726,
"length": 148, "length": 63,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
44, 29,
45, 30,
46 31
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -291,15 +291,15 @@
"ending_column": 2 "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", "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.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", "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": "144c77aebb4037fe38c2864892ecb888a4fb7d5e92e321e664b2d2226658a166", "id": "3febdd98f71332c80290c9557c5ef89ea9dbea4f520a084b0307f21b00da5010",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"
@ -612,19 +612,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad2", "name": "bad4",
"source_mapping": { "source_mapping": {
"start": 852, "start": 1296,
"length": 160, "length": 148,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
34, 44,
35, 45,
36 46
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -744,42 +744,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad2()" "signature": "bad4()"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "b = abi.encode(bad_arr)", "name": "event1_bad(bad_arr)",
"source_mapping": { "source_mapping": {
"start": 971, "start": 1415,
"length": 36, "length": 24,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
35 45
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 41 "ending_column": 29
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad2", "name": "bad4",
"source_mapping": { "source_mapping": {
"start": 852, "start": 1296,
"length": 160, "length": 148,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
34, 44,
35, 45,
36 46
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -899,15 +899,15 @@
"ending_column": 2 "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", "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.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", "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": "d5860309d331920d1e3f44508fea706df75a4a7c2e93666ca96ca00ef32d7e01", "id": "144c77aebb4037fe38c2864892ecb888a4fb7d5e92e321e664b2d2226658a166",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"
@ -916,19 +916,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad0", "name": "bad5",
"source_mapping": { "source_mapping": {
"start": 540, "start": 1511,
"length": 61, "length": 142,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
21, 49,
22, 50,
23 51
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1048,42 +1048,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad0()" "signature": "bad5()"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "this.bad0_external(bad_arr)", "name": "event2_bad(s)",
"source_mapping": { "source_mapping": {
"start": 569, "start": 1630,
"length": 27, "length": 18,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
22 50
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 32 "ending_column": 23
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad0", "name": "bad5",
"source_mapping": { "source_mapping": {
"start": 540, "start": 1511,
"length": 61, "length": 142,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
21, 49,
22, 50,
23 51
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1203,15 +1203,15 @@
"ending_column": 2 "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", "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.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", "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": "3752da45df0ba78cc9ac01a10b398e4ad74e6ddd572764cf2f361e523a43a998", "id": "e77767c95f4548636027a859ca0c63402cfb50af242f116dd3cfc5b038a4128e",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"
@ -1220,19 +1220,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad5", "name": "bad0",
"source_mapping": { "source_mapping": {
"start": 1511, "start": 540,
"length": 142, "length": 61,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
49, 21,
50, 22,
51 23
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1352,42 +1352,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad5()" "signature": "bad0()"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "event2_bad(s)", "name": "this.bad0_external(bad_arr)",
"source_mapping": { "source_mapping": {
"start": 1630, "start": 569,
"length": 18, "length": 27,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
50 22
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 23 "ending_column": 32
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad5", "name": "bad0",
"source_mapping": { "source_mapping": {
"start": 1511, "start": 540,
"length": 142, "length": 61,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
49, 21,
50, 22,
51 23
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1507,15 +1507,15 @@
"ending_column": 2 "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", "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.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", "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": "e77767c95f4548636027a859ca0c63402cfb50af242f116dd3cfc5b038a4128e", "id": "3752da45df0ba78cc9ac01a10b398e4ad74e6ddd572764cf2f361e523a43a998",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"
@ -1524,19 +1524,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad1", "name": "bad2",
"source_mapping": { "source_mapping": {
"start": 726, "start": 852,
"length": 63, "length": 160,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
29, 34,
30, 35,
31 36
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1656,42 +1656,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad1(A.S[3])" "signature": "bad2()"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "this.bad1_external(s)", "name": "b = abi.encode(bad_arr)",
"source_mapping": { "source_mapping": {
"start": 763, "start": 971,
"length": 21, "length": 36,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
30 35
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 26 "ending_column": 41
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad1", "name": "bad2",
"source_mapping": { "source_mapping": {
"start": 726, "start": 852,
"length": 63, "length": 160,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.4.25/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
29, 34,
30, 35,
31 36
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1811,15 +1811,15 @@
"ending_column": 2 "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", "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.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", "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": "3febdd98f71332c80290c9557c5ef89ea9dbea4f520a084b0307f21b00da5010", "id": "d5860309d331920d1e3f44508fea706df75a4a7c2e93666ca96ca00ef32d7e01",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"

220
tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol.0.5.10.ABIEncoderV2Array.json
Unescape View File

@ -4,19 +4,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad4", "name": "bad5",
"source_mapping": { "source_mapping": {
"start": 1321, "start": 1536,
"length": 148, "length": 142,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
44, 49,
45, 50,
46 51
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -136,42 +136,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad4()" "signature": "bad5()"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "event1_bad(bad_arr)", "name": "event2_bad(s)",
"source_mapping": { "source_mapping": {
"start": 1440, "start": 1655,
"length": 24, "length": 18,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
45 50
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 29 "ending_column": 23
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad4", "name": "bad5",
"source_mapping": { "source_mapping": {
"start": 1321, "start": 1536,
"length": 148, "length": 142,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
44, 49,
45, 50,
46 51
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -291,15 +291,15 @@
"ending_column": 2 "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", "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.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", "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": "41b64698d5678d4095816d22b2d431371ca18801800bcf35b077e2675724a4e6", "id": "eeb6e1300bf8056da088cb4f3e2703471fee9fdca73774ce3643fb884954d216",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"
@ -308,19 +308,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad0", "name": "bad1",
"source_mapping": { "source_mapping": {
"start": 549, "start": 744,
"length": 61, "length": 70,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
21, 29,
22, 30,
23 31
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -440,42 +440,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad0()" "signature": "bad1(A.S[3])"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "this.bad0_external(bad_arr)", "name": "this.bad1_external(s)",
"source_mapping": { "source_mapping": {
"start": 578, "start": 788,
"length": 27, "length": 21,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
22 30
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 32 "ending_column": 26
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad0", "name": "bad1",
"source_mapping": { "source_mapping": {
"start": 549, "start": 744,
"length": 61, "length": 70,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
21, 29,
22, 30,
23 31
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -595,15 +595,15 @@
"ending_column": 2 "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", "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.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", "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": "f9335a48cb948e294b54605d1c63d61e863a824f3346be2db07c923896aafac0", "id": "e432c7633b89e67459b76c1265a299e59fe6a651edd8888067df47200840451d",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"
@ -612,19 +612,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad5", "name": "bad2",
"source_mapping": { "source_mapping": {
"start": 1536, "start": 877,
"length": 142, "length": 160,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
49, 34,
50, 35,
51 36
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -744,42 +744,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad5()" "signature": "bad2()"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "event2_bad(s)", "name": "b = abi.encode(bad_arr)",
"source_mapping": { "source_mapping": {
"start": 1655, "start": 996,
"length": 18, "length": 36,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
50 35
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 23 "ending_column": 41
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad5", "name": "bad2",
"source_mapping": { "source_mapping": {
"start": 1536, "start": 877,
"length": 142, "length": 160,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
49, 34,
50, 35,
51 36
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -899,15 +899,15 @@
"ending_column": 2 "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", "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.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", "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": "eeb6e1300bf8056da088cb4f3e2703471fee9fdca73774ce3643fb884954d216", "id": "fb8e8ba854095891e3a490b43b126215858286a4a59902e7c63394a83befab0b",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"
@ -916,19 +916,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad2", "name": "bad4",
"source_mapping": { "source_mapping": {
"start": 877, "start": 1321,
"length": 160, "length": 148,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
34, 44,
35, 45,
36 46
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1048,42 +1048,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad2()" "signature": "bad4()"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "b = abi.encode(bad_arr)", "name": "event1_bad(bad_arr)",
"source_mapping": { "source_mapping": {
"start": 996, "start": 1440,
"length": 36, "length": 24,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
35 45
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 41 "ending_column": 29
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad2", "name": "bad4",
"source_mapping": { "source_mapping": {
"start": 877, "start": 1321,
"length": 160, "length": 148,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
34, 44,
35, 45,
36 46
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1203,15 +1203,15 @@
"ending_column": 2 "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", "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.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", "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": "fb8e8ba854095891e3a490b43b126215858286a4a59902e7c63394a83befab0b", "id": "41b64698d5678d4095816d22b2d431371ca18801800bcf35b077e2675724a4e6",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"
@ -1524,19 +1524,19 @@
"elements": [ "elements": [
{ {
"type": "function", "type": "function",
"name": "bad1", "name": "bad0",
"source_mapping": { "source_mapping": {
"start": 744, "start": 549,
"length": 70, "length": 61,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
29, 21,
30, 22,
31 23
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1656,42 +1656,42 @@
"ending_column": 2 "ending_column": 2
} }
}, },
"signature": "bad1(A.S[3])" "signature": "bad0()"
} }
}, },
{ {
"type": "node", "type": "node",
"name": "this.bad1_external(s)", "name": "this.bad0_external(bad_arr)",
"source_mapping": { "source_mapping": {
"start": 788, "start": 578,
"length": 21, "length": 27,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
30 22
], ],
"starting_column": 5, "starting_column": 5,
"ending_column": 26 "ending_column": 32
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "parent": {
"type": "function", "type": "function",
"name": "bad1", "name": "bad0",
"source_mapping": { "source_mapping": {
"start": 744, "start": 549,
"length": 70, "length": 61,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_relative": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol", "filename_short": "tests/detectors/abiencoderv2-array/0.5.10/storage_ABIEncoderV2_array.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
29, 21,
30, 22,
31 23
], ],
"starting_column": 3, "starting_column": 3,
"ending_column": 4 "ending_column": 4
@ -1811,15 +1811,15 @@
"ending_column": 2 "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", "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.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", "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": "e432c7633b89e67459b76c1265a299e59fe6a651edd8888067df47200840451d", "id": "f9335a48cb948e294b54605d1c63d61e863a824f3346be2db07c923896aafac0",
"check": "abiencoderv2-array", "check": "abiencoderv2-array",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"

388
tests/detectors/arbitrary-send/0.6.11/arbitrary_send.sol.0.4.25.ArbitrarySend.json
Unescape View File

@ -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"
}
]
]

0
tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol → tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol
Unescape View File

26
tests/detectors/boolean-constant-misuse/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json → tests/detectors/boolean-cst/0.4.25/boolean-constant-misuse.sol.0.4.25.BooleanConstantMisuse.json
Unescape View File

@ -9,9 +9,9 @@
"start": 162, "start": 162,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 923, "length": 923,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -96,9 +96,9 @@
"start": 221, "start": 221,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
10 10
@ -114,9 +114,9 @@
"start": 162, "start": 162,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -134,9 +134,9 @@
"start": 0, "start": 0,
"length": 923, "length": 923,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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-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", "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": "c8c323396d19d9ddfd97f18ed731c7f07bb1cc030c198c830b595a770aeb26c2", "id": "4b8abd9aa6870f3044de67a84b3139e4a79c9ac13b4c0ed4f0772713f12c709b",
"check": "boolean-cst", "check": "boolean-cst",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

0
tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol → tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol
Unescape View File

26
tests/detectors/boolean-constant-misuse/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json → tests/detectors/boolean-cst/0.5.16/boolean-constant-misuse.sol.0.5.16.BooleanConstantMisuse.json
Unescape View File

@ -9,9 +9,9 @@
"start": 162, "start": 162,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 923, "length": 923,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -96,9 +96,9 @@
"start": 221, "start": 221,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
10 10
@ -114,9 +114,9 @@
"start": 162, "start": 162,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -134,9 +134,9 @@
"start": 0, "start": 0,
"length": 923, "length": 923,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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-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", "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": "f6ceb7e0651a96a88da265b955956fb4a3878f1491c81cf6bc8e433b5006e6aa", "id": "bd4514763d71bc7fcb2a681b1fe98928e9d1dd92882c5fe0480e52cba9130cfe",
"check": "boolean-cst", "check": "boolean-cst",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

0
tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol → tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol
Unescape View File

26
tests/detectors/boolean-constant-misuse/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json → tests/detectors/boolean-cst/0.6.11/boolean-constant-misuse.sol.0.6.11.BooleanConstantMisuse.json
Unescape View File

@ -9,9 +9,9 @@
"start": 162, "start": 162,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 923, "length": 923,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -96,9 +96,9 @@
"start": 221, "start": 221,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
10 10
@ -114,9 +114,9 @@
"start": 162, "start": 162,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -134,9 +134,9 @@
"start": 0, "start": 0,
"length": 923, "length": 923,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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-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", "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": "0b2599e627a1163a49a4113426fe385f5987d7e247cdbe8e2d9b39988b95478a", "id": "81067a443028f22790f44718bff947b7ec6de12b929bd89147d3b34044b3890d",
"check": "boolean-cst", "check": "boolean-cst",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

0
tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol → tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol
Unescape View File

26
tests/detectors/boolean-constant-misuse/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json → tests/detectors/boolean-cst/0.7.6/boolean-constant-misuse.sol.0.7.6.BooleanConstantMisuse.json
Unescape View File

@ -9,9 +9,9 @@
"start": 162, "start": 162,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 923, "length": 923,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -96,9 +96,9 @@
"start": 221, "start": 221,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
10 10
@ -114,9 +114,9 @@
"start": 162, "start": 162,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -134,9 +134,9 @@
"start": 0, "start": 0,
"length": 923, "length": 923,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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-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", "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": "a7e009ec0e6c5e4bf5dd828bcbeff63d020b9e2a10ad7ad350c13ad8cd277697", "id": "d96572f8601700902d157c2b4ad0b66254eba7a6d9c83710f26ea8cbdf2085fa",
"check": "boolean-cst", "check": "boolean-cst",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

0
tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol → tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol
Unescape View File

26
tests/detectors/boolean-constant-equality/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json → tests/detectors/boolean-equal/0.4.25/boolean-constant-equality.sol.0.4.25.BooleanEquality.json
Unescape View File

@ -9,9 +9,9 @@
"start": 139, "start": 139,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
7, 7,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 578, "length": 578,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -77,9 +77,9 @@
"start": 198, "start": 198,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -95,9 +95,9 @@
"start": 139, "start": 139,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
7, 7,
@ -115,9 +115,9 @@
"start": 0, "start": 0,
"length": 578, "length": 578,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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-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", "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": "953771b4660b92d842bccca2554dbcb5bc0988f4b0875b573a0b1211959c84be", "id": "55ba7d7edfd3cc9012d1fbd9d2ba12a488d950a885c3664fe080b90288a2c715",
"check": "boolean-equal", "check": "boolean-equal",
"impact": "Informational", "impact": "Informational",
"confidence": "High" "confidence": "High"

0
tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol → tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol
Unescape View File

26
tests/detectors/boolean-constant-equality/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json → tests/detectors/boolean-equal/0.5.16/boolean-constant-equality.sol.0.5.16.BooleanEquality.json
Unescape View File

@ -9,9 +9,9 @@
"start": 139, "start": 139,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
7, 7,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 578, "length": 578,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -77,9 +77,9 @@
"start": 198, "start": 198,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -95,9 +95,9 @@
"start": 139, "start": 139,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
7, 7,
@ -115,9 +115,9 @@
"start": 0, "start": 0,
"length": 578, "length": 578,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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-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", "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": "55f3ed7ce9767b07a34113bd35c34e61c20eb8ec35174086cdfea6c0063bd946", "id": "be01fe651d102dc47ca3eb623ba9078138896f662948665b8d4e03780305c085",
"check": "boolean-equal", "check": "boolean-equal",
"impact": "Informational", "impact": "Informational",
"confidence": "High" "confidence": "High"

0
tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol → tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol
Unescape View File

26
tests/detectors/boolean-constant-equality/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json → tests/detectors/boolean-equal/0.6.11/boolean-constant-equality.sol.0.6.11.BooleanEquality.json
Unescape View File

@ -9,9 +9,9 @@
"start": 139, "start": 139,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
7, 7,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 578, "length": 578,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -77,9 +77,9 @@
"start": 198, "start": 198,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -95,9 +95,9 @@
"start": 139, "start": 139,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
7, 7,
@ -115,9 +115,9 @@
"start": 0, "start": 0,
"length": 578, "length": 578,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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-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", "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": "c51b5452fc3e68aff071a2c4ab0963cbbb1b55871b53c0131c11d4cf8abd046f", "id": "0f863694c7b456673256b0f8002c9ac9f050b89b9ec3c86936c6399b3eb4b2e1",
"check": "boolean-equal", "check": "boolean-equal",
"impact": "Informational", "impact": "Informational",
"confidence": "High" "confidence": "High"

0
tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol → tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol
Unescape View File

26
tests/detectors/boolean-constant-equality/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json → tests/detectors/boolean-equal/0.7.6/boolean-constant-equality.sol.0.7.6.BooleanEquality.json
Unescape View File

@ -9,9 +9,9 @@
"start": 139, "start": 139,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
7, 7,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 578, "length": 578,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -77,9 +77,9 @@
"start": 198, "start": 198,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -95,9 +95,9 @@
"start": 139, "start": 139,
"length": 84, "length": 84,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
7, 7,
@ -115,9 +115,9 @@
"start": 0, "start": 0,
"length": 578, "length": 578,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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-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", "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": "f74a4de05a37e9f8a5f8926e2981a611972623fd7a0281f6d2bc4ec32899abfe", "id": "7c89c8f828e73eb875b8f06bb1404ed2271cc5806f167d621604c23f62705f60",
"check": "boolean-equal", "check": "boolean-equal",
"impact": "Informational", "impact": "Informational",
"confidence": "High" "confidence": "High"

0
tests/detectors/constant/0.4.25/constant.sol → tests/detectors/constant-function-asm/0.4.25/constant.sol
Unescape View File

12
tests/detectors/constant/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json → tests/detectors/constant-function-asm/0.4.25/constant.sol.0.4.25.ConstantFunctionsAsm.json
Unescape View File

@ -9,9 +9,9 @@
"start": 324, "start": 324,
"length": 66, "length": 66,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
22, 22,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 392, "length": 392,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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/0.4.25/constant.sol#L22-L24) 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", "id": "1f892cae08b89096bdc4d6ecdf55a3adc4b4314390e054fe2547d9c8e9f76e23",
"additional_fields": { "additional_fields": {
"contains_assembly": true "contains_assembly": true

0
tests/detectors/constant/0.5.16/constant.sol → tests/detectors/constant-function-asm/0.5.16/constant.sol
Unescape View File

0
tests/detectors/constant/0.5.16/constant.sol.0.5.16.ConstantFunctionsAsm.json → tests/detectors/constant-function-asm/0.5.16/constant.sol.0.5.16.ConstantFunctionsAsm.json
Unescape View File

0
tests/detectors/constant/0.6.11/constant.sol → tests/detectors/constant-function-asm/0.6.11/constant.sol
Unescape View File

0
tests/detectors/constant/0.6.11/constant.sol.0.6.11.ConstantFunctionsAsm.json → tests/detectors/constant-function-asm/0.6.11/constant.sol.0.6.11.ConstantFunctionsAsm.json
Unescape View File

0
tests/detectors/constant/0.7.6/constant.sol → tests/detectors/constant-function-asm/0.7.6/constant.sol
Unescape View File

0
tests/detectors/constant/0.7.6/constant.sol.0.7.6.ConstantFunctionsAsm.json → tests/detectors/constant-function-asm/0.7.6/constant.sol.0.7.6.ConstantFunctionsAsm.json
Unescape View File

25
tests/detectors/constant-function-state/0.4.25/constant.sol
Unescape View File

@ -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{}
}
}

40
tests/detectors/constant/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json → tests/detectors/constant-function-state/0.4.25/constant.sol.0.4.25.ConstantFunctionsState.json
Unescape View File

@ -9,9 +9,9 @@
"start": 45, "start": 45,
"length": 58, "length": 58,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
5, 5,
@ -29,9 +29,9 @@
"start": 0, "start": 0,
"length": 392, "length": 392,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -74,9 +74,9 @@
"start": 28, "start": 28,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3 3
@ -92,9 +92,9 @@
"start": 0, "start": 0,
"length": 392, "length": 392,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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/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", "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", "id": "4dee61d8835d20c6f1f7c195d8bd1e9de5dbcc096396a5b8db391136f9f5fdf1",
"additional_fields": { "additional_fields": {
"contains_assembly": false "contains_assembly": false
@ -149,9 +149,9 @@
"start": 113, "start": 113,
"length": 66, "length": 66,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
9, 9,
@ -169,9 +169,9 @@
"start": 0, "start": 0,
"length": 392, "length": 392,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 1,
@ -214,9 +214,9 @@
"start": 28, "start": 28,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3 3
@ -232,9 +232,9 @@
"start": 0, "start": 0,
"length": 392, "length": 392,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
1, 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", "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/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", "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", "id": "145e2d34dfc5b932c8d67d480c0eaec9baa8c728e2a310529572c0c4a5c6046a",
"additional_fields": { "additional_fields": {
"contains_assembly": false "contains_assembly": false

20
tests/detectors/constant-function-state/0.5.16/constant.sol
Unescape View File

@ -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{}
}
}

0
tests/detectors/constant/0.5.16/constant.sol.0.5.16.ConstantFunctionsState.json → tests/detectors/constant-function-state/0.5.16/constant.sol.0.5.16.ConstantFunctionsState.json
Unescape View File

20
tests/detectors/constant-function-state/0.6.11/constant.sol
Unescape View File

@ -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{}
}
}

0
tests/detectors/constant/0.6.11/constant.sol.0.6.11.ConstantFunctionsState.json → tests/detectors/constant-function-state/0.6.11/constant.sol.0.6.11.ConstantFunctionsState.json
Unescape View File

20
tests/detectors/constant-function-state/0.7.6/constant.sol
Unescape View File

@ -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{}
}
}

0
tests/detectors/constant/0.7.6/constant.sol.0.7.6.ConstantFunctionsState.json → tests/detectors/constant-function-state/0.7.6/constant.sol.0.7.6.ConstantFunctionsState.json
Unescape View File

50
tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol.0.5.16.ArrayLengthAssignment.json
Unescape View File

@ -67,20 +67,20 @@
}, },
{ {
"type": "node", "type": "node",
"name": "b.subStruct.x.length = param + 1", "name": "arr.length = param",
"source_mapping": { "source_mapping": {
"start": 964, "start": 527,
"length": 32, "length": 18,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "filename_relative": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "filename_short": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
41 26
], ],
"starting_column": 9, "starting_column": 13,
"ending_column": 41 "ending_column": 31
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "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", "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- [b.subStruct.x.length = param + 1](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L41)\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": "ba005d0d2665bc40c7c33b2a6a32bf426b4a5ccea38e75a6265976a20c9b7ae3", "id": "5120add82e5b674971638ddcd430301e4fd0ff0abc12b425d78bb09baa519dd0",
"check": "controlled-array-length", "check": "controlled-array-length",
"impact": "High", "impact": "High",
"confidence": "Medium" "confidence": "Medium"
@ -267,20 +267,20 @@
}, },
{ {
"type": "node", "type": "node",
"name": "a.x.length = param", "name": "b.subStruct.x.length = param + 1",
"source_mapping": { "source_mapping": {
"start": 818, "start": 964,
"length": 18, "length": 32,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "filename_relative": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol",
"filename_absolute": "/GENERIC_PATH", "filename_absolute": "/GENERIC_PATH",
"filename_short": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "filename_short": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
36 41
], ],
"starting_column": 9, "starting_column": 9,
"ending_column": 27 "ending_column": 41
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "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", "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- [a.x.length = param](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L36)\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": "3ee7c4c1f07506f88bcd3b42a86641b32b24a3978768cbcb99301bd8a1fcb975", "id": "ba005d0d2665bc40c7c33b2a6a32bf426b4a5ccea38e75a6265976a20c9b7ae3",
"check": "controlled-array-length", "check": "controlled-array-length",
"impact": "High", "impact": "High",
"confidence": "Medium" "confidence": "Medium"
@ -467,9 +467,9 @@
}, },
{ {
"type": "node", "type": "node",
"name": "arr.length = param", "name": "a.x.length = param",
"source_mapping": { "source_mapping": {
"start": 527, "start": 818,
"length": 18, "length": 18,
"filename_used": "/GENERIC_PATH", "filename_used": "/GENERIC_PATH",
"filename_relative": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol", "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", "filename_short": "tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol",
"is_dependency": false, "is_dependency": false,
"lines": [ "lines": [
26 36
], ],
"starting_column": 13, "starting_column": 9,
"ending_column": 31 "ending_column": 27
}, },
"type_specific_fields": { "type_specific_fields": {
"parent": { "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", "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- [arr.length = param](tests/detectors/controlled-array-length/0.5.16/array_length_assignment.sol#L26)\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": "5120add82e5b674971638ddcd430301e4fd0ff0abc12b425d78bb09baa519dd0", "id": "3ee7c4c1f07506f88bcd3b42a86641b32b24a3978768cbcb99301bd8a1fcb975",
"check": "controlled-array-length", "check": "controlled-array-length",
"impact": "High", "impact": "High",
"confidence": "Medium" "confidence": "Medium"

76
tests/detectors/naming-convention/0.4.25/naming_convention_ignore.sol.0.4.25.NamingConvention.json
Unescape View File

@ -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"
}
]
]

76
tests/detectors/naming-convention/0.5.16/naming_convention_ignore.sol.0.5.16.NamingConvention.json
Unescape View File

@ -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"
}
]
]

76
tests/detectors/naming-convention/0.6.11/naming_convention_ignore.sol.0.6.11.NamingConvention.json
Unescape View File

@ -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"
}
]
]

76
tests/detectors/naming-convention/0.7.6/naming_convention_ignore.sol.0.7.6.NamingConvention.json
Unescape View File

@ -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"
}
]
]

0
tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol → tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol
Unescape View File

112
tests/detectors/reentrancy-before-write/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json → tests/detectors/reentrancy-no-eth/0.4.25/reentrancy-write.sol.0.4.25.ReentrancyReadBeforeWritten.json
Unescape View File

@ -9,9 +9,9 @@
"start": 87, "start": 87,
"length": 153, "length": 153,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -33,9 +33,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -80,9 +80,9 @@
"start": 152, "start": 152,
"length": 20, "length": 20,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -98,9 +98,9 @@
"start": 87, "start": 87,
"length": 153, "length": 153,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -122,9 +122,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -174,9 +174,9 @@
"start": 216, "start": 216,
"length": 17, "length": 17,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
11 11
@ -192,9 +192,9 @@
"start": 87, "start": 87,
"length": 153, "length": 153,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -216,9 +216,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 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", "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-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", "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": "b6460b2a0b12df1225dcc8a10e0301fe4b474cccf05822d2a7c157470b689402", "id": "f933b0dd64ecd6dfb70018248bff9e11c03a35657032529ff992308456d475dd",
"check": "reentrancy-no-eth", "check": "reentrancy-no-eth",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"
@ -279,9 +279,9 @@
"start": 246, "start": 246,
"length": 158, "length": 158,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
14, 14,
@ -302,9 +302,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -349,9 +349,9 @@
"start": 321, "start": 321,
"length": 34, "length": 34,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
16 16
@ -367,9 +367,9 @@
"start": 246, "start": 246,
"length": 158, "length": 158,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
14, 14,
@ -390,9 +390,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -442,9 +442,9 @@
"start": 391, "start": 391,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
18 18
@ -460,9 +460,9 @@
"start": 246, "start": 246,
"length": 158, "length": 158,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
14, 14,
@ -483,9 +483,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -535,9 +535,9 @@
"start": 152, "start": 152,
"length": 20, "length": 20,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -553,9 +553,9 @@
"start": 87, "start": 87,
"length": 153, "length": 153,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -577,9 +577,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -629,9 +629,9 @@
"start": 391, "start": 391,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
18 18
@ -647,9 +647,9 @@
"start": 246, "start": 246,
"length": 158, "length": 158,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
14, 14,
@ -670,9 +670,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -723,9 +723,9 @@
"start": 216, "start": 216,
"length": 17, "length": 17,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
11 11
@ -741,9 +741,9 @@
"start": 87, "start": 87,
"length": 153, "length": 153,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -765,9 +765,9 @@
"start": 28, "start": 28,
"length": 537, "length": 537,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 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", "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-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", "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": "49aa9488337b9cce5fa0d5b961bae4d1fff7d79001371769dea3abbc4a1a059b", "id": "7bb6139d33983b626159983e8a4d7fc049710a8f08908c1d212bd13b68640a6a",
"check": "reentrancy-no-eth", "check": "reentrancy-no-eth",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

0
tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol → tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol
Unescape View File

112
tests/detectors/reentrancy-before-write/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json → tests/detectors/reentrancy-no-eth/0.5.16/reentrancy-write.sol.0.5.16.ReentrancyReadBeforeWritten.json
Unescape View File

@ -9,9 +9,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -34,9 +34,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -83,9 +83,9 @@
"start": 148, "start": 148,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -101,9 +101,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -126,9 +126,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -180,9 +180,9 @@
"start": 251, "start": 251,
"length": 17, "length": 17,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
12 12
@ -198,9 +198,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -223,9 +223,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 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", "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-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", "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": "2d6670618c55850a7db95d384607492b69a837ccae5c496cfcf716b5f492d95f", "id": "0aac5bbaf3a6f1b7de2ac725771ade12f8b1453c0639d09517b8bddb098a13d2",
"check": "reentrancy-no-eth", "check": "reentrancy-no-eth",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"
@ -288,9 +288,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -311,9 +311,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -360,9 +360,9 @@
"start": 356, "start": 356,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
17 17
@ -378,9 +378,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -401,9 +401,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -455,9 +455,9 @@
"start": 429, "start": 429,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
19 19
@ -473,9 +473,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -496,9 +496,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -550,9 +550,9 @@
"start": 148, "start": 148,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -568,9 +568,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -593,9 +593,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -647,9 +647,9 @@
"start": 429, "start": 429,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
19 19
@ -665,9 +665,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -688,9 +688,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -743,9 +743,9 @@
"start": 251, "start": 251,
"length": 17, "length": 17,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
12 12
@ -761,9 +761,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -786,9 +786,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 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", "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-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", "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": "18e7eee4cf4c349dbaad3f54387eb6b3b174e868b94a3ebb991f7403b276b0d9", "id": "05033b6ee9ae71d9cc7b1ec3f6b09d4c0a43a6c92393f54fa45ce27c89a1e771",
"check": "reentrancy-no-eth", "check": "reentrancy-no-eth",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

0
tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol → tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol
Unescape View File

112
tests/detectors/reentrancy-before-write/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json → tests/detectors/reentrancy-no-eth/0.6.11/reentrancy-write.sol.0.6.11.ReentrancyReadBeforeWritten.json
Unescape View File

@ -9,9 +9,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -34,9 +34,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -83,9 +83,9 @@
"start": 148, "start": 148,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -101,9 +101,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -126,9 +126,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -180,9 +180,9 @@
"start": 251, "start": 251,
"length": 17, "length": 17,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
12 12
@ -198,9 +198,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -223,9 +223,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 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", "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-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", "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": "0bfc3b0d021a94a74467bb46a134e5fbcefeed8f7351fc4de972d81737eb6964", "id": "a786c050fdd723d3185d93105e0903cb696bf4ce71996fc791e79d8f97c5e72d",
"check": "reentrancy-no-eth", "check": "reentrancy-no-eth",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"
@ -288,9 +288,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -311,9 +311,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -360,9 +360,9 @@
"start": 356, "start": 356,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
17 17
@ -378,9 +378,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -401,9 +401,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -455,9 +455,9 @@
"start": 429, "start": 429,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
19 19
@ -473,9 +473,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -496,9 +496,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -550,9 +550,9 @@
"start": 148, "start": 148,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -568,9 +568,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -593,9 +593,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -647,9 +647,9 @@
"start": 429, "start": 429,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
19 19
@ -665,9 +665,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -688,9 +688,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -743,9 +743,9 @@
"start": 251, "start": 251,
"length": 17, "length": 17,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
12 12
@ -761,9 +761,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -786,9 +786,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 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", "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-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", "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": "273aa0b14294c7230099633c801857a2cb116cc8cc5f8c3c20ced1cf67cc1c31", "id": "02d9e7190770aed44ccdabc149dfc114e91d2f90346cfbfff570c7ccbc1d64e8",
"check": "reentrancy-no-eth", "check": "reentrancy-no-eth",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

0
tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol → tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol
Unescape View File

112
tests/detectors/reentrancy-before-write/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json → tests/detectors/reentrancy-no-eth/0.7.6/reentrancy-write.sol.0.7.6.ReentrancyReadBeforeWritten.json
Unescape View File

@ -9,9 +9,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -34,9 +34,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -83,9 +83,9 @@
"start": 148, "start": 148,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -101,9 +101,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -126,9 +126,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -180,9 +180,9 @@
"start": 251, "start": 251,
"length": 17, "length": 17,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
12 12
@ -198,9 +198,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -223,9 +223,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 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", "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-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", "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": "f3e3f74c6502fba4ea12147b4301547c7b46172cb358f54c8a3d05f0fc127698", "id": "10fd7c0322e6af411a40589a36dd17ec3e91b73cb56a6757dd9b192bcc2b6955",
"check": "reentrancy-no-eth", "check": "reentrancy-no-eth",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"
@ -288,9 +288,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -311,9 +311,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -360,9 +360,9 @@
"start": 356, "start": 356,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
17 17
@ -378,9 +378,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -401,9 +401,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -455,9 +455,9 @@
"start": 429, "start": 429,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
19 19
@ -473,9 +473,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -496,9 +496,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -550,9 +550,9 @@
"start": 148, "start": 148,
"length": 37, "length": 37,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
8 8
@ -568,9 +568,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -593,9 +593,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -647,9 +647,9 @@
"start": 429, "start": 429,
"length": 6, "length": 6,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
19 19
@ -665,9 +665,9 @@
"start": 281, "start": 281,
"length": 161, "length": 161,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
15, 15,
@ -688,9 +688,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 3,
@ -743,9 +743,9 @@
"start": 251, "start": 251,
"length": 17, "length": 17,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
12 12
@ -761,9 +761,9 @@
"start": 87, "start": 87,
"length": 188, "length": 188,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
6, 6,
@ -786,9 +786,9 @@
"start": 28, "start": 28,
"length": 610, "length": 610,
"filename_used": "/GENERIC_PATH", "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_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, "is_dependency": false,
"lines": [ "lines": [
3, 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", "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-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", "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": "139c24158771526e3497a6bc730b32d173e3e67728f1833073694eb9df339b69", "id": "a9d96103d5786a77ba0de28c96dc94a27ea5acda47af8fef59a80327925a286b",
"check": "reentrancy-no-eth", "check": "reentrancy-no-eth",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

0
tests/detectors/missing-inheritance/0.5.16/unimplemented_interfaces.sol → tests/detectors/unimplemented-functions/0.5.16/unimplemented_interfaces.sol
Unescape View File

0
tests/detectors/missing-inheritance/0.5.16/unimplemented_interfaces.sol.0.5.16.UnimplementedFunctionDetection.json → tests/detectors/unimplemented-functions/0.5.16/unimplemented_interfaces.sol.0.5.16.UnimplementedFunctionDetection.json
Unescape View File

0
tests/detectors/missing-inheritance/0.6.11/unimplemented_interfaces.sol → tests/detectors/unimplemented-functions/0.6.11/unimplemented_interfaces.sol
Unescape View File

0
tests/detectors/missing-inheritance/0.6.11/unimplemented_interfaces.sol.0.6.11.UnimplementedFunctionDetection.json → tests/detectors/unimplemented-functions/0.6.11/unimplemented_interfaces.sol.0.6.11.UnimplementedFunctionDetection.json
Unescape View File

0
tests/detectors/missing-inheritance/0.7.6/unimplemented_interfaces.sol → tests/detectors/unimplemented-functions/0.7.6/unimplemented_interfaces.sol
Unescape View File

0
tests/detectors/missing-inheritance/0.7.6/unimplemented_interfaces.sol.0.7.6.UnimplementedFunctionDetection.json → tests/detectors/unimplemented-functions/0.7.6/unimplemented_interfaces.sol.0.7.6.UnimplementedFunctionDetection.json
Unescape View File

621
tests/test_detectors.py
View File

File diff suppressed because it is too large Load Diff
Write Preview
Loading…
Cancel
Save