A1-exe

A1-exe's Stars

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust28.3k1453061.7k

• malwaredllc/byob

  An open-source post-exploitation framework for students, researchers and developers.

  Language:Python9k3225042.1k

• google/syzkaller

  syzkaller is an unsupervised coverage-guided kernel fuzzer

  Language:Go5.5k1951k1.2k

• HyperDbg/HyperDbg

  State-of-the-art native debugging tools

  Language:C3k89158384

• joernio/joern

  Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

  Language:Scala2.2k421.1k298

• ktock/container2wasm

  Container to WASM converter

  Language:Go2.1k206987

• 0vercl0k/rp

  rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.

  Language:C++1.9k6927256

• 0xor0ne/awesome-list

  Cybersecurity oriented awesome list

  1.6k590167

• gaurangsaini/sipser-computation-3rd-solutions

  Solutions to all questions of the book Introduction to the Theory of Computation, 3rd edition by Michael Sipser

  1.4k1214237

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.2k1940749

• angr/angrop

  Language:Python624264674

• sarsko/CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  Language:Rust62181012

• aemmitt-ns/radius2

  radius2 is a fast binary emulation and symbolic execution framework using radare2

  Language:Rust595111432

• PLSysSec/haybale

  Symbolic execution of LLVM IR with an engine written in Rust

  Language:Rust539182626

• rng70/Hacking-Resources

  This repository contains some resources for ethical hackers penetration tester 😊 This may contain some files, tools, books, and links that need to be used for good purposes only. Do not do any illegal work using these sources.

  36311085

• xiw/stack

  A static checker for identifying unstable code.

  Language:C++360373056

• Gekkio/GhidraBoy

  Sharp SM83 / Game Boy extension for Ghidra

  Language:Kotlin236181118

• n132/Libc-GOT-Hijacking

  Binary Exploitation Skill. Gain RCE from arbitrary write.

  Language:Python2085116

• Kyle-Kyle/top4grep

  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)

  Language:Python1781417

• alisaesage/Pwn

  Advanced exploits that I wrote for Pwn2Own competitions and other occasions

  Language:HTML15610018

• rust-vmm/vmm-reference

  A VMM implementation based of rust-vmm components

  Language:Rust149218760

• 0vercl0k/rp-bf.rs

  rp-bf: A library to bruteforce ROP gadgets by emulating a Windows user-mode crash-dump

  Language:Rust1123210

• joernio/ghidra2cpg

  Code Property Graph (CPG) frontend for binary applications and libraries.

  Language:Scala851519

• jlgreathouse/AMD_IBS_Toolkit

  AMD Research Instruction Based Sampling Toolkit

  Language:C804117

• gamozolabs/lemonade

  A debugger for Linux in Rust

  Language:Rust78504

• mdowd79/presentations

  771108

• Kyle-Kyle/angry-FSROP

  a new class of file structure attacks

  Language:Python46114

• 0vercl0k/udmp-parser-rs

  A Rust crate for parsing Windows user minidumps.

  Language:Rust40312

• kvm-unit-tests/kvm-unit-tests

  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at GitHub will be ignored.

  Language:C243021