intel-tools / srs

Related projects: ⓘ

• intel / HBFA-FL
  ☆12Updated last week
• intel / fffc
  Easy-to-use tool which autogenerates a type-aware fuzzer from a debuggable executable.
  ☆22Updated last year
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆15Updated 2 years ago
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆16Updated 2 months ago
• pagabuc / kallsyms-extractor
  Tool to extract the kallsyms (System.map) from a memory dump
  ☆24Updated last year
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆33Updated 3 weeks ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆39Updated last year
• Agnoctopus / Tartiflette
  Snapshot fuzzing with KVM and LibAFL
  ☆93Updated 2 years ago
• nyx-fuzz / libnyx
  ☆79Updated last week
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆47Updated 2 months ago
• trailofbits / bpf_tutorials_code
  This repository contains the companion code from the "All your tracing are belong to BPF" blog posts
  ☆18Updated last year
• tlspuffin / tlspuffin
  A Dolev-Yao-model-guided fuzzer for TLS
  ☆131Updated this week
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 4 years ago
• novafacing / practical-fuzzing
  Practical fuzzing tutorials and training
  ☆26Updated 2 months ago
• Cisco-Talos / Barbervisor
  Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.
  ☆164Updated 3 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆62Updated 6 months ago
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆65Updated last week
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆74Updated 11 months ago
• 0xricksanchez / AFL_Runner
  Scaling best-practice AFLPlusPlus fuzzing campaigns made easy
  ☆47Updated 3 months ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆24Updated 5 years ago
• sfu-rsl / symrustc
  SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
  ☆8Updated last year
• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆68Updated 10 months ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆61Updated 4 years ago
• ais2397 / sys2syz
  Automate generation of syzkaller's grammar
  ☆14Updated last year
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆53Updated 4 months ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated last month
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆27Updated 2 years ago
• bitdefender / libkvmi
  KVM Virtual Machine Introspection Library
  ☆44Updated 9 months ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 3 years ago
• season-lab / sok-dbi-security
  Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Secu…
  ☆21Updated 4 years ago