winter2020/kleespectre external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

winter2020/kleespectre

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/winter2020/kleespectre)

Close

winter2020 / kleespectreView on GitHubMore

• External links
• Readme badge

KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

☆36Feb 28, 2020Updated 6 years ago

Alternatives and similar repositories for kleespectre

Users that are interested in kleespectre are comparing it to the libraries listed below

• Darkabode / possessor

  View on GitHub
  User-mode part of Zerokit platform
  ☆22Mar 30, 2019Updated 6 years ago
• winter2020 / oo7

  View on GitHub
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆34Oct 16, 2020Updated 5 years ago
• yifengchen-cc / AFLplusplusSmart

  View on GitHub
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆11Oct 20, 2020Updated 5 years ago
• binsec / haunted

  View on GitHub
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Oct 19, 2023Updated 2 years ago
• Proteas / afl-swift

  View on GitHub
  use afl to fuzz swift program
  ☆24Nov 3, 2017Updated 8 years ago
• vernamlab / FastSpec

  View on GitHub
  FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings
  ☆13Apr 12, 2023Updated 2 years ago
• dvm-system / tsar

  View on GitHub
  TSAR (Traits Static AnalyzeR)
  ☆15May 3, 2024Updated last year
• JeffJerseyCow / qemu2drcov

  View on GitHub
  QEMU to drcov trace file
  ☆11Nov 21, 2020Updated 5 years ago
• dro / dell-flash64w-eop

  View on GitHub
  Escalation of privilege exploit for Dell BIOS flasher (Flash64W) (2017)
  ☆13Dec 7, 2020Updated 5 years ago
• JaanusKaapPublic / BlogHyperV

  View on GitHub
  Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/
  ☆58Jun 21, 2020Updated 5 years ago
• s0i37 / winafl_inmemory

  View on GitHub
  WINAFL for blackbox in-memory fuzzing (PIN)
  ☆47Jul 2, 2019Updated 6 years ago
• tsarpaul / RpcEnumIDA

  View on GitHub
  XPN's RpcEnum but based on IDA instead of Ghidra
  ☆21Aug 17, 2019Updated 6 years ago
• vusec / dangzero

  View on GitHub
  ☆18Sep 4, 2023Updated 2 years ago
• maldiohead / CVE-2019-8540

  View on GitHub
  Kernel Stack info leak at exportObjectToClient function
  ☆42May 21, 2019Updated 6 years ago
• sslab-gatech / DIE-corpus

  View on GitHub
  Corpus set used by DIE
  ☆41May 20, 2020Updated 5 years ago
• daeken / dylibify

  View on GitHub
  Transform any ARM macho executable to a dynamic library
  ☆23Mar 19, 2020Updated 5 years ago
• RICSecLab / AFLplusplus-cs

  View on GitHub
  ☆19Dec 28, 2021Updated 4 years ago
• AFLplusplus / libafl_qemu_artifacts

  View on GitHub
  ☆28Apr 18, 2024Updated last year
• eurecom-s3 / dissecting_afl

  View on GitHub
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Oct 3, 2022Updated 3 years ago
• evan-brass / wasm-sym

  View on GitHub
  Symbolic Execution for WebAssembly
  ☆10Jun 10, 2018Updated 7 years ago
• zhuhuibeishadiao / exploit-RemoteDesktopServerDriver

  View on GitHub
  exploit termdd.sys(support kb4499175)
  ☆61Jul 15, 2019Updated 6 years ago
• DragonQuestHero / YouDontNeedInstallWDK

  View on GitHub
  You don't need install any wdk for development kernel driver
  ☆24Jul 20, 2018Updated 7 years ago
• OleksiiOleksenko / SpecFuzz

  View on GitHub
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆46Aug 25, 2021Updated 4 years ago
• jacob-baines / jit_obfuscation_poc

  View on GitHub
  Using GNU lightning to generate xor deobfuscation at runtime
  ☆27Aug 22, 2017Updated 8 years ago
• 9176324 / SyscallTable

  View on GitHub
  ☆34Jul 28, 2018Updated 7 years ago
• Proteas / do_not_dbg_me

  View on GitHub
  do not debug me
  ☆11Jun 26, 2019Updated 6 years ago
• patchloc / VulnLoc

  View on GitHub
  ☆12Jun 8, 2021Updated 4 years ago
• blaquee / DbgFlashVul

  View on GitHub
  DbgFlashVul
  ☆12Sep 8, 2015Updated 10 years ago
• 55-AA / fetch_syscalls

  View on GitHub
  An IdaPython tool for getting syscall's ID and function name from ntdll.dll, user32.dll, and so on.
  ☆13Oct 2, 2016Updated 9 years ago
• S2E / guest-tools

  View on GitHub
  Tools that run inside the guest
  ☆11Jan 2, 2020Updated 6 years ago
• Zero-Tang / virtchk

  View on GitHub
  Confirms the capability of Hardware-Accelerated Virtualization Technology.
  ☆10Updated this week
• SihyunYou / Tangu

  View on GitHub
  L'application pour bloquer un paquet, snipping, analyser le réseau
  ☆11Dec 23, 2016Updated 9 years ago
• mdelaney / rust-binary-analysis

  View on GitHub
  This is a project I'm using to learn Rust and binary analysis.
  ☆11Jan 20, 2022Updated 4 years ago
• ioncodes / dlsym_hook

  View on GitHub
  Instrumenting a binary without source code to bypass anti-debug checks
  ☆38Sep 25, 2021Updated 4 years ago
• 0xcpu / exthost

  View on GitHub
  A POC for Windows Extension Host hooking
  ☆24Jul 13, 2019Updated 6 years ago
• Proteas / ios-class-tree

  View on GitHub
  ios kernel class tree
  ☆23May 30, 2019Updated 6 years ago
• zhuhuibeishadiao / PatchGuardResearch

  View on GitHub
  win10 pgContext dynamic dump (btc version)
  ☆110Jan 15, 2020Updated 6 years ago
• IgorKorkin / AllMemPro

  View on GitHub
  AllMemPro
  ☆46Jan 15, 2018Updated 8 years ago
• depletionmode / VirtualAllocSecure

  View on GitHub
  ☆18Feb 6, 2019Updated 7 years ago