title
Aruka lepingu turvalisuse analüüsimise boti disainimine ja rakendamine
Design and Implementation of a Smart Contract Security Analysis Bot
author
Pujol I Saumell, Martí
keywords
arukas leping
Mythril
Sepolia
Slither
staatiline analüsaator
sümboolne täitmine
static analyzer
symbolic execution
defence date
language
department / college