Alternatives and similar repositories for antlr4_bash

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

• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆108Updated 4 years ago
• NationalSecurityAgency / XORSATFilter
  A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
  ☆83Updated 3 years ago
• jhuapl-saralab / tracer
  Recursive process fork/exec tracing for Linux systems using ptrace()
  ☆21Updated 4 months ago
• jasantunes / reverx
  A protocol reverse engineer tool written in java.
  ☆30Updated 9 years ago
• ShiftLeftSecurity / tinkergraph-gremlin
  ☆40Updated last month
• evilsocket / clang-ebpf-builder
  A Rust crate that simplifies the integration of Rust and eBPF programs written in C.
  ☆21Updated 4 years ago
• vusec / pandacap
  A framework for streamlining the capture of PANDA execution traces.
  ☆57Updated 5 years ago
• SatelliteApplicationsCatapult / tribble
  Coverage based JVM Fuzz testing tool.
  ☆19Updated 6 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆54Updated 2 months ago
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 9 years ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆38Updated 7 years ago
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆133Updated 8 months ago
• bblfsh / libuast
  ☆20Updated 6 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆52Updated 6 years ago
• nqn / mesos-chapel
  Cray Chapel scheduler for Apache Mesos
  ☆22Updated 11 years ago
• markoneill / ssa-daemon
  Userspace libevent2-based TLS wrapping daemon for use with the Secure Socket API
  ☆21Updated 6 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆53Updated 12 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆51Updated 5 months ago
• tmetsch / python-dtrace
  A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...
  ☆72Updated 3 years ago
• endplay / omniplay
  Arnold source code
  ☆47Updated 7 years ago
• afterburnerdb / afterburner
  Interactive SQL analytics in your browser!
  ☆22Updated 8 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆70Updated 7 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• bkase / CUDA-grep
  grep on CUDA
  ☆117Updated last year
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 6 years ago
• sdhash / sdhash
  similarity digest hashing tool
  ☆177Updated 5 years ago
• crioux / turbo-linecount
  Superfast Line Counter
  ☆51Updated 4 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 10 months ago