SweetVishnya / msu-thesisView external linksLinks
Lomonosov Moscow State University (MSU) LaTeX Thesis Template
☆22Jul 5, 2021Updated 4 years ago
Alternatives and similar repositories for msu-thesis
Users that are interested in msu-thesis are comparing it to the libraries listed below
Sorting:
- ☆12Feb 4, 2026Updated last week
- Metro navigation and accessibility☆11Feb 7, 2018Updated 8 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- Very bad port of fake86 for CP/M 2.2 (Z80 based computers like ZX Spectrum)☆11May 9, 2022Updated 3 years ago
- ☆13Jun 15, 2024Updated last year
- Fuzzing Lua runtimes without pain☆11Updated this week
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆145Jan 21, 2026Updated 3 weeks ago
- TSAR (Traits Static AnalyzeR)☆15May 3, 2024Updated last year
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated last year
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Jul 21, 2024Updated last year
- Apport intercepts Program crashes, collects debugging information about the crash and the operating system environment, and sends it to b…☆30Jan 20, 2026Updated 3 weeks ago
- Juliet C/C++ Dynamic Test Suite☆35Apr 18, 2023Updated 2 years ago
- A framework for static analysis of ROP exploits and programs☆40May 13, 2019Updated 6 years ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆39Apr 3, 2020Updated 5 years ago
- A coverage-guided, native Lua fuzzing engine.☆57Jan 23, 2026Updated 3 weeks ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Dec 20, 2024Updated last year
- Fuzz testing framework for binary programs using AI☆52Sep 13, 2023Updated 2 years ago
- Automatic fuzz targets generation for Golang packages☆55Nov 12, 2025Updated 3 months ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆75May 22, 2025Updated 8 months ago
- Challenging testcases for fuzzers☆72Mar 5, 2024Updated last year
- A multi-fuzzer management utility for all of your Rust fuzzing needs 🧑🎤☆81Feb 6, 2026Updated last week
- ☆80Nov 7, 2024Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆82Nov 2, 2022Updated 3 years ago
- CodeQL queries developed by Trail of Bits☆145Jan 14, 2026Updated 3 weeks ago
- Source code of ASAN--☆104Jun 18, 2024Updated last year
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Apr 4, 2023Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Dec 12, 2025Updated 2 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆119Oct 10, 2025Updated 4 months ago
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆112Apr 30, 2021Updated 4 years ago
- macOS notes☆117Oct 30, 2019Updated 6 years ago
- source code for savior fuzzer☆127Oct 1, 2020Updated 5 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆166Feb 16, 2025Updated 11 months ago
- A binary analysis framework written in Rust.☆175Jun 25, 2025Updated 7 months ago
- PASTIS: Collaborative Fuzzing Framework☆166Oct 12, 2025Updated 4 months ago
- Recent symbolic execution papers and tools.☆182May 16, 2025Updated 8 months ago