I hereby claim:
- I am b-mueller on github.
- I am bmueller (https://keybase.io/bmueller) on keybase.
- I have a public key ASB7qM1S7bBERTNrELPi9PDRPk2PAdcpsOmEYo2bJdX9BQo
To claim this, I am signing this object:
Bernhard Mueller muellerberndt
muellerberndt
/ truffle-Aragon
Created
February 6, 2019 03:32
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
| $ truffle run verify --debug | |
| UUID for this job is 54901d28-3f98-4399-9bc4-c9c2176c7f29 | |
| UUID for this job is 2baf9c9a-a7b6-4499-949d-f2deefc67398 | |
| UUID for this job is 9bca246f-69a9-47f6-ae5d-64a72337b303 | |
| UUID for this job is 1b856f34-ddef-4ab4-a748-586989ca6c19 | |
| UUID for this job is 18f23c93-6cf0-4d49-ac80-c4ec6d27ab54 | |
| UUID for this job is 1036ac34-0db1-4f80-8c2a-8b0880cb4be8 | |
| ^[UUID for this job is b87361e3-33f1-488a-a6eb-a4f9b9283aa2 | |
| UUID for this job is e840a36c-0f25-45f7-b63c-ff189f30e44f | |
| UUID for this job is 0330568e-1e08-47d0-b469-8a62a9b33a7e |
muellerberndt
/ gist:1bf01baf47cecaacf45b16e719e7d26a
Created
February 11, 2019 09:04
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 |
muellerberndt
/ Truffle verify
Created
February 19, 2019 03:50
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
| $ truffle run verify | |
| HashForEther |*************************** | 68% || Elapsed: 88.5s ✗ error | |
| Origin |****************************************| 100% || Elapsed: 22.0s ✓ completed | |
| Caller |****************************************| 100% || Elapsed: 23.5s ✓ completed | |
| EtherStore |****************************************| 100% || Elapsed: 13.4s ✓ completed | |
| Exceptions |******* | 17% || Elapsed: 19.8s ✗ error | |
| Ownable |****************************************| 100% || Elapsed: 25.6s ✓ completed | |
| BasicToken |****************************************| 100% || Elapsed: 26.6s ✓ completed | |
| ERC20Basic |************************** | 66% || Elapsed: 84.8s ✗ error | |
| BecToken |******************************* | 78% || Elapsed: 99.6s ✗ error |
muellerberndt
/ gist:46b8b1405d85242b4cbe39cf03c4c00b
Created
February 22, 2019 03:27
Truffle security Feb22
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
| $ truffle run verify | |
| Caller |******************************************************************************************| 100% || Elapsed: 77.0s ✓ completed | |
| ERC20 |******************************************************************************************| 100% || Elapsed: 54.5s ✓ completed | |
| BasicToken |******************************************************************************************| 100% || Elapsed: 81.9s ✓ completed | |
| BecToken |******************************************************************************************| 100% || Elapsed: 80.5s ✓ completed | |
| ERC20Basic |******************************************************************************************| 100% || Elapsed: 51.5s ✓ completed | |
| EtherStore |******************************************************************************************| 100% || Elapsed: 81.5s ✓ completed | |
| Exceptions |******************************************************************************************| 100% || Elapsed: 74.7s ✓ completed | |
| HashForE |
muellerberndt
/ Myles Hosford
Created
February 22, 2019 14:32
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
| $ truffle run verify | |
| Caller |******************* | 24% || Elapsed: 73.1s ✗ error | |
| BasicToken |********************************************************************************| 100% || Elapsed: 75.8s ✓ completed | |
| ERC20 |********************************************************************************| 100% || Elapsed: 34.5s ✓ completed | |
| BecToken |********************************************************************************| 100% || Elapsed: 78.3s ✓ completed | |
| ERC20Basic |********************************************************************************| 100% || Elapsed: 30.9s ✓ completed | |
| EtherStore |******************* | 23% || Elapsed: 70.8s ✗ error | |
| Exceptions |******************* | 23% || Elapsed: 71.9s ✗ error | |
| HashForEther |******************** |
muellerberndt
/ mythx feb22
Created
February 22, 2019 14:32
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
| $ truffle run verify | |
| Caller |******************* | 24% || Elapsed: 73.1s ✗ error | |
| BasicToken |********************************************************************************| 100% || Elapsed: 75.8s ✓ completed | |
| ERC20 |********************************************************************************| 100% || Elapsed: 34.5s ✓ completed | |
| BecToken |********************************************************************************| 100% || Elapsed: 78.3s ✓ completed | |
| ERC20Basic |********************************************************************************| 100% || Elapsed: 30.9s ✓ completed | |
| EtherStore |******************* | 23% || Elapsed: 70.8s ✗ error | |
| Exceptions |******************* | 23% || Elapsed: 71.9s ✗ error | |
| HashForEther |******************** |
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
| const armlet = require('armlet'); | |
| /* Format data for MythX API */ | |
| const data = { | |
| contractName: contractName, | |
| bytecode: contract.evm.bytecode.object, | |
| sourceMap: contract.evm.deployedBytecode.sourceMap, | |
| deployedBytecode: contract.evm.deployedBytecode.object, | |
| deployedSourceMap: contract.evm.deployedBytecode.sourceMap, |
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
| from SublimeLinter.lint import Linter # or NodeLinter, PythonLinter, ComposerLinter, RubyLinter | |
| class __class__(Linter): | |
| cmd = ('sabre') | |
| regex = ( | |
| r'\s*(?P<line>\d+):(?P<col>\d+)\s*' | |
| r'((?P<error>error)|(?P<warning>warning))\s*' | |
| r'(?P<message>.+)' | |
| ) |
muellerberndt
/ keybase.md
Created
March 18, 2019 05:02
muellerberndt
/ andomnumberchallenge.sol
Created
March 25, 2019 05:17
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
| 2 | |
| 3 | |
| 4 | |
| 5 | |
| 6 | |
| 7 | |
| 8 | |
| 9 | |
| 10 |