kumarak Goto Github PK

abigen

alive2

Automatic verification of LLVM optimizations

androidapp

This repository contains code for sample android applications.

awesome-windows-kernel-security-development

windows kernel security development

blight

A framework for instrumenting build tools

btkernel

Fast Binary Translator for the Kernel

buildroot

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.

capstone

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.

debugger

dexanalyzer

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

dg

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

dynamorio-arm

DynamoRIO for ARM

evilginx2

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

gc

gc

grail-plus

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.

granary-drk

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

grype

A vulnerability scanner for container images and filesystems

ikos

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

iot

kafl

A fuzzer for full VM kernel/driver targets

klee

KLEE Symbolic Execution Engine

libxdc

The fastest Intel-PT decoder for fuzzing

lighthouse

A Coverage Explorer for Reverse Engineers

llvm-dbas

LLVM Assembler adding Debug Information at IR Level.

logsanitizer

SentinelOne Log Sanitizer. Removes CUI from log files.

macinbox

Puts macOS in a Vagrant box

mcsema

x86 to LLVM bitcode translation framework

miasm

Reverse engineering framework in Python

mlir-extensions

A staging ground for MLIR dialects and tools.

nanojit

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