Alternatives and similar repositories for pylstar:

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

• ericpony / z3py-tutorial
  ☆143Updated last year
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆212Updated this week
• klee / klee-web
  KLEE in the browser
  ☆51Updated 7 months ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆91Updated 6 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 9 years ago
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆24Updated 9 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆66Updated 5 years ago
• JHUAPL / ALLSTAR
  Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…
  ☆28Updated 3 years ago
• axt / bingraphvis
  ☆43Updated 2 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• GDATAAdvancedAnalytics / r2graphity
  Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators
  ☆31Updated 8 years ago
• vlab-cs-ucsb / ABC
  ☆27Updated 4 months ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated last month
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 5 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆113Updated 7 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆45Updated 3 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆65Updated 10 years ago
• d0c-s4vage / gramfuzz
  gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.
  ☆256Updated 4 years ago
• mast-group / api-mining
  Probabilistic API Mining
  ☆53Updated 7 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆84Updated 7 months ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆42Updated 8 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆63Updated 3 years ago
• kevinkoo001 / ropf
  Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack
  ☆25Updated 8 years ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 7 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• srndic / mimicus
  A library for adversarial classifier evasion
  ☆40Updated 10 years ago