gbossert / pylstar

Related projects ⓘ

Alternatives and complementary repositories for pylstar

• ericpony / z3py-tutorial
  ☆141Updated last year
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆208Updated last month
• bannsec / pySym
  Python Symbolic Execution
  ☆65Updated 5 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 4 years ago
• axt / bingraphvis
  ☆42Updated 2 years ago
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆18Updated 4 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
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆91Updated 6 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆67Updated 5 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• src-d / code2vec
  MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)
  ☆40Updated 6 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆24Updated 9 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆26Updated 6 years ago
• tum-i4 / Oedipus
  A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.
  ☆11Updated 8 years ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 3 years ago
• Practical-Formal-Methods / tailor
  Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
  ☆20Updated 3 years ago
• mast-group / eqnet
  Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
  ☆36Updated 7 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆65Updated 10 years ago
• nlp-code-analysis / cross-arch-instr-model
  ☆24Updated 5 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 7 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆102Updated last year
• pcyin / dire
  Neural Variable Renaming for Decompiled Binaries
  ☆43Updated 4 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated this week
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆34Updated 6 years ago
• JHUAPL / ALLSTAR
  Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…
  ☆27Updated 3 years ago