mtabz

mtabz's Stars

• yearn/yinsure-finance

  Language:JavaScript1818

• haderech/blanc

  WASM contract toolchain

  Language:C++194

• blockmatic-icebox/eosio-hydra-action

  Github action for automating EOSIO smart contracts testing with Hydra.

  Language:Dockerfile10

• sola-st/wasm-binary-security

  Language:WebAssembly744

• hyperledger-solang/solang

  Solidity Compiler for Solana and Polkadot

  Language:Rust1.3k218

• AFLplusplus/AFLplusplus

  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

  Language:C5.3k1.1k

• mykter/afl-training

  Exercises to learn how to fuzz with American Fuzzy Lop

  Language:C1.2k196

• Rezxx/inspect-analysis2

  Inspect is a security scanner for EOSIO smart contracts.

  Language:WebAssembly21

• bancorprotocol/contracts_eos

  Bancor Protocol Contracts for EOS

  Language:C++11345

• crytic/building-secure-contracts

  Guidelines and training material to write secure smart contracts

  Language:Solidity2.2k350

• mboehme/pythia

  Pythia (extends AFL with Predictions)

  Language:C6211

• LFrobeen/intellij-datalog

  Language:Kotlin314

• equilibrium-eosdt/eosdt

  https://eosdt.com

  Language:C++213

• haderech/eoscc

  Project moved to: https://github.com/turnpike/blanc

  Language:C++6

• EOS-BP-Developers/EOS-Test-Cave

  Automated testing framework for EOS validation

  Language:Assembly2411

• Consensys/mythx-vscode

  Language:TypeScript104

• google/clusterfuzz

  Scalable fuzzing infrastructure.

  Language:Python5.3k563

• NomicFoundation/hardhat

  Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

  Language:TypeScript7.4k1.4k

• rust-lang/datafrog

  A lightweight Datalog engine in Rust

  Language:Rust80145

• plast-lab/doop

  The official repo of Doop, the declarative pointer analysis framework.

  Language:Java16822

• MitchPierias/advanced-eos-examples

  EOS Smart Contract Development Examples

  Language:C++16346

• slowmist/eos-smart-contract-security-best-practices

  A guide to EOS smart contract security best practices

  39873

• smartdec/smartcheck

  SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

  Language:HTML36489

• filecoin-project/venus

  Filecoin Full Node Implementation in Go

  Language:Go2.1k467

• EOSIO/eos-vm

  A Low-Latency, High Performance and Extensible WebAssembly Backend Library

  Language:C++19461

• WebAssembly/spec

  WebAssembly specification, reference interpreter, and test suite.

  Language:WebAssembly3.2k454

• javolution/javolution

  Java Core Library for Real-Time and Embedded Systems

  Language:Java27054

• muellerberndt/sabre

  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.

  Language:JavaScript5923

• github/codeql

  CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

  Language:CodeQL7.8k1.6k

• usyd-blockchain/vandal

  Static program analysis framework for Ethereum smart contract bytecode.

  Language:Python16140