issues
search
ucsb-seclab
/
sailfish
Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
47
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
TypeError: the JSON object must be str, bytes or bytearray, not 'list'
#8
Troublor
opened
1 year ago
0
about test case
#7
nicedinner
opened
1 year ago
0
AssertionError: daemonic processes are not allowed to have children
#6
DarrenChangJR
closed
1 year ago
0
import "@openzeppelin/contracts/..."
#5
DarrenChangJR
closed
1 year ago
1
when one contract import others, the tool will fail
#4
smartcontract-detect-yzu
opened
1 year ago
2
How to do inter-contract analysis?
#3
Troublor
closed
2 years ago
1
For the code release
#2
CharesFang
closed
2 years ago
1
could you explain the dataset?
#1
cl0udee
closed
2 years ago
1