LuaJIT bytecode decompiler

Unofficial mirror of unluac , fork from http://hg.code.sf.net/p/unluac/hgcode

Xiaomi Home Integration for Home Assistant

Lua Decompiler for lua 5.1 , 5.2 and 5.3

Zero shot vulnerability discovery using LLMs

A list of AI autonomous agents

An abstraction layer for constraint solvers.

Public API, examples, documentation and issues for Binary Ninja

A collection of resources/tools and analyses for the angr binary analysis framework.

A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnera…

ChatGPT Agent analyses your IDA pseudocode

An easy-to-learn/use static analysis framework for Java

A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.

Mirror of Apache HTTP Server. Issues: http://issues.apache.org

Event notification library

Python composable command line interface toolkit

For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, and Xiangyu Zhang. …

A programming framework for agentic AI 🤖 PyPi: autogen-agentchat Discord: https://aka.ms/autogen-discord Office Hour: https://aka.ms/autogen-officehour

Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding

DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types

patch presence test via symbolic signatures, ICSE'24

An awesome & curated list of binary code similarity papers

The paper list of the 86-page paper "The Rise and Potential of Large Language Model Based Agents: A Survey" by Zhiheng Xi et al.

An automated static taint analysis tool for the Lua web framework.

Official implementation for UniASM: Binary Code Similarity Detection without Fine-tuning.