Alternatives and similar repositories for regex-crossword-solver

Users that are interested in regex-crossword-solver are comparing it to the libraries listed below

• gereeter / hsdecomp
  A decompiler for GHC-compiled Haskell
  ☆107Updated 7 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• L4ys / LazyKLEE
  Lazy python wrapper of KLEE for solving CTF challenges
  ☆65Updated 4 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆81Updated 7 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 2 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 10 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆14Updated 8 years ago
• angr / secdev-course
  ☆20Updated 7 years ago
• MaskRay / r2cLEMENCy
  radare2 cLEMENCy plugins
  ☆24Updated 7 years ago
• elttam / canary-fun
  Code samples used for the blog post
  ☆24Updated 8 years ago
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆35Updated 6 years ago
• zTrix / magic
  WTF are those magic numbers?!!
  ☆33Updated 3 years ago
• S2E / s2e-linux-kernel
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Updated 11 months ago
• TechSecCTF / z3_splash_class
  This repo holds materials for our Splash 2017 class on Z3.
  ☆25Updated 7 years ago
• o-o-overflow / dc2019f-aoool-public
  ☆18Updated 5 years ago
• vlab-cs-ucsb / LibStranger
  ☆12Updated 9 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆57Updated 6 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• burlingpwn / writeups
  Post-CTF writeups
  ☆12Updated 8 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated 2 years ago
• decomp / doc
  Design documents related to the decompilation pipeline.
  ☆26Updated 5 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 11 years ago
• rhelmot / monkeyhex
  Automatically format python interpreter results in hex
  ☆26Updated 2 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated 5 months ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆43Updated 5 years ago
• guolong-zheng / sling
  ☆19Updated 2 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago