Alternatives and similar repositories for cclyzer-souffle

Users that are interested in cclyzer-souffle are comparing it to the libraries listed below

• vandaltool / vandalir

  View on GitHub
  ☆26Sep 21, 2022Updated 3 years ago
• trailofbits / tourniquet

  View on GitHub
  A Python library for easy and fast program transformation/repair
  ☆15Oct 26, 2021Updated 4 years ago
• plast-lab / cclyzer

  View on GitHub
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Oct 2, 2020Updated 5 years ago
• trtikm / Rebours

  View on GitHub
  A framework for control-flow recovery in binary programs.
  ☆10Jul 11, 2018Updated 7 years ago
• langston-barrett / souffle-lint

  View on GitHub
  A linter for Soufflé Datalog
  ☆16Apr 1, 2024Updated last year
• jplevyak / ifa

  View on GitHub
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated this week
• Vector35 / generate_assembler

  View on GitHub
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38May 11, 2020Updated 5 years ago
• Trustonic / trustonic-tee-driver

  View on GitHub
  Android driver for the Trusted Execution Environment <t-base
  ☆12Sep 29, 2015Updated 10 years ago
• sancus-tee / tutorial-dsn18

  View on GitHub
  Building Distributed Enclave Applications with Sancus and SGX
  ☆16Dec 9, 2020Updated 5 years ago
• puppet-meteor / SmartSeed

  View on GitHub
  SmartSeed
  ☆10Nov 4, 2018Updated 7 years ago
• jdaridis / souffle-lsp-plugin

  View on GitHub
  Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
  ☆15Sep 30, 2023Updated 2 years ago
• SyzTrust / syztrust

  View on GitHub
  SyzTrust's main repository. Start here to install.
  ☆19Feb 29, 2024Updated last year
• trailofbits / KRFAnalysis

  View on GitHub
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆38Oct 12, 2022Updated 3 years ago
• MCUSec / para-rehosting

  View on GitHub
  ☆18Dec 16, 2024Updated last year
• sheabot / binwalk-docker

  View on GitHub
  Docker container with all extra tools installed to get the most out of binwalk
  ☆20Dec 17, 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
• yueyuep / acfg

  View on GitHub
  Extracting the ACFG feature of each function from the binary file based on angr
  ☆20Mar 21, 2019Updated 6 years ago
• lvtao-sec / Advance

  View on GitHub
  RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection
  ☆18Oct 5, 2021Updated 4 years ago
• seahorn / llvm-dsa

  View on GitHub
  LLVM DSA fork for SeaHorn
  ☆21Aug 17, 2019Updated 6 years ago
• davidtr1037 / chopper

  View on GitHub
  KLEE / CSE Project
  ☆48Apr 3, 2020Updated 5 years ago
• paradise-fi / divine

  View on GitHub
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Mar 21, 2021Updated 4 years ago
• Vector35 / function_detection_test_suite

  View on GitHub
  suite of binaries used to test function identification
  ☆28Nov 7, 2017Updated 8 years ago
• vhscampos / range-analysis

  View on GitHub
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Oct 8, 2019Updated 6 years ago
• diewufeihong / SLIME

  View on GitHub
  SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…
  ☆20Feb 23, 2023Updated 2 years ago
• zjuchenyuan / gfuzz

  View on GitHub
  Directed fuzzing framework for gVisor.
  ☆26Oct 26, 2023Updated 2 years ago
• jrozner / synfuzz

  View on GitHub
  ☆27Nov 30, 2018Updated 7 years ago
• ernw / binja-ipython

  View on GitHub
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Jun 27, 2018Updated 7 years ago
• luc-tielen / souffle-haskell

  View on GitHub
  Haskell bindings for the Souffle datalog language
  ☆104May 16, 2024Updated last year
• SynapseOrg / neuron-releases

  View on GitHub
  The Synapse Neuron Wallet - Binary Releases
  ☆15Dec 17, 2018Updated 7 years ago
• lifting-bits / cxx-common

  View on GitHub
  Common dependency management for various Trail of Bits C++ codebases
  ☆34Jun 17, 2024Updated last year
• HarvardPL / formulog

  View on GitHub
  Datalog with support for SMT queries and first-order functional programming
  ☆165Feb 3, 2026Updated last week
• cmu-sei / pharos-demangle

  View on GitHub
  Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.
  ☆33Jun 25, 2020Updated 5 years ago
• thestr4ng3r / llvm-dbas

  View on GitHub
  LLVM Assembler adding Debug Information at IR Level.
  ☆33Oct 31, 2018Updated 7 years ago
• static-analysis-engineering / CodeHawk-C

  View on GitHub
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆31Feb 3, 2026Updated last week
• langston-barrett / treeedb

  View on GitHub
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆80Feb 7, 2026Updated last week
• lifting-bits / dds

  View on GitHub
  Dr. Disassembler
  ☆37Jan 5, 2022Updated 4 years ago
• kcc / fuzzing-with-sanitizers

  View on GitHub
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆29Sep 24, 2015Updated 10 years ago
• tracer-x / TracerX

  View on GitHub
  TracerX Symbolic Virtual Machine
  ☆32Sep 24, 2025Updated 4 months ago
• Mogball / declarative-mlir-compiler

  View on GitHub
  Declarative MLIR compilers in Python!
  ☆36Oct 9, 2020Updated 5 years ago