Giters
Z1an (UESuperGate)

UESuperGate

Geek Repo

36

followers

39

following

105

stars

Company:the University of Hong Kong

Location:Hong Kong

Github PK Tool:Github PK Tool

Z1an's starred repositories

Grasscutter

A server software reimplementation for a certain anime game.

Language:JavaLicense:AGPL-3.0Stargazers:16160Issues:187Issues:1075

MaaAssistantArknights

《明日方舟》小助手，全日常一键长草！| A one-click tool for the daily tasks of Arknights, supporting all clients.

Language:C++License:AGPL-3.0Stargazers:13665Issues:43Issues:7267

pwntools

CTF framework and exploit development library

Language:PythonLicense:NOASSERTIONStargazers:11920Issues:290Issues:1042

quickjs

Public repository of the QuickJS Javascript Engine.

Language:CLicense:NOASSERTIONStargazers:8275Issues:152Issues:264

wasm3

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

Language:CLicense:MITStargazers:7217Issues:122Issues:337

zlib

A massively spiffy yet delicately unobtrusive compression library.

Language:CLicense:NOASSERTIONStargazers:5597Issues:190Issues:489

mruby

Lightweight Ruby

Language:CLicense:MITStargazers:5287Issues:240Issues:1774

antSword

**蚁剑是一款跨平台的开源网站管理工具。AntSword is a cross-platform website management toolkit.

Language:JavaScriptLicense:MITStargazers:3638Issues:51Issues:258

AFL

american fuzzy lop - a security-oriented fuzzer

Language:CLicense:Apache-2.0Stargazers:3564Issues:80Issues:91

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

Language:C++License:MITStargazers:2908Issues:55Issues:59

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:2606Issues:106Issues:603

down_52pojie_cn

A single page file explorer that can be hosted on static website. 吾爱破解论坛 爱盘 https://down.52pojie.cn/ 页面的源代码

Language:PHPLicense:MITStargazers:2530Issues:90Issues:24

FuzzingPaper

Recent Fuzzing Paper

License:MITStargazers:2383Issues:154Issues:13

libbpf

Automated upstream mirror for libbpf stand-alone build.

Language:CLicense:NOASSERTIONStargazers:2125Issues:67Issues:304

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:1005Issues:35Issues:2588

openjpeg

Official repository of the OpenJPEG project

Language:CLicense:NOASSERTIONStargazers:970Issues:68Issues:1090

driller

Driller: augmenting AFL with symbolic execution!

Language:PythonLicense:BSD-2-ClauseStargazers:889Issues:55Issues:74

reredirect

Tool to dynamicly redirect outputs of a running process

Language:CLicense:MITStargazers:554Issues:16Issues:12

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

Language:CLicense:MITStargazers:517Issues:59Issues:54

lava

LAVA: Large-scale Automated Vulnerability Addition

Language:C++License:NOASSERTIONStargazers:362Issues:23Issues:48

symsan

A LLVM Sanitizer for Symbolic Tracing

Language:C++License:Apache-2.0Stargazers:205Issues:7Issues:11

udf_infusion

A MySQL functionality enhancement UDF

Language:ShellLicense:NOASSERTIONStargazers:137Issues:17Issues:20

fuzzolic

fuzzing + concolic = fuzzolic :)

Language:CLicense:GPL-2.0Stargazers:112Issues:3Issues:7

jigsaw

JIGSAW is a fuzzing-based path constraint solver.

Language:C++License:Apache-2.0Stargazers:68Issues:6Issues:4

smtrat

Language:C++License:NOASSERTIONStargazers:52Issues:8Issues:109

sbt-instrumentation

Configurable instrumentation of LLVM bitcode

Language:C++License:MITStargazers:32Issues:8Issues:26

NX531J_M_kernel

nubia NX531J Android 6.0.1 kernel(3.18.20) source code

Language:CLicense:NOASSERTIONStargazers:19Issues:7Issues:2

D3CTF-2022-Official-Writeup

D3CTF-2022-Official-Writeup

Stargazers:16Issues:4Issues:0

sbt-slicer

Static program slicer used in Symbiotic tool

Language:C++License:MITStargazers:11Issues:7Issues:0

5ewin_authenticator_extract

A tool to extract 5ewin(5e对战平台) Android app TOTP code so that you can manage it on google-authenticator.

Language:PythonLicense:Apache-2.0Stargazers:1Issues:1Issues:0