Alternatives and similar repositories for clang-alloc-free-checker

Users that are interested in clang-alloc-free-checker are comparing it to the libraries listed below

• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• CAST-projects / Clang-ast-viewer
  Clang AST viewer
  ☆64Updated 8 years ago
• 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 2 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 2 weeks ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 11 months ago
• avast / capstone-dumper
  Utility for dumping all the information Capstone has on given instructions.
  ☆23Updated 3 years ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆22Updated 7 years ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 5 years ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• awruef / find-heartbleed
  clang checker to find heartbleed
  ☆86Updated 11 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 11 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• uNetworking / libEpollFuzzer
  Tool for findings bugs in epoll-based Linux servers
  ☆31Updated 4 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last week
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆34Updated 2 months ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 12 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆33Updated 7 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆37Updated 8 years ago