trailofbits / deepstate

#区块链#Symbolic execution tool

A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

Publications from Trail of Bits

AI Powered Terminal Based Ethical Hacking Assistant

RustSec API & Tooling

RustPython 是一个用 Rust 开发的 Python 解释器

#网络爬虫#Python scraper based on AI

SeaHorn Verification Framework

Reverse Engineering: Decompiling Binary Code with Large Language Models

#大语言模型#Galah: An LLM-powered web honeypot.

The Python Risk Identification Tool for generative AI (PyRIT) is an open source framework built to empower security professionals and engineers to proactively identify risks in generative AI systems.

Keylogging server and client that uses DNS tunneling/exfiltration to transmit keystrokes through firewalls.

C++20 Microservice Bootstrapping Framework

Android 14 kernel exploit for Pixel7/8 Pro

JacORB ORB

Open-source cron job and background task monitoring service, written in Python & Django