Rajeev (rajeevgopalakrishna)

rajeevgopalakrishna

Geek Repo

0

following

0

stars

Github PK Tool:Github PK Tool

Rajeev's repositories

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.

Language:PythonLicense:AGPL-3.0Stargazers:19Issues:3Issues:1

0x-monorepo

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

Language:TypeScriptLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:SolidityStargazers:0Issues:0Issues:0

ens-usernames

DApp to register usernames for Status Network

Language:JavaScriptStargazers:0Issues:0Issues:0

gost

Smart contract testing with Geth via the Golang ABIGEN

Language:GoStargazers:0Issues:0Issues:0

manticore

Symbolic execution tool

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

mythril

Mythril OSS: Security analysis tool for Ethereum smart contracts

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

octopus

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

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

py-evm

A Python implementation of the Ethereum Virtual Machine

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

slither

Static Analyzer for Solidity

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

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.

Language:JavaScriptStargazers:0Issues:0Issues:0

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.

Stargazers:0Issues:0Issues:0

vyper

Pythonic Smart Contract Language for the EVM

Language:PythonLicense:MITStargazers:0Issues:0Issues:0