kumarak Goto Github PK
Type: User
Company: Trail of Bits
Location: Canada
Type: User
Company: Trail of Bits
Location: Canada
Automatic verification of LLVM optimizations
This repository contains code for sample android applications.
windows kernel security development
A framework for instrumenting build tools
Fast Binary Translator for the Kernel
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 disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.
A tool written in python to play with dex/odex files
[LLVM Static Slicer] Dependence graph for programs. A set of generic program analyses and a static slicer for LLVM bitcode.
DynamoRIO for ARM
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
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.
A Linux kernel module instrumentation framework, Developed as an extension of DrK (Dynamorio Kernel).
A vulnerability scanner for container images and filesystems
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
A fuzzer for full VM kernel/driver targets
KLEE Symbolic Execution Engine
The fastest Intel-PT decoder for fuzzing
A Coverage Explorer for Reverse Engineers
LLVM Assembler adding Debug Information at IR Level.
SentinelOne Log Sanitizer. Removes CUI from log files.
Puts macOS in a Vagrant box
x86 to LLVM bitcode translation framework
Reverse engineering framework in Python
A staging ground for MLIR dialects and tools.
Fork of Adobe/Mozilla lightweight library for generating machine code from C++
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.