SoftSec-KAIST Smartian issues - Githubissues

SoftSec-KAIST / Smartian

Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

MIT License

138 stars 21 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

docs(readme): add install instructions

#9 sambacha closed 2 months ago
0
Unable to build Smartian due to SSL error in Nethermind

#8 faustocarva closed 3 months ago
2
Source request

#7 codetronik opened 8 months ago
5
benchmark mode: until first bug or until timeout

#6 f0rki opened 1 year ago
2
how to obtain line number information

#5 sunbeomso opened 1 year ago
3
Unhandled exception. System.Exception: Failed to find codecopy

#4 elizabethdinella opened 2 years ago
1
Error while working on TokenSale.sol: Unhandled exception. System.Exception: Odd length string as input

#3 crypto50z closed 3 months ago
1
Unhandled exception. System.Exception: Failed to analyze trampoline code

#2 nettrino opened 2 years ago
2
Unhandled exception. System.OverflowException: Value was either too large or too small for a UInt64.

#1 nettrino opened 2 years ago
3