iVoider

GenshinJailbreakBypass

png2png

Mix two images / morphing animation between images with Stable Diffusion

playcover-site

stable-diffusion-videos

Create 🔥 videos with Stable Diffusion by exploring the latent space and morphing between text prompts

UbSym

A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes

acm

deis

DEIS: Fast Sampling of Diffusion Models with Exponential Integrator

esilsolve

A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)

examples

Deep Learning Examples

contract-fuzzer

An intelligent fuzzer on smart contracts.

graph_isomorphism

hevm

symbolic EVM evaluator

hyperpom

AArch64 fuzzer based on the Apple Silicon hypervisor

imaginAIry

AI imagined images. Pythonic generation of stable diffusion images.

ityfuzz

Blazing Fast Hybrid Fuzzer for Smart Contracts

jbmc-counterexample

Takes counter example traces from jbmc and then produces a java program that would produce the property violations

MachLLVMLifter

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

MachOA

p0tools

Project Zero Docs and Tools

radius

Fix radius2 symex for Frida

sample-generator

Tools to train a generative model on arbitrary audio samples

smartExecutor

A symbolic execution tool to analyze Ethereum smart contracts

steganography

UnsplashPhotoPicker

📷 Android Library providing a photo picker to search and download photos from Unsplash