Alternatives and similar repositories for antlr4_bash

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

• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆38Updated 7 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆54Updated 2 months ago
• jhuapl-saralab / tracer
  Recursive process fork/exec tracing for Linux systems using ptrace()
  ☆21Updated 4 months ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 6 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆52Updated 6 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆108Updated 4 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆60Updated 2 months ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆36Updated 4 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆13Updated 9 years ago
• endplay / omniplay
  Arnold source code
  ☆47Updated 7 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆118Updated 8 years ago
• radareorg / radare
  advanced unix-like hexadecimal editor and debugger
  ☆40Updated 2 years ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆337Updated last year
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• vlab-cs-ucsb / LibStranger
  ☆12Updated 10 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆53Updated 12 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 10 years ago
• nccgroup / TriforceOpenBSDFuzzer
  System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)
  ☆46Updated 8 years ago
• eth-sri / EventRacer
  A race detection tool for event driven applications.
  ☆19Updated 10 years ago
• vusec / pandacap
  A framework for streamlining the capture of PANDA execution traces.
  ☆57Updated 5 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 11 years ago
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 9 years ago
• rieck / derrick
  A Simple Network Stream Recorder
  ☆35Updated 6 years ago
• neuroo / equip
  Python bytecode instrumentation library
  ☆121Updated 9 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆73Updated last month
• jasantunes / reverx
  A protocol reverse engineer tool written in java.
  ☆30Updated 9 years ago