Giters
Martin Mirchev (Marti2203)

Marti2203

Geek Repo

37

followers

54

following

56

stars

Location:Singapore, Singapore

Github PK Tool:Github PK Tool

Martin Mirchev's starred repositories

serenity

The Serenity Operating System 🐞

Language:C++License:BSD-2-ClauseStargazers:30425Issues:350Issues:4182

ladybird

Truly independent web browser

Language:C++License:BSD-2-ClauseStargazers:19756Issues:134Issues:367

guidance

A guidance language for controlling large language models.

Language:Jupyter NotebookLicense:MITStargazers:18739Issues:117Issues:527

codeql

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

Language:CodeQLLicense:MITStargazers:7529Issues:234Issues:2215

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:7484Issues:186Issues:1928

WebGoat

WebGoat is a deliberately insecure application

Language:JavaScriptLicense:NOASSERTIONStargazers:6885Issues:211Issues:694

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2884Issues:79Issues:2720

auto-code-rover

A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 30.67% tasks (pass@1) in SWE-bench lite and 38.40% tasks (pass@1) in SWE-bench verified with each task costs less than $0.7.

Language:PythonLicense:NOASSERTIONStargazers:2656Issues:31Issues:38

FuzzingPaper

Recent Fuzzing Paper

License:MITStargazers:2391Issues:153Issues:13

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustLicense:NOASSERTIONStargazers:1554Issues:21Issues:475

windows-drivers-rs

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

Language:RustLicense:Apache-2.0Stargazers:1475Issues:37Issues:57

LeetCode

💡 LeetCode in C++20/Java/Python/MySQL/TypeScript (respect coding conventions)

Language:C++License:MITStargazers:1103Issues:29Issues:0

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:1008Issues:35Issues:2588

e9patch

A powerful static binary rewriting tool

Language:CLicense:GPL-3.0Stargazers:965Issues:20Issues:63

aflnet

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

Language:CLicense:Apache-2.0Stargazers:854Issues:22Issues:94

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++License:GPL-3.0Stargazers:776Issues:24Issues:93

boogie

Boogie

Language:BoogieLicense:MITStargazers:506Issues:31Issues:271

virtme-ng

Quickly build and run kernels inside a virtualized snapshot of your live system

Language:PythonLicense:GPL-2.0Stargazers:353Issues:11Issues:46

EnvFuzz

Fuzz anything with Program Environment Fuzzing

Language:C++License:GPL-3.0Stargazers:326Issues:5Issues:2

ChatAFL

Large Language Model guided Protocol Fuzzing (NDSS'24)

Language:CLicense:Apache-2.0Stargazers:257Issues:4Issues:13

crab

A library for building abstract interpretation-based analyses

Language:C++License:Apache-2.0Stargazers:230Issues:12Issues:41

Lucid

An educational Bochs-based snapshot fuzzer project

Language:RustStargazers:145Issues:7Issues:0

gzoltar

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

Language:JavaLicense:NOASSERTIONStargazers:76Issues:8Issues:55

ruzzy

A coverage-guided fuzzer for pure Ruby code and Ruby C extensions

Language:RubyLicense:AGPL-3.0Stargazers:76Issues:6Issues:15

flacoco

FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513

Language:JavaLicense:MITStargazers:28Issues:7Issues:87

libspot

Born to flag outliers

Language:CLicense:LGPL-3.0Stargazers:24Issues:3Issues:8

fauxpy

An automated fault localization tool for Python programs.

Language:PythonLicense:MITStargazers:21Issues:0Issues:0

f1x

Efficient patch generation engine for C/C++ programs

Language:C++License:GPL-3.0Stargazers:18Issues:16Issues:7

github-box-maker

Renders markdown into github-style html.

Language:HTMLStargazers:1Issues:0Issues:0

pp2-assembler

An open-source assembler for the PP2 processor

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0