Akshay K

A tool written in python to play with dex/odex files

A Linux kernel module instrumentation framework, Developed as an extension of DrK (Dynamorio Kernel).

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

Gem index file fetcher and parser with caching

No description.

:electron: O-MVLL is a code obfuscation tool based on LLVM for native code (Android and iOS).

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

No description.

Medical PPG Testbed Firmware

Torrent Suite

BTOR2 MLIR project

This repository offers an open-source C++ SDK bindings for IDA, enabling custom plugin development and automation.

No description.

The C-based Firmware Patching Framework for Broadcom/Cypress WiFi Chips that enables Monitor Mode, Frame Injection and much more

Standalone man-in-the-middle attack framework used for phishing login credentials along with session cookies, allowing for the bypass of 2-factor authentication

:hocho: Strictly RFC 3986 compliant URI parsing and handling library written in C89; moved from SourceForge to GitHub

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

A Coverage Explorer for Reverse Engineers

A staging ground for MLIR dialects and tools.

SentinelOne Log Sanitizer. Removes CUI from log files.

A vulnerability scanner for container images and filesystems

Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend

A framework for instrumenting build tools

Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

A fuzzer for full VM kernel/driver targets

No description.

The fastest Intel-PT decoder for fuzzing

llvm opt fuzzer and bounded exhaustive test generator

Automatic verification of LLVM optimizations

windows kernel security development

[LLVM Static Slicer] Dependence graph for programs. A set of generic program analyses and a static slicer for LLVM bitcode.

SPARC lifter testsuite

Machine code to LLVM binary translator

x86 to LLVM bitcode translation framework

SQL powered operating system instrumentation, monitoring, and analytics.

Zeek extension for osquery (in development)

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

KLEE Symbolic Execution Engine

Puts macOS in a Vagrant box

No description.

LLVM Assembler adding Debug Information at IR Level.

QuickBlox WebRTC sample for Web platform

Qemu source tree with virtio patches for xen PV guest.

Data race detector for Linux kernel modules

Reverse engineering framework in Python

This repository contains code for sample android applications.

No description.

qemu based execution tracer

No description.

Fork of Adobe/Mozilla lightweight library for generating machine code from C++

gc

Python-Twitter

DynamoRIO for ARM

No description.

OS161 Source code for ECE344

Fast Binary Translator for the Kernel

Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.

The report for the parallel programming project