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
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆219Updated last week
• adrianherrera / kaitai-s2e
  Code for my blog post on combining S2E and Kaitai Struct
  ☆15Updated 6 years ago
• vrthra / F1
  ☆82Updated 2 months ago
• klee / klee-web
  KLEE in the browser
  ☆52Updated last month
• ericpony / z3py-tutorial
  ☆146Updated 2 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 5 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 12 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 11 months ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• axt / bingraphvis
  ☆44Updated 3 years ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 8 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆73Updated 6 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆117Updated 8 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).
  ☆35Updated 8 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• nettrino / IntFlow
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Updated 10 years ago
• tum-i4 / Oedipus
  A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.
  ☆11Updated 9 years ago
• GDATAAdvancedAnalytics / r2graphity
  Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators
  ☆31Updated 8 years ago
• moflow / moflow
  ☆124Updated 4 years ago
• omerktz / TraFix
  Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv
  ☆39Updated 5 years ago
• squaresLab / SemanticCrashBucketing
  Semantic Crash Bucketing
  ☆15Updated 5 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆67Updated 10 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆63Updated 8 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 5 years ago
• tammok / PRISMA
  Protocol Inspection and State Machine Analysis
  ☆24Updated 7 years ago
• kcwu / afl-kit
  ☆36Updated 5 months ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆335Updated 7 years ago