Merge branch 'dev' into dev-name-reused

pull/413/head
Josselin 5 years ago
commit 79c7acf9f6
  1. 2
      scripts/travis_test_dapp.sh
  2. 2
      slither/detectors/variables/uninitialized_local_variables.py
  3. 2
      slither/detectors/variables/uninitialized_storage_variables.py
  4. 6
      tests/expected_json/uninitialized_local_variable.uninitialized-local.json
  5. 3
      tests/expected_json/uninitialized_local_variable.uninitialized-local.txt
  6. 6
      tests/expected_json/uninitialized_storage_pointer.uninitialized-storage.json
  7. 3
      tests/expected_json/uninitialized_storage_pointer.uninitialized-storage.txt

@ -20,7 +20,7 @@ dapp init
slither . slither .
if [ $? -eq 23 ] if [ $? -eq 21 ]
then then
exit 0 exit 0
fi fi

@ -98,7 +98,7 @@ Bob calls `transfer`. As a result, the ethers are sent to the address 0x0 and ar
all_results = list(set(self.results)) all_results = list(set(self.results))
for(function, uninitialized_local_variable) in all_results: for(function, uninitialized_local_variable) in all_results:
info = [uninitialized_local_variable, " is a local variable never initialiazed\n"] info = [uninitialized_local_variable, " is a local variable never initialized\n"]
json = self.generate_result(info) json = self.generate_result(info)
results.append(json) results.append(json)

@ -101,7 +101,7 @@ Bob calls `func`. As a result, `owner` is override to 0.
self._detect_uninitialized(function, function.entry_point, []) self._detect_uninitialized(function, function.entry_point, [])
for(function, uninitialized_storage_variable) in self.results: for(function, uninitialized_storage_variable) in self.results:
info = [uninitialized_storage_variable, " is a storage variable never initialiazed\n"] info = [uninitialized_storage_variable, " is a storage variable never initialized\n"]
json = self.generate_result(info) json = self.generate_result(info)
results.append(json) results.append(json)

@ -77,9 +77,9 @@
} }
} }
], ],
"description": "Uninitialized.func().uint_not_init (tests/uninitialized_local_variable.sol#4) is a local variable never initialiazed\n", "description": "Uninitialized.func().uint_not_init (tests/uninitialized_local_variable.sol#4) is a local variable never initialized\n",
"markdown": "[Uninitialized.func().uint_not_init](tests/uninitialized_local_variable.sol#L4) is a local variable never initialiazed\n", "markdown": "[Uninitialized.func().uint_not_init](tests/uninitialized_local_variable.sol#L4) is a local variable never initialized\n",
"id": "8cb0b6b473ffecf3c2284584eb0012c742d36709f75c7516c3ba9748f3c27a98", "id": "6ef627d0a3f7234c0d3dd339ae4cf3c1adf898f03384e08c3c8d846c67e0d476",
"check": "uninitialized-local", "check": "uninitialized-local",
"impact": "Medium", "impact": "Medium",
"confidence": "Medium" "confidence": "Medium"

@ -1,4 +1,5 @@
 
Uninitialized.func().uint_not_init (tests/uninitialized_local_variable.sol#4) is a local variable never initialiazed Uninitialized.func().uint_not_init (tests/uninitialized_local_variable.sol#4) is a local variable never initialized
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-local-variables Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-local-variables
tests/uninitialized_local_variable.sol analyzed (1 contracts with 1 detectors), 1 result(s) found tests/uninitialized_local_variable.sol analyzed (1 contracts with 1 detectors), 1 result(s) found
Use https://crytic.io/ to get access to additional detectors and Github integration

@ -83,9 +83,9 @@
} }
} }
], ],
"description": "Uninitialized.func().st_bug (tests/uninitialized_storage_pointer.sol#10) is a storage variable never initialiazed\n", "description": "Uninitialized.func().st_bug (tests/uninitialized_storage_pointer.sol#10) is a storage variable never initialized\n",
"markdown": "[Uninitialized.func().st_bug](tests/uninitialized_storage_pointer.sol#L10) is a storage variable never initialiazed\n", "markdown": "[Uninitialized.func().st_bug](tests/uninitialized_storage_pointer.sol#L10) is a storage variable never initialized\n",
"id": "af9ceb591701024a2199a04e66a121086d330d4cdeb3b160514cce2bb440579f", "id": "b8f7c2470a8a7f83fd42dca40c50cbf2070e7fa5486c674585f2b0b39d3dc429",
"check": "uninitialized-storage", "check": "uninitialized-storage",
"impact": "High", "impact": "High",
"confidence": "High" "confidence": "High"

@ -1,4 +1,5 @@
 
Uninitialized.func().st_bug (tests/uninitialized_storage_pointer.sol#10) is a storage variable never initialiazed Uninitialized.func().st_bug (tests/uninitialized_storage_pointer.sol#10) is a storage variable never initialized
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-storage-variables Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-storage-variables
tests/uninitialized_storage_pointer.sol analyzed (1 contracts with 1 detectors), 1 result(s) found tests/uninitialized_storage_pointer.sol analyzed (1 contracts with 1 detectors), 1 result(s) found
Use https://crytic.io/ to get access to additional detectors and Github integration

Loading…
Cancel
Save