Eric-Bokai-Zhang

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.

psi

Exact Inference Engine for Probabilistic Programs

daikon

Dynamic detection of likely invariants

ORANalyst

stateful-auth

buenum-synth

Bottom-up Enumerative Synthesizer using Egg

egg

egg is a flexible, high-performance e-graph library

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

must-read

Lists of must-read papers (mainly security papers)

llvm-ir

LLVM IR in natural Rust data structures

modern-unix

A collection of modern/faster/saner alternatives to common unix commands.

academicpages.github.io

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

vec2text_upstream

utilities for decoding deep representations (like sentence embeddings) back to text

open_llama

OpenLLaMA, a permissively licensed open source reproduction of Meta AI’s LLaMA 7B trained on the RedPajama dataset

vec2text

utilities for decoding deep representations (like sentence embeddings) back to text

zaproxy

The ZAP by Checkmarx Core project

openvas-scanner

This repository contains the scanner component for Greenbone Community Edition.

wapiti

Web vulnerability scanner written in Python3

rust-bindgen

Automatically generates Rust FFI bindings to C (and some C++) libraries.

veriwasm

SFI verifier of Wasm binaries

v8-sandbox

V8 Sandbox - Execute untrusted JavaScript from Node.js

srt

Secure, Reliable, Transport

Best-README-Template

An awesome README template to jumpstart your projects!

miller

Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON

raft.github.io

website at https://raft.github.io

v8

The official mirror of the V8 Git repository

WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

escodegen

ECMAScript code generator

esprima-python

ECMAScript parsing infrastructure for multipurpose analysis

sdfood

A personal collection of food in San Diego. (primarily asian food) (in Chinese)