Marti2203

Martin Mirchev's starred repositories

dnSpy

.NET debugger and assembly editor

Language:C#26186 9900

textual

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

Language:PythonMIT24763 163 1828

zellij

A terminal workspace with batteries included

Language:RustMIT20164 107 1888

guidance

A guidance language for controlling large language models.

Language:Jupyter NotebookMIT18494 116 515

game-programmer

A Study Path for Game Programmer

Language:Python17476 803 42

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaBSD-3-Clause16856 369 2297

codeql

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

Language:CodeQLMIT7452 234 2184

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!

Language:CApache-2.04917 76 785

FuzzingPaper

Recent Fuzzing Paper

MIT2351 156 13

railroad-diagrams

:steam_locomotive: A small JS+SVG library for drawing railroad syntax diagrams, like on JSON.org. Now with a Python port!

Language:PythonMIT1639 46 59

windows-drivers-rs

Platform that enables Windows driver development in Rust. Developed by Surface.

Language:RustApache-2.01446 36 52

stegseek

:zap: Worlds fastest steghide cracker, chewing through millions of passwords per second :zap:

Language:C++GPL-2.0978 16 21

e9patch

A powerful static binary rewriting tool

Language:CGPL-3.0947 20 62

aflnet

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

Language:CApache-2.0839 22 92

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++GPL-3.0774 24 93

vscode-antlr4

ANTLR4 language support for Visual Studio Code

Language:TypeScriptMIT420 17 213

ChatAFL

Large Language Model guided Protocol Fuzzing (NDSS'24)

Language:CApache-2.0240 4 7

crab

A library for building abstract interpretation-based analyses

Language:C++Apache-2.0229 12 41

snipersim

The Sniper Multi-Core Simulator

Language:C++NOASSERTION91 3 4

Zen

Zen is a constraint solving library for .NET

Language:C#MIT84 8 8

GraphTea

The Graph Theory Software

Language:Java84 20 49

gzoltar

GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com

Language:JavaNOASSERTION76 8 55

cerberus

Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.

Language:PythonMIT62 7 85