Skip to content
View jocw's full-sized avatar
0 followers · 19 following
Block or Report

Block or report jocw

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • manticore Public

    Forked from trailofbits/manticore

    Symbolic execution tool

    Python GNU Affero General Public License v3.0 Updated Sep 22, 2020

  • ethereum_formal_verification_overview Public

    Forked from leonardoalt/ethereum_formal_verification_overview

    Overview of the formal verification projects in the Ethereum ecosystem.

    GNU General Public License v3.0 Updated Sep 14, 2020

  • go-ipfs Public

    Forked from ipfs/kubo

    IPFS implementation in Go

    Go Other Updated Jun 18, 2020

  • bcov Public

    Forked from abenkhadra/bcov

    Efficient binary-level coverage analysis via static instrumentation

    C++ Other Updated Jun 17, 2020

  • oss-fuzz Public

    Forked from google/oss-fuzz

    OSS-Fuzz - continuous fuzzing of open source software.

    C Apache License 2.0 Updated Jun 15, 2020

  • capstone Public

    Forked from capstone-engine/capstone

    Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

    C Other Updated Jun 15, 2020

  • openzeppelin-contracts Public

    Forked from OpenZeppelin/openzeppelin-contracts

    OpenZeppelin Contracts is a library for secure smart contract development.

    JavaScript MIT License Updated Jun 15, 2020

  • slither Public

    Forked from crytic/slither

    Static Analyzer for Solidity

    Python GNU Affero General Public License v3.0 Updated Jun 14, 2020

  • vyper Public

    Forked from vyperlang/vyper

    Pythonic Smart Contract Language for the EVM

    Python Apache License 2.0 Updated Jun 13, 2020

  • honggfuzz Public

    Forked from google/honggfuzz

    Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

    C Apache License 2.0 Updated Jun 11, 2020

  • hooking Public

    Forked from alphaSeclab/hooking

    Resources About Hooking. For All Platforms. Currently 300+ Tools And 600+ Posts.

    Updated Jun 11, 2020

  • ScoutSuite Public

    Forked from nccgroup/ScoutSuite

    Multi-Cloud Security Auditing Tool

    Python GNU General Public License v2.0 Updated Jun 9, 2020

  • AFL Public

    Forked from google/AFL

    american fuzzy lop - a security-oriented fuzzer

    C Apache License 2.0 Updated Jun 9, 2020

  • PayloadsAllTheThings Public

    Forked from swisskyrepo/PayloadsAllTheThings

    A list of useful payloads and bypass for Web Application Security and Pentest/CTF

    Python MIT License Updated Jun 9, 2020

  • mythril Public

    Forked from Consensys/mythril

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

    Python MIT License Updated Jun 9, 2020

  • panoramix Public

    Forked from eveem-org/panoramix

    Decompiler at the heart of Eveem.org

    Python MIT License Updated Jun 9, 2020

  • eos Public

    Forked from EOSIO/eos

    An open source smart contract platform

    C++ MIT License Updated Jun 9, 2020

  • netty Public

    Forked from netty/netty

    Netty project - an event-driven asynchronous network application framework

    Java Apache License 2.0 Updated Jun 8, 2020

  • ethernaut Public

    Forked from OpenZeppelin/ethernaut

    Web3/Solidity based wargame

    JavaScript MIT License Updated Jun 6, 2020

  • CTF-Game-Challenges Public

    Forked from mrT4ntr4/CTF-Game-Challenges

    A curated list of Game Challenges from various CTFs

    Updated Jun 4, 2020

  • echidna Public

    Forked from crytic/echidna

    Ethereum smart contract fuzzer

    Haskell GNU Affero General Public License v3.0 Updated Jun 4, 2020

  • xray Public

    Forked from chaitin/xray

    一款完善的安全评估工具，支持常见 web 安全问题扫描和自定义 poc | 使用之前务必先阅读文档

    Vue Other Updated Jun 3, 2020

  • awesome-ethereum-security Public

    Forked from crytic/awesome-ethereum-security

    A curated list of awesome Ethereum security references

    Creative Commons Attribution 4.0 International Updated Jun 2, 2020

  • persistence Public

    Forked from alphaSeclab/persistence

    Resources About Persistence, Multiple Platforms. Including ~80 Tools and 300+ Posts.

    Updated Jun 1, 2020

  • top10webseclist Public

    Forked from irsdl/top10webseclist

    Top Ten Web Hacking Techniques List

    Updated May 31, 2020

  • ghost Public

    Forked from EntySec/Ghost

    Ghost Framework is an Android post-exploitation framework that exploits the Android Debug Bridge to remotely access an Android device. Ghost Framework gives you the power and convenience of remote …

    Python GNU General Public License v3.0 Updated May 30, 2020

  • w13scan Public

    Forked from w-digital-scanner/w13scan

    Passive Security Scanner (被动式安全扫描器)

    Smarty 1 GNU General Public License v2.0 Updated May 29, 2020

  • ZLToolKit Public

    Forked from ZLMediaKit/ZLToolKit

    一个基于C++11的轻量级网络框架，基于线程池技术可以实现大并发网络IO

    C++ MIT License Updated May 27, 2020

  • infer Public

    Forked from facebook/infer

    A static analyzer for Java, C, C++, and Objective-C

    OCaml MIT License Updated May 26, 2020

  • lynis Public

    Forked from CISOfy/lynis

    Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional.

    Shell GNU General Public License v3.0 Updated May 25, 2020