Pypy233

Algorithm

Homework in D.S NJU 2017, some notes and code both in class and some books. Example python code in book ProblemSolvingwithAlgorithmsandDataStructures

Pypy233.github.io

Tx2TXT

online appendix for paper "Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode"

academic-kickstart

📝 Easily create a beautiful website using Academic, Hugo, and Netlify

AndroidMalware_2020

Popular Android malware seen in 2020

AppScan-scripts

tricky scripts and plugins for AppScan

CS6140-Data

echidna

Ethereum smart contract fuzzer

eth-security-toolbox

A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.

evm.codes

Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

FART

ART环境下自动化脱壳方案

k8s-rolling-update

LLVM-BCParser

manticore

Symbolic execution tool

octopus

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

oyente

An Analysis Tool for Smart Contracts

panda

Platform for Architecture-Neutral Dynamic Analysis

pictures

public-pentesting-reports

Curated list of public penetration test reports released by several consulting firms and academic security groups

Pypy233

seq2seq

A general-purpose encoder-decoder framework for Tensorflow

slides

slither

Static Analyzer for Solidity

smart-contract-sanctuary

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

smartbugs

SmartBugs: A Framework to Analyze Solidity Smart Contracts

SuMo-SOlidity-MUtator

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

WALA

T.J. Watson Libraries for Analysis

xv6-riscv

Xv6 for RISC-V

YesPlayMusic

高颜值的第三方网易云播放器，支持 Windows / macOS / Linux :electron: