octopus

octopus copied to clipboard

Dockerfile: Cannot add PPA: jonathonf

1

Step 4/11 : RUN add-apt-repository ppa:jonathonf/python-3.6 -y && apt-get update && apt-get install python3.6 -y && update-alternatives --install /usr/bin/python3 python3 /usr/bin/python3.5 1 && update-alternatives --install /usr/bin/python3 python3 /usr/bin/python3.6 2 --->...

0xKurt

When i run command--./run_tests.sh ,it made a mistake. EOS files error were displayed on the screen. After that, I deleted the command to test the EOS files and it can...

wangyd-hub

What happens when the EvmSSAEngine encounters bytecode that cannot be put into SSA form? Does it raise an error? Is there an example bytecode I can try that triggers this...

suhabe

When I run the wasm test I get these results: `[*] WebAssembly Disassembler [*] E ====================================================================== ERROR: testDisassemble (WASM.test_disassembler.WasmDisassemblerTestCase) ---------------------------------------------------------------------- Traceback (most recent call last): File "/home/xuxu9110/octopus/octopus/tests/WASM/test_disassembler.py", line 44, in...

xuxu9110

I found some useless code when building the WASM control flow graph. Moreover, I want to know why not merge lines 205-209 into `elif instr.is_branch:`.

Coder2Programmer

How many kinds of Ethereum smart contract problems can be detected by OCTOPUS？

1

Hello, I am a postgraduate from Hohai University. Because I'm investigating related fields, I would like to know how many kinds of Etehereum smart contract problems OCTOPUS can detect. I...

xf97

UnboundLocalError when using dynamic analysis

5

Some EVM bytecode inputs result in an `UnboundLocalError` exception. For example: ``` $ python octopus_eth_evm.py -g -r "6080604052348015600f57600080fd5b506004361060465760003560e01c80632f576f2014604b57806381b36467146067578063a0ef91df14606f578063bcb4ab0e146077575b600080fd5b6051607f565b6040518082815260200191505060405180910390f35b606d6088565b005b60756094565b005b607d60f3565b005b60008054905090565b6001600014609257fe5b565b3373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f1935050505015801560f0573d6000803e3d6000fd5b50565b600160008190555056fea165627a7a7230582097b073d8789a43fedeb6be6929b92747b0ddbcfd568d5c737d90ea40ce8efe9f0029" Traceback (most recent call last): File "octopus_eth_evm.py", line 186, in main() File...

muellerberndt

Display imported function name in Control Flow Graph

5

Hi, I'm in awe with your work so far. That's a blessing for simplifying my RE of WASM contracts. When I generate the CFG though, the `call` show only the...

fproulx-dfuse

dedicated ticket for comment issue #1 When it analysis bytecode like https://etherscan.io/address/0x4Ea7De704bd13D48a2FdB5C81D54dBC50fE49319#code , it will cause an MEMORY ERROR. I wonder how to resolve it. some other contract : https://etherscan.io/address/0x3a2fe50bEAE11814E04f55f9D9F950659E48Eac3#code...

pventuzelo

Whats the command to execute security test for solc file?

shoaibakram1