jzeng4

jzeng4's Stars

• iovisor/bcc

  BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

  Language:C20.8k5591.9k3.9k

• GoogleContainerTools/jib

  🏗 Build container images for your Java applications.

  Language:Java13.7k3251.7k1.4k

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.7k1862k1.1k

• vyperlang/vyper

  Pythonic Smart Contract Language for the EVM

  Language:Python4.9k1621.7k813

• slowmist/Knowledge-Base

  Knowledge Base 慢雾安全团队知识库

  4k1299539

• ethereum/aleth

  Aleth – Ethereum C++ client, tools and libraries

  Language:C++4k4692.3k2.2k

• Consensys/mythril

  Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

  Language:Python3.9k79850744

• aquasecurity/tracee

  Linux Runtime Security and Forensics using eBPF

  Language:Go3.7k541.5k426

• JonathanSalwan/Triton

  Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

  Language:C++3.6k138968540

• sourcegraph/checkup

  Distributed, lock-free, self-hosted health checks and status pages

  Language:Go3.4k12989248

• crytic/echidna

  Ethereum smart contract fuzzer

  Language:Haskell2.8k58583378

• crytic/not-so-smart-contracts

  Examples of Solidity security issues

  Language:Solidity2.2k8020342

• xianlubird/mydocker

  <<自己动手写docker>> 源码

  Language:Go2k5987563

• enzymefinance/oyente

  An Analysis Tool for Smart Contracts

  Language:JavaScript1.3k57192310

• protofire/solhint

  Solhint is an open-source project to provide a linting utility for Solidity code.

  Language:JavaScript1.1k21272169

• duaraghav8/Ethlint

  (Formerly Solium) Code quality & Security Linter for Solidity

  Language:JavaScript92723212129

• containerd/cri

  Moved to https://github.com/containerd/containerd/tree/master/pkg/cri . If you wish to submit issues/PRs, please submit to https://github.com/containerd/containerd

  Language:Go90260443348

• runtimeverification/verified-smart-contracts

  Smart contracts which are formally verified

  Language:Solidity7235118136

• eth-sri/securify2

  Securify v2.0

  Language:Solidity5912637134

• ivicanikolicsg/MAIAN

  MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

  Language:Python5582536160

• FuzzingLabs/octopus

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

  Language:Python481191582

• smartdec/smartcheck

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

  Language:HTML366213289

• oasisprotocol/oasis-core

  Performant and Confidentiality-Preserving Smart Contracts + Blockchains

  Language:Go341431.9k115

• leonardoalt/ethereum_formal_verification_overview

  Overview of the formal verification projects in the Ethereum ecosystem.

  32420535

• microsoft/verisol

  A formal verifier and analysis tool for Solidity Smart Contracts

  Language:C#2461913546

• etclabscore/evm_llvm

  Official repo of the EVM LLVM project

  Language:LLVM100125521

• iffyio/isolate

  Run a command in unique namespaces

  Language:C893319

• sagap/sonar-solidity

  SonarQube Analyzer for Solidity

  Language:Java2424111

• peckshield/EOS

  20505

• csienslab-PCC/PathConstraintClassifier

  Language:Python9103