Alternatives and similar repositories for pylstar:

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

• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆215Updated last month
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆92Updated 7 years ago
• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆215Updated last year
• bannsec / pySym
  Python Symbolic Execution
  ☆67Updated 5 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• vrthra / F1
  ☆82Updated 7 months ago
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆23Updated 9 years ago
• nezha-dt / nezha
  Differential fuzzing for the masses!
  ☆152Updated 7 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆244Updated last year
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago
• vlab-cs-ucsb / ABC
  ☆28Updated 3 weeks ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 12 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• moflow / moflow
  ☆123Updated 4 years ago
• MartijnB / disfuzz-afl
  Distributed Fuzzing for afl
  ☆71Updated 9 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 5 months ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 7 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆115Updated 8 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆47Updated 3 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆63Updated 3 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆158Updated 5 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆246Updated 6 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• renatahodovan / fuzzinator
  Fuzzinator Random Testing Framework
  ☆191Updated 3 months ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆235Updated 2 years ago