Alexey Vishnyakov's repositories
msu-thesis
Lomonosov Moscow State University (MSU) LaTeX Thesis Template
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
casr
Collect crash reports, triage, and estimate severity.
Awesome-Fuzzing
A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
capstone
Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.
cyclonedx-gomod
Creates CycloneDX Software Bill of Materials (SBOM) from Go modules
dynamic-analysis
⚙️ A curated list of dynamic analysis tools for all programming languages, binaries, and more.
dynamorio
Dynamic Instrumentation Tool Platform
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
FuzzingPaper
Recent Fuzzing Paper
gdb-command
Library for manipulating gdb in batch mode
goblin
An impish, cross-platform binary parsing crate, written in Rust
K-Scheduler
A generic seed scheduler for fuzzers(LibFuzzer and AFL) and concolic execution engine(qsym).
libpcap
the LIBpcap interface to various kernel packet capture mechanism
Little-CMS
A free, open source, CMM engine. It provides fast transforms between ICC profiles.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
lua-c-api-tests
Lua C API tests
nasm
A cross-platform x86 assembler with an Intel-like syntax
oneDNN
oneAPI Deep Neural Network Library (oneDNN)
OpenCorePkg
OpenCore bootloader
osquery
SQL powered operating system instrumentation, monitoring, and analytics.
oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
symbolic-execution-papers
Recent symbolic execution papers and tools.
tarantool
Get your data in RAM. Get compute close to data. Enjoy the performance.
tensorflow
An Open Source Machine Learning Framework for Everyone
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.
unittest-parallel
Parallel unit test runner for Python with coverage support
Website
the AFL++ website