ZhizhongPan

500lines

500 Lines or Less

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Airtest

UI Automation Framework for Games and Apps

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

AndroidSecurityStudy

安卓应用安全学习

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

FART

ART环境下自动化脱壳方案

fastapi-celery

Minimal example utilizing fastapi and celery with RabbitMQ for task queue, Redis for celery backend and flower for monitoring the celery tasks.

fastapi-mongodb-realworld-example-app

Backend logic implementation for https://github.com/gothinkster/realworld with awesome FastAPI

fastapi-tdd-docker

Test-Driven Development with FastAPI and Docker

FRIDA-DEXDump

Fast search and dump dex on memory.

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

handy

interview_python

关于Python的面试题

ip2region

Ip2region is a offline IP location library with accuracy rate of 99.9% and 0.0x millseconds searching performance. DB file is less then 5Mb with all ip address stored. binding for Java,PHP,C,Python,Nodejs,Golang,C#,lua. Binary,B-tree,Memory searching algorithm

karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

klee

KLEE Symbolic Execution Engine

latex-book-template

LaTeX中文书籍模板

mitmproxy

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

Mobile-Security-Framework-MobSF

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.

PySnooper

Never use print for debugging again

remill

Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

seahorn

SeaHorn Verification Framework

SmartContractTest

Submitty

Homework Submission, Automated Grading, and TA grading system.

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

tlpi-dist

The Linux Programming Interface by Michael Kerrisk - Distribution Version

usingcli-book

像黑客一样使用命令行

warp-workflows

workflows for warp command line tools

zhizhongpan.github.io

personal website