Bystryj i masshtabiruemyj analiz smart-kontraktow

My razrabotali i realizowali bystruü i masshtabiruemuü strukturu fuzzing dlq smart-kontraktow Ethereum. On predostawlqet wozmozhnost' kodirowat' pol'zowatel'skie swojstwa w kontrakt, kotorye budut awtomaticheski prowerqt'sq. Fazzer prinimaet na whod proekt truffle, prowerqet kontrakty i dlq kazhdogo kontrakta soobschaet o pokrytii, celochislennyh perepolneniqh, utwerzhdeniqh, lübyh narusheniqh pol'zowatel'skih swojstw i statistike neudachnyh/neudachnyh tranzakcij dlq kazhdogo metoda. On konfiguriruetsq dlq nastrojki strategii fazzinga dlq konkretnoj oblasti. My priwodim kontrol'nye pokazateli, protestirowaw ego w neskol'kih uslowiqh, wklüchaq bolee 30 tysqch real'nyh kontraktow, razwernutyh na osnownoj cepochke Ethereum.