rajeevgopalakrishna Goto Github PK

0x-monorepo

0x protocol monorepo - includes our smart contracts and many developer tools

2021-09-wildcredit

ens-usernames

DApp to register usernames for Status Network

gost

Smart contract testing with Geth via the Golang ABIGEN

manticore

Symbolic execution tool

mythril

Mythril OSS: Security analysis tool for Ethereum smart contracts

octopus

Security Analysis tool for WebAssembly module and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

py-evm

A Python implementation of the Ethereum Virtual Machine

slither

Static Analyzer for Solidity

smarty

“Smarty” is a smart contract proof-of-audit service which allows users to upload smart contracts, have them analysed for security vulnerabilities using state-of-the-art security tools and then have the security audit reports recorded on the Ethereum blockchain for transparency and auditability.

solstice

Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (see below for naming rationale), is a command-line tool which can be used to run 15 different static analyses on Solidity smart contracts. These cover a broad range of well-known security/software properties with Ethereum smart contracts today such as those dealing with reentrancy, exceptions, denial-of-service and uninitialised storage pointers.

status-teller-network

DApp which provides a platform for borderless, peer-to-peer, fiat-to-crypto echanges that allows Stakeholders to find nearby users to exchange their cash for digital assets and currency.

vyper

Pythonic Smart Contract Language for the EVM