gbossert / pylstar
An implementation of the LSTAR Grammatical Inference Algorithm
☆49Updated 11 months ago
Alternatives and similar repositories for pylstar:
Users that are interested in pylstar are comparing it to the libraries listed below
- KLEE / CSE Project☆43Updated 4 years ago
- Protocol Inspection and State Machine Analysis☆24Updated 6 years ago
- CoREBench: Errors in Find, Grep, Make☆14Updated 9 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆92Updated 6 years ago
- A free, open-source Java library for automata learning algorithms☆212Updated 2 weeks ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- Human-In-The-Loop Automatic Program Repair☆19Updated 5 years ago
- ☆43Updated 2 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆22Updated 3 months ago
- ☆81Updated 5 months ago
- ☆144Updated last year
- Tool for detecting error handling bugs☆22Updated 8 years ago
- Interactive Control Flow Graph Visualization.☆31Updated 3 years ago
- Synthesizing Framework Models for Symbolic Execution☆15Updated 8 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆24Updated 9 years ago
- Python Symbolic Execution☆66Updated 5 years ago
- statistical similarity of binaries (Esh)☆73Updated 8 years ago
- Constraint solver based on coverage-guided fuzzing☆241Updated last year
- ☆47Updated 4 years ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 8 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 3 years ago
- CRETE under development☆59Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- Utilities for generating dynamic traces☆90Updated 2 years ago
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- ☆11Updated 3 years ago