Alternatives and similar repositories for NumbatUI

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

• compiler-research / idd
  A System for Differential Debugging
  ☆22Updated 10 months ago
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆50Updated last week
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆133Updated 3 months ago
• OpenSourceSourceTrail / Sourcetrail
  Sourcetrail - free and open-source interactive source explorer
  ☆210Updated 2 weeks ago
• qualcomm / eld
  Embedded Linker
  ☆223Updated this week
• securesystemslab / LLVM-MCA-Daemon
  ☆22Updated 10 months ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• quarkslab / numbat
  Library to manipulate and create Sourcetrail databases
  ☆23Updated 8 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated last week
• bkryza / clang-include-graph
  Simple tool for analyzing C++ project include graph
  ☆112Updated this week
• revng / orchestra
  rev.ng configuration for orchestra. The starting point for any development.
  ☆36Updated last month
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆36Updated 2 years ago
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆123Updated 11 months ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆125Updated this week
• google / centipede
  ☆253Updated 2 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated last year
• kc-ml2 / llvm-flow
  An open-source interactive visualization tool for comparing IR CFGs
  ☆91Updated 6 months ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆43Updated 3 weeks ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆50Updated 5 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆30Updated 8 months ago
• preames / public-notes
  A collection of (public) notes on assorted topics
  ☆79Updated 5 months ago
• google / gwpsan
  GWPSan: Sampling-Based Sanitizer Framework
  ☆332Updated 2 weeks ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆32Updated last week
• vusec / LookUB
  ☆14Updated last year
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 3 years ago
• sourcegraph / scip-clang
  ☆73Updated this week
• airbus-seclab / c-compiler-security
  Security-related flags and options for C compilers
  ☆199Updated 3 years ago
• afq984 / python-cxxfilt
  Demangling C++ symbols in Python / interface to abi::__cxa_demangle
  ☆37Updated last month
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆125Updated last month