Created
February 11, 2019 09:04
-
-
Save muellerberndt/1bf01baf47cecaacf45b16e719e7d26a to your computer and use it in GitHub Desktop.
Truffle verify
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| cerebral-cortex:aragonOS bernhardmueller$ truffle run verify | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/acl/ACL.sol | |
| 222:30 warning assertion violation SWC-110 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/test/helpers/ACLHelper.sol | |
| 56:4 error The binary addition can overflow SWC-101 | |
| 57:15 warning A reachable exception has been detected SWC-110 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/acl/ACLSyntaxSugar.sol | |
| 5:0 warning A floating pragma is set SWC-103 | |
| 5:0 warning A floating pragma is set SWC-103 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/apm/APMRegistry.sol | |
| 1:0 warning precondition violation SWC-123 | |
| 30:48 warning The contract executes an external message call SWC-107 | |
| 46:7 warning integer overflow SWC-101 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/apm/APMNamehash.sol | |
| 5:0 warning A floating pragma is set SWC-103 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/test/mocks/APMNamehashMock.sol | |
| 9:4 error The binary addition can overflow SWC-101 | |
| 9:61 warning integer overflow SWC-101 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/evmscript/executors/CallsScript.sol | |
| 30:4 error The binary addition can overflow SWC-101 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/factory/DAOFactory.sol | |
| 1:0 warning precondition violation SWC-123 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/test/mocks/UnsafeAragonAppMock.sol | |
| 20:2223 warning The contract executes an external message call SWC-107 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/test/mocks/UnsafeRepo.sol | |
| 14:660 warning The contract executes an external message call SWC-107 | |
| 14:1551 warning integer overflow SWC-101 | |
| 14:2257 warning The contract executes an external message call SWC-107 | |
| 14:3834 warning integer overflow SWC-101 | |
| 14:4270 warning integer overflow SWC-101 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/common/UnstructuredStorage.sol | |
| 5:0 warning A floating pragma is set SWC-103 | |
| /Users/bernhardmueller/Projects/aragonOS/contracts/test/mocks/UpgradedKernel.sol | |
| 1:0 warning precondition violation SWC-123 | |
| ✖ 21 problems (3 errors, 18 warnings) | |
| Internal MythX errors encountered: | |
| User-specified or default time out reached after 2 minutes. | |
| Analysis continues on server and may have completed; so run again? | |
| For status reference, UUID is 24e9b189-45db-4c97-8932-649f459530d5 | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Failed in retrieving analysis response, HTTP status code: 502 | |
| Bad Gateway | |
| Failed in retrieving analysis response, HTTP status code: 502 | |
| Bad Gateway | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Violated request rate limits: 5 requests in a few seconds; | |
| Failed in retrieving analysis response, HTTP status code: 429 | |
| Too Many Requests | |
| Bad request | |
| child "data" fails because [child "bytecode" fails because ["bytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "deployedBytecode" fails because ["deployedBytecode" with value "0x" fails to match the required pattern: /^(0x)?([0-9a-fA-F]{2})+$/], child "sourceMap" fails because ["sourceMap" is not allowed to be empty], child "deployedSourceMap" fails because ["deployedSourceMap" is not allowed to be empty]] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment