SmartCheck static analysis of ethereum smart contracts

Ethereum is a major blockchain-based platform for smart contracts - Turing complete programs that are executed in a decentralized network and usually manipulate digital units of value. Solidity is the most mature high-level smart contract language. Ethereum is a hostile execution environment, where...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2018 IEEE ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) s. 9 - 16
Hlavní autoři:	Tikhomirov, Sergei, Voskresenskaya, Ekaterina, Ivanitskiy, Ivan, Takhaviev, Ramil, Marchenko, Evgeny, Alexandrov, Yaroslav
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 27.05.2018
Edice:	ACM Conferences
Témata:	bug detection Computer bugs Computer hacking Contracts Ethereum smart contracts Solidity Static analysis static analysis ethereum bug detection smart contracts solidity
ISBN:	9781450357265, 1450357261
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!