Alternatives and similar repositories for pylstar

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

• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆23Updated 10 years ago
• vrthra / F1
  ☆82Updated 2 weeks ago
• ericpony / z3py-tutorial
  ☆147Updated 2 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 9 months ago
• uvasrg / EvadeML
  An evolutionary framework for evading machine learning-based malware classifiers.
  ☆110Updated 2 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆217Updated last month
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• farosato / angr-antievasion
  Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
  ☆34Updated 7 years ago
• adrianherrera / kaitai-s2e
  Code for my blog post on combining S2E and Kaitai Struct
  ☆15Updated 6 years ago
• d0c-s4vage / gramfuzz
  gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.
  ☆257Updated 4 years ago
• CIFASIS / neural-fuzzer
  ☆90Updated 9 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆71Updated 6 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆117Updated 8 years ago
• dbrumley / bitshred
  bitshred research project code.
  ☆14Updated 9 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆335Updated 7 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• klee / klee-web
  KLEE in the browser
  ☆52Updated last month
• axt / bingraphvis
  ☆44Updated 3 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• angr / fidget
  A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!
  ☆46Updated 3 years ago
• richinseattle / FuzzingPaper
  Recent Fuzzing Paper
  ☆35Updated 2 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆63Updated 7 years ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆43Updated 9 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆46Updated 9 years ago
• zardus / paper-templates
  A set of templates for different academic venues.
  ☆28Updated 6 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 5 years ago