All Projects → Securify → Similar Projects or Alternatives

1224 Open source projects that are alternatives of or similar to Securify

Ethabi
Encode and decode smart contract invocations
Stars: ✭ 172 (-2.82%)
Mutual labels:  ethereum, evm
Monax
DEPRECATED. To be removed December, 2018 (use monax/bosmarmot)
Stars: ✭ 269 (+51.98%)
Mutual labels:  ethereum, evm
Sputnikvm
A Blockchain Virtual Machine
Stars: ✭ 238 (+34.46%)
Mutual labels:  ethereum, evm
Pyquarkchain
Python implementation of QuarkChain
Stars: ✭ 194 (+9.6%)
Mutual labels:  ethereum, evm
Remix
This has been moved to https://github.com/ethereum/remix-project
Stars: ✭ 1,063 (+500.56%)
Mutual labels:  ethereum, evm
Swarm
swarm docs
Stars: ✭ 403 (+127.68%)
Mutual labels:  ethereum, obsolete
Chaingear
The consensus computer driven database framework
Stars: ✭ 83 (-53.11%)
Mutual labels:  ethereum, evm
Armors Solidity
Armors-solidity is a framework to build secure smart contracts on Ethereum.
Stars: ✭ 184 (+3.95%)
Mutual labels:  ethereum, evm
Echidna
Ethereum smart contract fuzzer
Stars: ✭ 571 (+222.6%)
Mutual labels:  ethereum, evm
Burrow
https://wiki.hyperledger.org/display/burrow
Stars: ✭ 851 (+380.79%)
Mutual labels:  ethereum, evm
Chains
provides metadata for networkIDs and chainIDs
Stars: ✭ 117 (-33.9%)
Mutual labels:  ethereum, evm
Remix Ide
Documentation for Remix IDE
Stars: ✭ 1,768 (+898.87%)
Mutual labels:  ethereum, evm
Slither
Static Analyzer for Solidity
Stars: ✭ 759 (+328.81%)
Mutual labels:  ethereum, static-analysis
Evm Opcodes
Ethereum opcodes and instruction reference
Stars: ✭ 344 (+94.35%)
Mutual labels:  ethereum, evm
Ethersplay
EVM dissassembler
Stars: ✭ 304 (+71.75%)
Mutual labels:  ethereum, evm
Evm2wasm
[ORPHANED] Transcompiles EVM code to eWASM
Stars: ✭ 96 (-45.76%)
Mutual labels:  ethereum, evm
Securify2
Securify v2.0
Stars: ✭ 92 (-48.02%)
Mutual labels:  ethereum, static-analysis
Evm Tools
Ethereum Virtual Machine tools and guide
Stars: ✭ 238 (+34.46%)
Mutual labels:  ethereum, evm
Ethereumjs Monorepo
Monorepo for the Ethereum VM TypeScript Implementation
Stars: ✭ 813 (+359.32%)
Mutual labels:  ethereum, evm
Dapptools
Dapp, Seth, Hevm, and more
Stars: ✭ 362 (+104.52%)
Mutual labels:  ethereum, evm
Aleth
Aleth – Ethereum C++ client, tools and libraries
Stars: ✭ 3,885 (+2094.92%)
Mutual labels:  ethereum, evm
Ruby To Solidity
(Secure) Ruby to Solidity (Source-to-Source) Cross-Compiler Cheat Sheet / White Paper
Stars: ✭ 7 (-96.05%)
Mutual labels:  ethereum, evm
Intellij Solidity
Solidity plugin for IntelliJ
Stars: ✭ 646 (+264.97%)
Mutual labels:  ethereum, evm
Openzeppelin Contracts
OpenZeppelin Contracts is a library for secure smart contract development.
Stars: ✭ 14,308 (+7983.62%)
Mutual labels:  ethereum, evm
Hevm
(OLD REPO) A debug-oriented Ethereum VM (EVM)
Stars: ✭ 114 (-35.59%)
Mutual labels:  ethereum, evm
Ette
EVM-based Blockchain Indexer, with historical data query & real-time notification support 😎
Stars: ✭ 37 (-79.1%)
Mutual labels:  ethereum, evm
Rattle
evm binary static analysis
Stars: ✭ 152 (-14.12%)
Mutual labels:  ethereum, evm
Bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
Stars: ✭ 300 (+69.49%)
Mutual labels:  ethereum, evm
Remix Project
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Stars: ✭ 225 (+27.12%)
Mutual labels:  ethereum, evm
ethereum-dasm
An ethereum evm bytecode disassembler and static/dynamic analysis tool
Stars: ✭ 121 (-31.64%)
Mutual labels:  static-analysis, evm
Awesome Ethereum Security
A curated list of awesome Ethereum security references
Stars: ✭ 345 (+94.92%)
Mutual labels:  ethereum, evm
Ruby Ethereum
A Ruby implementation of Ethereum.
Stars: ✭ 270 (+52.54%)
Mutual labels:  ethereum, evm
Py Evm
A Python implementation of the Ethereum Virtual Machine
Stars: ✭ 1,122 (+533.9%)
Mutual labels:  ethereum, evm
Evmc
EVMC – Ethereum Client-VM Connector API
Stars: ✭ 137 (-22.6%)
Mutual labels:  ethereum, evm
Evmone
Fast Ethereum Virtual Machine implementation
Stars: ✭ 162 (-8.47%)
Mutual labels:  ethereum, evm
Polymer Analyzer
Moved to Polymer/tools monorepo
Stars: ✭ 162 (-8.47%)
Mutual labels:  static-analysis
Infer
A static analyzer for Java, C, C++, and Objective-C
Stars: ✭ 12,823 (+7144.63%)
Mutual labels:  static-analysis
Nimbus Eth2
Nim implementation of the Ethereum 2.0 blockchain
Stars: ✭ 162 (-8.47%)
Mutual labels:  ethereum
Sparkle Token
Sparkle Peer to Peer Ecosystem Built on Ethereum
Stars: ✭ 162 (-8.47%)
Mutual labels:  ethereum
Pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Stars: ✭ 2,061 (+1064.41%)
Mutual labels:  static-analysis
Solcrypto
Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256
Stars: ✭ 170 (-3.95%)
Mutual labels:  ethereum
Curso blockchain
Indtroductory course to cryptocurrencies and applications of Blockchain technologies.
Stars: ✭ 161 (-9.04%)
Mutual labels:  ethereum
Kethereum
Kotlin library for Ethereum
Stars: ✭ 161 (-9.04%)
Mutual labels:  ethereum
Remix App
Ethereum Remix Solidity IDE, electron edition
Stars: ✭ 169 (-4.52%)
Mutual labels:  ethereum
Phpstan Deprecation Rules
PHPStan rules for detecting usage of deprecated classes, methods, properties, constants and traits.
Stars: ✭ 160 (-9.6%)
Mutual labels:  static-analysis
Eevm
Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.
Stars: ✭ 175 (-1.13%)
Mutual labels:  ethereum
Sphero Android Sdk
🚫 DEPRECATED REPO: Sphero™ is the amazing robotic ball ( gosphero.com ), this is the repository for the Android SDK for Sphero™. Visit dev site for more information:
Stars: ✭ 160 (-9.6%)
Mutual labels:  obsolete
Smart Contract Watch
A tool to monitor a number of smart contracts and transactions
Stars: ✭ 168 (-5.08%)
Mutual labels:  ethereum
Basic Attention Token Crowdsale
Basic Attention Token
Stars: ✭ 160 (-9.6%)
Mutual labels:  ethereum
Ico Contracts
Ethereum smart contracts that have been used during successful ICOs
Stars: ✭ 160 (-9.6%)
Mutual labels:  ethereum
Jpeek
Java Code Static Metrics (Cohesion, Coupling, etc.)
Stars: ✭ 168 (-5.08%)
Mutual labels:  static-analysis
Crowdfunding
基于区块链(以太坊)技术的安全众筹系统
Stars: ✭ 159 (-10.17%)
Mutual labels:  ethereum
Vault Ethereum
A plugin that turns Vault into an Ethereum wallet.
Stars: ✭ 159 (-10.17%)
Mutual labels:  ethereum
React Auth Box
Truffle, Webpack, React, Redux boilerplate with routing and authentication via a smart contract.
Stars: ✭ 172 (-2.82%)
Mutual labels:  ethereum
Cicero
Accord Project Smart Templates Implementation
Stars: ✭ 166 (-6.21%)
Mutual labels:  ethereum
Dharma Smart Wallet
An upgradeable, meta-transaction-enabled smart wallet for earning interest on stablecoins while retaining custody of funds, with an added security backstop provided by Dharma Labs.
Stars: ✭ 159 (-10.17%)
Mutual labels:  evm
Pymaker
Python API for Maker contracts
Stars: ✭ 158 (-10.73%)
Mutual labels:  ethereum
R2frida Wiki
This repo aims at providing practical examples on how to use r2frida
Stars: ✭ 168 (-5.08%)
Mutual labels:  static-analysis
Rainbowminer
GPU/CPU Mining script with intelligent profit-switching between miningpools, algorithms, miners, using all possible combinations of devices (NVIDIA, AMD, CPU). Features: actively maintained, uses the top actual miner programs (Bminer, Ccminer, Claymore, Dstm, EnemyZ, Sgminer, T-rex and more) easy setup wizard, webinterface, auto update.
Stars: ✭ 158 (-10.73%)
Mutual labels:  ethereum
Bytecode Viewer
A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
Stars: ✭ 12,606 (+7022.03%)
Mutual labels:  static-analysis
1-60 of 1224 similar projects