pirapira dry-analyzer issues

pirapira / dry-analyzer

Dr. Y's Ethereum Contract Analyzer

GNU Lesser General Public License v2.1

42 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Error: The implementation CoqNat.ml does not match the interface CoqNat.cmi: Values do not match: val zero : int is not included in val zero : Decimal.int File "CoqNat.mli", line 6, characters 0-14: Expected declaration File "CoqNat.ml", line 8, characters 4-8: Actual declaration Command exited with code 2. Compilation unsuccessful after building 38 targets (0 cached) in 00:00:01.

#55 Ywmet opened 5 years ago
1
Need explanation of an ouput

#54 domainexpert opened 6 years ago
0
Added additional explanation for environment variables settings for m…

#53 domainexpert opened 6 years ago
0
Build failure: Nat.ltb was not found in the current environment

#52 domainexpert closed 6 years ago
2
UI/UX Update

#51 pindaroso opened 7 years ago
0
Receive the contract in POST, not GET method

#50 pirapira opened 7 years ago
0
Shows the last instruction during the execution

#49 pirapira closed 7 years ago
0
In case of runtime failure, show the last instruction.

#48 pirapira closed 7 years ago
0
Back fwd buttons remember the initial storage

#47 pirapira closed 7 years ago
0
fwd and bck buttons forgets the initial storage content

#46 pirapira closed 7 years ago
0
Next prev buttons.

#45 pirapira closed 7 years ago
0
When CREATing something, show the init code it's sending

#44 pirapira opened 7 years ago
0
get32 (0xa0) (codecopy mem: (0x60), code: (0x439), size: (0x60)) should turn into a concrete number

#43 pirapira opened 7 years ago
0
if taken memory is known, do not continue

#42 pirapira opened 7 years ago
0
a_mem_to_str: codecopy not implemented

#41 pirapira opened 7 years ago
0
Asub' is incorrect in case of underflow

#40 pirapira closed 7 years ago
0
"next" "prev" buttons

#39 pirapira closed 7 years ago
0
(get32 (0x40) (empty) should be simplified to zero

#38 pirapira closed 7 years ago
0
(get_storage (0x0) (storage_write at: (0x0), val: (0x2) (initial storage))) should be simplified

#37 pirapira closed 7 years ago
1
Ability to specify the initial storage contents

#36 pirapira opened 7 years ago
0
Check if HTML is valid

#35 pirapira opened 7 years ago
0
(get32 (0x40) (empty)) is always zero

#34 pirapira closed 7 years ago
1
"(0x60) is not zero." is always true

#33 pirapira closed 7 years ago
1
Classify expressions

#32 pirapira opened 7 years ago
0
Design classification of expressions

#31 pirapira closed 7 years ago
1
Add concat

#30 pirapira closed 7 years ago
0
Check stackoverflow

#29 pirapira closed 7 years ago
0
An option to focus on publicly reachable execution paths

#28 pirapira opened 7 years ago
0
Set up continuous integration

#27 pirapira opened 7 years ago
1
More inviting message

#26 pirapira closed 7 years ago
0
Add a link to the source code

#25 pirapira closed 7 years ago
0
More tolerant parsing

#24 pirapira closed 7 years ago
0
Simplify concatenation on memory

#23 pirapira closed 7 years ago
0
Remove a special contract

#22 pirapira closed 7 years ago
0
Focus on one execution path.

#21 pirapira opened 7 years ago
0
Update doc

#20 pirapira closed 7 years ago
0
Show the port where the web server is listening

#19 pirapira closed 7 years ago
0
First split the program into basic blocks and then analyze each block

#18 pirapira opened 7 years ago
0
Unimplemented opcode DELEGATECALL

#17 pirapira closed 7 years ago
1
Consider the max size of the stack

#16 pirapira closed 7 years ago
1
Consider divide by zero

#15 pirapira opened 8 years ago
1
Provide optimized arithmetics for multiplication

#14 pirapira opened 8 years ago
0
Test the analyzer against the blockchain data

#13 pirapira opened 8 years ago
0
What happens after `CALL`

#12 pirapira opened 8 years ago
1
VM trace log enricher

#11 pirapira closed 7 years ago
1
Unimplemented opcode `EXTCODECOPY`

#10 pirapira closed 8 years ago
1
Unimplemented informational opcodes `ORIGIN` `CODESIZE` `GASPRICE`

#9 pirapira closed 8 years ago
2
Unimplemented opcode `CREATE`

#8 pirapira closed 8 years ago
1
Unimplemented opcodes from `SWAP11` to `SWAP16`

#7 pirapira closed 8 years ago
1
Unimplemented arithmetic opcodes `SDIV` `MOD` `SMOD` `ADDMOD` `MULMOD`

#6 pirapira closed 8 years ago
2