Alternatives and similar repositories for emacs-codeql:

Users that are interested in emacs-codeql are comparing it to the libraries listed below

• thebabush / honggfuzz-qemu
  Ditto.
  ☆17Updated 4 years ago
• cyrus-and / comb
  Interactive code auditing and grep tool in Emacs Lisp
  ☆76Updated 4 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆73Updated 2 years ago
• BinaryAnalysisPlatform / bap-frames
  Store and read traces in Protobuf
  ☆20Updated last year
• advanced-security / codeql-bundle
  CLI to build a custom CodeQL bundle
  ☆10Updated 3 weeks ago
• trailofbits / ManticoreUI-Ghidra
  ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/M…
  ☆11Updated 2 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• manateelazycat / flex
  It's a mode for flex files that provide better syntax highlight than flex-mode.el
  ☆9Updated 5 years ago
• anticomputer / emacs-capstone
  elisp bindings for the capstone disassembler
  ☆23Updated 4 years ago
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 2 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• RICSecLab / AFLplusplus-cs
  ☆18Updated 3 years ago
• zkry / yaml.el
  YAML parser in Elisp
  ☆34Updated last month
• atrosinenko / qinst
  Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code
  ☆18Updated 5 years ago
• tetrane / reven-community
  Join the REVEN community. Ask questions, talk about reverse engineering, discuss REVEN, and show off your work!
  ☆13Updated 3 years ago
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆18Updated 4 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last week
• AdamNiederer / cov
  An emacs extension for displaying coverage data on your code
  ☆87Updated 2 months ago
• d-we / binja-golang-symbol-restore
  Binary Ninja plugin for restoring function names from stripped Golang binaries
  ☆14Updated 4 years ago
• manateelazycat / voyager
  Voyager is an Emacs debugging plugin based on the DAP protocol.
  ☆24Updated last year
• ruediger / qrencode-el
  QRCode encoder for Emacs in pure elisp
  ☆34Updated 7 months ago
• gcv / org-apple-notes
  Teaching Org Mode to talk to Apple Notes
  ☆17Updated 6 years ago
• reflare / afl-monitor
  A monitoring script for AFL
  ☆39Updated 8 years ago
• csienslab-PCC / PathConstraintClassifier
  ☆9Updated 6 years ago
• ginqi7 / sideline-eldoc
  ☆14Updated 8 months ago
• xenodium / EmacsMacOSModule
  ☆26Updated 6 months ago