issues
search
sec-bit
/
adelaide
The SECBIT Static Analysis Extension to Solidity Compiler
https://secbit.io
GNU General Public License v3.0
19
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
扫描特定合约时,adelaide进程会一直卡死。
#4
easyforgood
closed
5 years ago
4
在erc20-no-name/symbol/decimal中考虑合约继承
#3
depedro
closed
5 years ago
1
检查具有铸币功能的合约
#2
easyforgood
closed
5 years ago
1
gcc8: fixing unnecessary parentheses and catching polymorphic type
#1
4k1s
closed
6 years ago
1