Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs

Solana Virtual Machine bytecode processor for IDA Pro

Semgrep rules for smart contracts based on DeFi exploits

Interface with the rustc compiler for the purpose of program verification

document shares

awesome-zkml repository

Open-source AI agents for penetration testing

Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Performant type-checking for python.

Compositional Verification of Security Protocols

✨ Programming Language Research, Applied PLT & Compilers

✨ A Learning Path for Functional Programming

Static analyzer tool for Solana

A random Solidity program generator.

Formal Verification tool for Move on Sui

Per-device scrolling prefs on macOS.

AI-powered workflow automation and AI Agents platform for AppSec, Fuzzing & Offensive Security. Automate vulnerability discovery with intelligent fuzzing, AI-driven analysis, and a marketplace of s…

一款照片水印添加工具

EDB: The Ethereum Project Debugger

本项目基于 Playwright 和AI过滤的闲鱼多任务实时/定时监控与智能分析工具，配备了功能完善的后台管理界面。帮助用户节省闲鱼商品过滤，能及时找到心仪商品。

Replication package of ELFuzz

The artifacts for the paper "When Crypto Fails: Demystifying Cryptographic Defects in Ethereum Smart Contracts"

Create Solana programs with no external dependencies attached