Code

Connect to eth node#1580

Code

Open

smoelius wants to merge 113 commits intomastertrailofbits/manticore:masterfrom dev-connect-to-eth-nodetrailofbits/manticore:dev-connect-to-eth-nodeCopy head branch name to clipboard

+1,842-188

Commits

Commits on Jan 5, 2020

• Initial commit of connect-to-eth-node.

  smoelius

  committed
  51c6091

• Add web3 to install_requires.

  smoelius

  committed
  87e3b44

• Ignore web3 types.

  smoelius

  committed
  56a7bab

Commits on Jan 6, 2020

• Handle symbolic offsets.

  smoelius

  committed
  b395920

• Add typeguard to install_requires.

  smoelius

  committed
  d16736a

• Blacken.

  smoelius

  committed
  6df79e6

• Better mypy integration.

  Show description for 1b50ce0
  smoelius

  committed
  1b50ce0

• More blackening.

  smoelius

  committed
  5afa862

• Limit paths that typeguard checks.

  smoelius

  committed
  254c6c8

• Fix broken get_storage_data types.

  smoelius

  committed
  d58368c

• Blacken.

  smoelius

  committed
  ffa39b7

Commits on Jan 7, 2020

• Revert some changes related to the callstack.

  smoelius

  committed
  7d654aa

• Delete accounts unconditionally.

  smoelius

  committed
  46f7a30

• Do not throw an exception if deleted account is not in dictionary.

  smoelius

  committed
  b1a82f7

Commits on Jan 8, 2020

• Add constraint argument to delete_account call.

  smoelius

  committed
  d40d143

• Back out typeguard.

  smoelius

  committed
  043f9c0

• Use "not in".

  smoelius

  committed
  5a66521

• Fix minor indentation issue in ci.yml.

  smoelius

  committed
  9eff254

• "fromDict" -> "from_dict".

  smoelius

  committed
  081f4b4

Commits on Jan 9, 2020

• Add (failing) test_gas_check.

  smoelius

  committed
  bc0cb70

• Fix gas check.

  smoelius

  committed
  32a19ea

• Merge commit '32a19ea' into dev-connect-to-eth-node

  smoelius

  committed
  4cbad00

• Use Storage.set in set_storage_data.

  smoelius

  committed
  8b0a5ef

• Consider BitVecConstant not symbolic in dump.

  smoelius

  committed
  e18fd7c

• Add tests.

  smoelius

  committed
  912366b

Commits on Jan 10, 2020

• Merge commit '9eff254' into dev-connect-to-eth-node

  smoelius

  committed
  6222aca

• Do not thrown an exception when "evm.trace" is not present.

  smoelius

  committed
  eec85f9

• Reduce Storage warnings.

  smoelius

  committed
  51d4494

• Address Web3 forking bug.

  Show description for 566620e
  smoelius

  committed
  566620e

• Use count_ready_states in test_dump.

  smoelius

  committed
  a1d5cdd

• Add command line arguments.

  smoelius

  committed
  80c0f1f

• Run truffle tests with ganache-cli as the backend.

  smoelius

  committed
  ca7d215

• Merge remote-tracking branch 'origin/master' into dev-connect-to-eth-node

  smoelius

  committed
  1855689

• Don't try to convert None to an int.

  smoelius

  committed
  244554a

• Separate out truffle tests.

  smoelius

  committed
  9c871cb

• Add '-p' to mkdir, and clean-up properly otherwise.

  smoelius

  committed
  468036e

• Don't try to unbox over an already unboxed truffle box.

  smoelius

  committed
  6c15093

• Remove unused import in evm_world_state.py.

  smoelius

  committed
  920d28d

• Remove unused imports from test_general.py.

  smoelius

  committed
  3f15747

• Simplify ci.yml

  Show description for 4944d67
  smoelius

  committed
  4944d67

Commits on Jan 11, 2020

• Merge commit '4944d67' into dev-connect-to-eth-node

  smoelius

  committed
  e1bfb4b

Commits on Jan 13, 2020

• Remove unnecessary assignment in _web3.

  smoelius

  committed
  d298c19

• Do not enable uninitialized storage detector when using RPC.

  Show description for 72c95b6
  smoelius

  committed
  72c95b6

Commits on Apr 15, 2020

• Typo.

  smoelius

  committed
  758e8c7

• Do not require argv[0] when --rpc and --txvictim are given.

  smoelius

  committed
  053b393

• Add tests.

  smoelius

  committed
  1d0cebd

• Merge remote-tracking branch 'origin/master' into dev-connect-to-eth-node

  smoelius

  committed
  ca67c9c

• Typo.

  smoelius

  committed
  abdca9e

Commits on Apr 16, 2020

• Address typing issues.

  smoelius

  committed
  ef328af

• Report errors in ci.yml.

  smoelius

  committed
  b0a38fd

• Add EXPECTED_TX to ci.yml.

  smoelius

  committed
  913f31f

• Better variable name in ci.yml.

  smoelius

  committed
  2ff301e

Commits on Apr 23, 2020

• Fix types.

  smoelius

  committed
  bc5085b

• Create DefaultWorldState only once.

  smoelius

  committed
  e0c7272

• "--txvictim" -> "--txtarget".

  smoelius

  committed
  d15cddf

• Create accounts when not using RPC.

  smoelius

  committed
  cd3b7e6

Commits on Apr 24, 2020

• Add bad IP/port tests.

  smoelius

  committed
  0d3254a

• Update option description.

  smoelius

  committed
  06da949

Commits on Apr 28, 2020

• Raise EthereumError on connection failure.

  smoelius

  committed
  7454fa4

• Move OverlayWorldState comment into docstring.

  smoelius

  committed
  fd562db

• Store newly created Storage in world_state.

  smoelius

  committed
  09879e1

• Add error message in OverlayWorldState.get_storage.

  smoelius

  committed
  462982a

Commits on Apr 30, 2020

• Add constraints parameter to WorldState.get_storage_data.

  smoelius

  committed
  a1b06de

• Change how Storage objects are allocated.

  smoelius

  committed
  fbebf32

• Add EVMWorld.get_storage.

  smoelius

  committed
  ea1b2bd

• Add storage tests.

  smoelius

  committed
  92a1849

• Blacken.

  smoelius

  committed
  b3089b7

• Re-add EVMWorld.get_storage docstring.

  smoelius

  committed
  a7d090a

• Correct EVMWorld.get_storage docstring.

  smoelius

  committed
  954e92f

Commits on May 1, 2020

• Add missing newline.

  smoelius

  committed
  a3e70e2

• Better error handling/reporting.

  smoelius

  committed
  18bf648

• Fix error in ci.yml.

  smoelius

  committed
  ee206c4

• Add EVMWorld.get_storage_items.

  smoelius

  committed
  abe52bc

• Adjust z3 options.

  smoelius

  committed
  53117d2

Commits on May 4, 2020

• Experimenting with Storage simplifications.

  smoelius

  committed
  6ccbd49

• Add nonce checks to test_gas_check.

  smoelius

  committed
  88ddfbc

Commits on May 8, 2020

• Remove reference to map.

  smoelius

  committed
  556a492

• Reduce log messages.

  smoelius

  committed
  56a38f0

• Eliminate ci.yml conflicts.

  smoelius

  committed
  a5c2ddc

• Merge branch 'master' into dev-connect-to-eth-node

  smoelius

  authored
  af3cc7d

• Update ci.yml

  Show description for eecd9b5
  smoelius

  authored
  eecd9b5

Commits on May 15, 2020

• Do not store constraints in Storage.

  smoelius

  committed
  44e6c0a

• Eliminate use of dirty.

  smoelius

  committed
  c3ae87f

• Rename Storage.data to Storage._data.

  smoelius

  committed
  747ad69

Commits on May 17, 2020

• Merge remote-tracking branch 'origin/master' into dev-connect-to-eth-node

  smoelius

  committed
  b3558fe

Commits on May 24, 2020

• Add docstring to Storage.new_storage.

  smoelius

  committed
  235d0b5

Commits on May 25, 2020

• Move get_items into ArrayProxy.

  smoelius

  committed
  6054033

• Merge remote-tracking branch 'origin/master' into dev-connect-to-eth-node

  smoelius

  committed
  8f59f39

Commits on Jun 11, 2020

• Merge remote-tracking branch 'origin/master' into dev-connect-to-eth-node

  smoelius

  committed
  49707bd

• Correct bitvec width in add_to/sub_from_balance.

  smoelius

  committed
  45b87b8

• Blacken.

  smoelius

  committed
  60daa52

• Interpret coinbase as hex.

  smoelius

  committed
  b8880cf

• Fiz __getstae__/__setstate__ names.

  smoelius

  committed
  c4a0471

• Add comment re disabling uninitialized storage detector.

  smoelius

  committed
  15d5366

• Set blockheader information.

  smoelius

  committed
  3a01360

• Use self.get_storage.

  smoelius

  committed
  1de8eba

• Use self._set_storage.

  smoelius

  committed
  91d48ed

• Nominal changes.

  smoelius

  committed
  02a540e

• Callstack type has changed.

  smoelius

  committed
  a4c599d

Commits on Jun 12, 2020

• Eliminate unused imports.

  smoelius

  committed
  2215ba8

• Simplify Storage.get.

  smoelius

  committed
  6b3dbf3

• Fix bugs introduced by merge.

  smoelius

  committed
  c29a24a

• More merge bug fixes.

  smoelius

  committed
  f257ec8

• Handle case where EXP's exponent is a symbolic constant.

  smoelius

  committed
  399dd08

• Turn off detectors in truffle maze test.

  smoelius

  committed
  7a38281

• Implement Storage.__copy__.

  smoelius

  committed
  3446e21

• Convert gas to constant in make_VMTests.py.

  smoelius

  committed
  cc97a38

• Coverage fixes in ci.yml.

  smoelius

  committed
  94055f9

• More ci.yml fixes.

  smoelius

  committed
  8af6869

• Up SMT timeout for metacoin tests.

  smoelius

  committed
  4a23d8a

• Fix bug concerning balance width.

  smoelius

  committed
  3fc4264

• Balance width fix was incomplete.

  smoelius

  committed
  ebd8cc0

• Eliminate new_storage method.

  smoelius

  committed
  cca9dbf