☆12Jan 8, 2016Updated 10 years ago
Alternatives and similar repositories for LibStranger
Users that are interested in LibStranger are comparing it to the libraries listed below
Sorting:
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆57Mar 3, 2020Updated 6 years ago
- ☆29Feb 11, 2026Updated 2 weeks ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 2 years ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- Collection of CTF challenges I made☆17Apr 2, 2018Updated 7 years ago
- TriCera: a model checker for C programs☆26Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Oct 6, 2025Updated 4 months ago
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- ☆10Sep 28, 2020Updated 5 years ago
- Generate PPT via a simple summary☆13Oct 28, 2018Updated 7 years ago
- Switch between two running operating systems without losing their state.☆53Jan 2, 2026Updated 2 months ago
- 一个抓取phpinfo重要信息的小工具☆29Mar 5, 2019Updated 6 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆40Dec 14, 2022Updated 3 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆37Apr 21, 2020Updated 5 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated last month
- ☆11Nov 12, 2017Updated 8 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- ☆12Feb 2, 2024Updated 2 years ago
- An SMT Solver for string constraints☆48Feb 10, 2026Updated 3 weeks ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- DRNN with LSTM for monaural source separation☆11Mar 19, 2018Updated 7 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- A general, modular build system.☆18Aug 13, 2025Updated 6 months ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- ☆11May 24, 2022Updated 3 years ago
- ☆12Jun 14, 2017Updated 8 years ago
- 🎮 A configurable Breakout environment for reinforcement learning☆11Mar 20, 2018Updated 7 years ago
- Search models fast in Django Admin UI☆15Apr 30, 2021Updated 4 years ago
- ☆11Nov 27, 2024Updated last year
- Docker + CVE-2015-2925 = escaping from --volume☆11Jun 30, 2015Updated 10 years ago
- This project contains the challenges & writeups for LANCTF 2019☆15Mar 23, 2019Updated 6 years ago
- RFCs for standardcompletions.org☆25Jun 11, 2025Updated 8 months ago
- Helps you to pull off a padding oracle attack.☆10Oct 29, 2018Updated 7 years ago
- A library that records Emacs inter-key timings.☆10Oct 11, 2017Updated 8 years ago