Телеграмм чат группы basicblockradio

Друзья, а у кого есть на примете хороших обзор инструментов анализа смарт-контрактов? Желательно в виде научной статьи, но не обязательно. А то собираю тут статьи в диссертацию, и раздел Related work статьи про наш SmartCheck выглядит немного куцо для 2020 года. @boogerwooger , может ты в курсе?

источник

17:25пожаловаться #5

S

Sergey Boogerwooger in ББ-чат

Sergei Tikhomirov

Друзья, а у кого есть на примете хороших обзор инструментов анализа смарт-контрактов? Желательно в виде научной статьи, но не обязательно. А то собираю тут статьи в диссертацию, и раздел Related work статьи про наш SmartCheck выглядит немного куцо для 2020 года. @boogerwooger , может ты в курсе?

https://docs.google.com/presentation/d/14z-t0I0MMJfKvQGB7wIk2hQgtAAW3s0-CRJtWOGwQWU/edit#slide=id.g544125b009_0_14 - тут на слайде несколько статей

Google Docs

Автоматический аудит безопасности смарт-контрактов

источник

17:29пожаловаться #6

S

Sergey Boogerwooger in ББ-чат

дальше я не стал писать, потому что тогда половина этих инструментов не заводилась ваще, и я несколько дней с ними провозился, а потом приехал заках и пришлось бросить

источник

17:30пожаловаться #7

S

Sergey Boogerwooger in ББ-чат

до сих пор хочу manticore и echidna обтестить

источник

17:30пожаловаться #8

ST

Sergei Tikhomirov in ББ-чат

Sergey Boogerwooger

https://docs.google.com/presentation/d/14z-t0I0MMJfKvQGB7wIk2hQgtAAW3s0-CRJtWOGwQWU/edit#slide=id.g544125b009_0_14 - тут на слайде несколько статей

Google Docs

Автоматический аудит безопасности смарт-контрактов

неплохо, спасибо!

но если кто ещё что знает такого рода, смело делитесь

источник

17:30пожаловаться #9

AS

Alexander Seleznev in ББ-чат

еще из новенького:
https://mythx.io/
https://crytic.io/

mythx.io

MythX: Smart contract security service for Ethereum

Detect security vulnerabilities in your Ethereum smart contracts throughout the development life cycle. Analyze Solidity dapps for security holes and known smart contract vulnerabilities. Help make Ethereum a more secure platform.

источник

17:33пожаловаться #10

ST

Sergei Tikhomirov in ББ-чат

мне тащемта не хочется особо глубоко вникать, а хочется написать что-то вроде: "Есть много тулов, которые используют технику А (тул1, тул2), технику Б (тул3) и технику В (тул4, тул5)."

источник

17:35пожаловаться #11

AP

Aleksei Pupyshev in ББ-чат

Sergei Tikhomirov

мне тащемта не хочется особо глубоко вникать, а хочется написать что-то вроде: "Есть много тулов, которые используют технику А (тул1, тул2), технику Б (тул3) и технику В (тул4, тул5)."

Так и пишутся науч. диссертации?)

источник

17:36пожаловаться #12

ST

Sergei Tikhomirov in ББ-чат

Aleksei Pupyshev

Так и пишутся науч. диссертации?)

если глубоко вникать во всё, диссертацию никогда не допишешь!

источник

17:37пожаловаться #13

DF

Donald Fauntleroy in ББ-чат