issues
search
enzymefinance
/
oyente
An Analysis Tool for Smart Contracts
GNU General Public License v3.0
1.32k
stars
309
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Question about the sym_exec_ins function in the file 'SymExec.py'
#403
fCorleone
opened
4 years ago
0
Question about some absurd reported cases
#402
renardbebe
opened
4 years ago
3
Bump rack from 2.0.5 to 2.2.3 in /web
#401
dependabot[bot]
opened
4 years ago
0
Bump websocket-extensions from 0.1.3 to 0.1.5 in /web
#400
dependabot[bot]
opened
4 years ago
0
Constructor not supported
#399
letbecool
closed
4 years ago
2
feat: allow only processing specified contracts
#398
yxliang01
closed
4 years ago
1
how to target a specified contract in a solidity file
#397
qiana0223
closed
4 years ago
8
ci: test for multiple solc versions
#396
yxliang01
opened
4 years ago
0
ci: build docker image
#395
yxliang01
opened
4 years ago
0
chore: deprecating python2 support
#394
yxliang01
opened
4 years ago
0
Latest solidity support
#393
mstad
opened
4 years ago
58
Bump rubyzip from 1.2.1 to 1.3.0 in /web
#392
dependabot[bot]
opened
4 years ago
0
Solidity compilation failed
#391
lukasdenk
closed
4 years ago
8
Usage question
#390
AnonymousMonkey2021
closed
4 years ago
2
docker: separate CLI and WEB building stages
#389
yxliang01
closed
4 years ago
14
Error while building image from dockerfile
#388
anhdungle93
closed
4 years ago
5
docker: make building of web component optional
#387
yxliang01
closed
4 years ago
0
Container EVM Version Warning
#386
fang19911030
closed
4 years ago
4
print more informative log when z3 is unavailable
#385
yxliang01
closed
4 years ago
0
Z3 not available, Error while running smart contract for security analysis
#384
ayesha99
closed
4 years ago
11
docker: multi-stage build
#383
yxliang01
opened
4 years ago
0
docker build issue
#382
yxliang01
closed
4 years ago
2
fix paper link
#381
yxliang01
closed
4 years ago
0
Bump puma from 3.11.4 to 3.12.4 in /web
#380
dependabot[bot]
closed
4 years ago
1
Bump rake from 12.3.1 to 13.0.1 in /web
#379
dependabot[bot]
opened
4 years ago
0
Bump puma from 3.11.4 to 3.12.3 in /web
#378
dependabot[bot]
closed
4 years ago
1
Bump nokogiri from 1.8.2 to 1.10.8 in /web
#377
dependabot[bot]
closed
3 years ago
1
the paper link is 403 forbidden
#376
xizyj
closed
4 years ago
1
Bump rack from 2.0.5 to 2.0.8 in /web
#375
dependabot[bot]
closed
4 years ago
1
Bump puma from 3.11.4 to 3.12.2 in /web
#374
dependabot[bot]
closed
4 years ago
1
How to output the result to a designate file
#373
yz1019117968
closed
4 years ago
1
IndexError: pop from empty list
#372
enderphan94
closed
4 years ago
1
Bump loofah from 2.2.2 to 2.3.1 in /web
#371
dependabot[bot]
closed
1 year ago
1
Bump nokogiri from 1.8.2 to 1.10.5 in /web
#370
dependabot[bot]
closed
4 years ago
1
How many smart contract problems can Oyente detect today?
#369
xf97
opened
5 years ago
6
ecrecover related bugs are not detected
#368
HarryR
opened
5 years ago
0
Oyente b
#367
returnResult
closed
4 years ago
4
What is Money Concurrency bug?
#366
bishwascg
opened
5 years ago
0
generate-graphs.py
#365
Maryam-Imani
opened
5 years ago
1
Printing all path conditions not working?
#364
yxliang01
closed
4 years ago
0
Understand a vulnerable contract marked by Oyente
#363
div-code
opened
5 years ago
0
Status of -gtc switch
#362
yxliang01
closed
5 years ago
1
Vulnerabilities Detected by Oyente
#361
TlxTejaswi
opened
5 years ago
3
Exception:Source map error
#360
Xcrab
closed
4 years ago
13
Segfaults with z3-solver version `4.8.0.0`
#359
johnbender
opened
5 years ago
0
`evm disasm` has changed which appears to cause issues with the tokenizer
#358
johnbender
opened
5 years ago
0
build(Dockerfile): fix apt install package dependency conflict on node-gyp
#357
yxliang01
closed
4 years ago
3
false recognition of library.
#356
tagomaru
opened
5 years ago
1
ci(Travis): remove unsupported python version from Travis CI
#355
yxliang01
closed
4 years ago
1
Fix sym_exec_ins bug
#354
Reinose
closed
4 years ago
4
Previous
Next