ivoider Goto Github PK

acm

contract-fuzzer

An intelligent fuzzer on smart contracts.

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

exploit-mobile-phone-sim-card-for-eavesdropping

the hacker sends a binary SMS to the target's phone. The SMS contains a special payload executed by the operating system of the phone's SIM card

genshinjailbreakbypass

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

playcover-site

png2png

Mix two images / morphing animation between images with Stable Diffusion

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

stable-diffusion-videos

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

steganography

ubsym

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

unsplashphotopicker

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