enzymefinance/oyente issues and pull requests

#100 - Add global timeout parameter to the web

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#100 - Add global timeout parameter to the web

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#99 - Web service: Small fix

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#99 - Web service: Small fix

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#98 - Web service: Add tooltip for option label

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#98 - Web service: Add tooltip for option label

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#97 - add global timeout and email params

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#97 - add global timeout and email params

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#96 - Global timeout parameter

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#96 - Global timeout parameter

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#95 - Web service: Move results for web to symExec main function

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#95 - Web service: Move results for web to symExec main function

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#94 - Convert seconds to milliseconds in backend

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#94 - Convert seconds to milliseconds in backend

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#93 - prepare for the first release

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#92 - Bug fixed in setting timeout in z3 version 4.5.0

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#92 - Bug fixed in setting timeout in z3 version 4.5.0

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#91 - Upgrade z3 to 4.5

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#90 - Production config for precompiling js and scss

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#89 - Fix referencing files after compiling in production

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#88 - Add unit and quick descriptions when hovering over options to options

Pull Request - State: closed - Opened by luongnt95 over 7 years ago - 1 comment

#87 - Change layout of options

Pull Request - State: closed - Opened by luongnt95 over 7 years ago - 1 comment

#87 - Change layout of options

Pull Request - State: closed - Opened by luongnt95 over 7 years ago - 1 comment

#86 - Web service

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#86 - Web service

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#85 - Add options timeout, depthlimit, looplimit, gaslimit to the web

Pull Request - State: closed - Opened by luongnt95 over 7 years ago - 1 comment

#84 - upgrade to z3 4.5.0

Issue - State: closed - Opened by loiluu over 7 years ago

#83 - Analyzing contract on web

Pull Request - State: closed - Opened by luongnt95 over 7 years ago - 1 comment

#82 - Integrate browserify-solidity

Pull Request - State: closed - Opened by luongnt95 over 7 years ago - 1 comment

#81 - what does the result mean by "Exception"?

Issue - State: closed - Opened by mhgharieb over 7 years ago - 9 comments

#81 - what does the result mean by "Exception"?

Issue - State: closed - Opened by mhgharieb over 7 years ago - 9 comments

#80 - Upload solidity file to web server

Pull Request - State: closed - Opened by luongnt95 over 7 years ago - 1 comment

#79 - Better logging

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#79 - Better logging

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#78 - Work with multiple .sol files

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#78 - Work with multiple .sol files

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#77 - handle CALLDATALOAD, CALLDATASIZE from input state

Pull Request - State: closed - Opened by inian over 7 years ago

#77 - handle CALLDATALOAD, CALLDATASIZE from input state

Pull Request - State: closed - Opened by inian over 7 years ago

#76 - Optimization

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#76 - Optimization

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#75 - Function to print all program paths which contain a function's signature

Pull Request - State: closed - Opened by huyduong over 7 years ago - 1 comment

#74 - Build a web service for Oyente

Issue - State: closed - Opened by loiluu over 7 years ago - 2 comments

#73 - Ensure stack is in range when tracking gas

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#72 - Fix instructions for running evm contracts

Pull Request - State: closed - Opened by inian over 7 years ago

#71 - Fixes #66

Pull Request - State: closed - Opened by inian over 7 years ago

#71 - Fixes #66

Pull Request - State: closed - Opened by inian over 7 years ago

#70 - Check timestamp dependence bug

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#70 - Check timestamp dependence bug

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#69 - Take input state to speed up symexec

Pull Request - State: closed - Opened by inian over 7 years ago

#68 - Create install instructions for local build; For z3 and (at least) Ubuntu ideally also for macOS

Issue - State: closed - Opened by retotrinkler over 7 years ago

#67 - https://oyente.melonport.com

Issue - State: closed - Opened by retotrinkler over 7 years ago - 3 comments

#66 - Allow to analyze some contract from a remote url

Issue - State: closed - Opened by loiluu over 7 years ago - 1 comment

#65 - Handle INVALID evm

Pull Request - State: closed - Opened by inian over 7 years ago

#65 - Handle INVALID evm

Pull Request - State: closed - Opened by inian over 7 years ago

#64 - Handle INVALID evm

Pull Request - State: closed - Opened by inian over 7 years ago - 1 comment

#64 - Handle INVALID evm

Pull Request - State: closed - Opened by inian over 7 years ago - 1 comment

#63 - handle case where ADD is treated as a valid hex number.

Pull Request - State: closed - Opened by muralisr over 7 years ago

#62 - remove swarmhash in evm code

Pull Request - State: closed - Opened by inian over 7 years ago - 1 comment

#61 - disasm version upgrade

Pull Request - State: closed - Opened by muralisr over 7 years ago - 1 comment

#61 - disasm version upgrade

Pull Request - State: closed - Opened by muralisr over 7 years ago - 1 comment

#60 - Handle loop better

Pull Request - State: closed - Opened by ngotungson over 7 years ago - 1 comment

#60 - Handle loop better

Pull Request - State: closed - Opened by ngotungson over 7 years ago - 1 comment

#59 - add warning for solc failure

Pull Request - State: closed - Opened by inian over 7 years ago

#58 - Add option to limit DFS depth while symbolic execution

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#57 - Refactor

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#56 - Handle correct exception result when doing unit test

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#55 - Fix BYTE

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#54 - Refactor evm unit test

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#53 - Add extcodesize from blockchain

Pull Request - State: closed - Opened by inian over 7 years ago

#52 - Fix JUMP and JUMPI

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#51 - Test case "signextend_Overflow_dj42" fails

Issue - State: closed - Opened by luongnt95 over 7 years ago

#50 - Fix SIGNEXTEND and BYTE

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#49 - Fix sym zero check

Pull Request - State: closed - Opened by inian over 7 years ago

#48 - Abstracting to make multiple datasources

Pull Request - State: closed - Opened by inian over 7 years ago

#47 - Fix SDIV and DIV

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#46 - Fix sdiv and div

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#45 - Fix ADDMOD and MULMOD overflow

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#44 - The DAO[v1.0] Passes With Flying colors

Issue - State: closed - Opened by joeykrug over 7 years ago - 4 comments

#43 - Need to document version of go-ethereum used

Issue - State: closed - Opened by inian over 7 years ago

#42 - Doesnt work with the latest ethereum-go

Issue - State: closed - Opened by inian over 7 years ago - 2 comments

#41 - balance taken from ethereum blockchain

Pull Request - State: closed - Opened by inian over 7 years ago

#40 - handle evm input file in CODESIZE

Pull Request - State: closed - Opened by muralisr over 7 years ago

#39 - fix ref error

Pull Request - State: closed - Opened by inian over 7 years ago

#38 - Test symbolic variables on EVM interpreter

Pull Request - State: closed - Opened by ngotungson over 7 years ago

#37 - Add memory test feature

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#36 - implement code-size

Pull Request - State: closed - Opened by muralisr over 7 years ago

#35 - Fix opcodes

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#34 - implement PC

Pull Request - State: closed - Opened by inian over 7 years ago - 1 comment

#33 - Running benchmark gives ValueError

Issue - State: closed - Opened by inian over 7 years ago - 5 comments

#32 - Handle signed[unsigned] conversion for opcodes[GT, SGT, LT, SLT, MOD,…

Pull Request - State: closed - Opened by ngotungson over 7 years ago - 3 comments

#31 - ensuring real sub and real add are mod 2 ^ 256

Pull Request - State: closed - Opened by inian over 7 years ago

#30 - Handle neg range for byte

Pull Request - State: closed - Opened by inian over 7 years ago

#29 - Fix opcodes MUL and MOD when the result get out of bound

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#28 - Fix BYTE opcode when the byte index out of range

Pull Request - State: closed - Opened by luongnt95 over 7 years ago - 2 comments

#27 - add exception typer error in test

Pull Request - State: closed - Opened by luongnt95 over 7 years ago

#26 - Fix BYTE implementation

Pull Request - State: closed - Opened by inian over 7 years ago

#25 - Opcode BYTE doesn't work correctly

Issue - State: closed - Opened by luongnt95 over 7 years ago - 4 comments

#24 - simplify not operation

Pull Request - State: closed - Opened by inian over 7 years ago

#23 - handle byte

Pull Request - State: closed - Opened by inian over 7 years ago

#22 - Opcode PUSH need to behave differently in range 1->32

Issue - State: closed - Opened by luongnt95 over 7 years ago - 3 comments

GitHub / enzymefinance/oyente issues and pull requests