GJDuck

GJDuck

Geek Repo

Company:National University of Singapore

Home Page:https://www.comp.nus.edu.sg/~gregory/

Github PK Tool:Github PK Tool

GJDuck's starred repositories

cosmopolitan

build-once run-anywhere c library

ffuf

Fast web fuzzer written in Go

cover-agent

CodiumAI Cover-Agent: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞

Language:PythonLicense:AGPL-3.0Stargazers:4227Issues:28Issues:66

cling

The cling C++ interpreter

Language:C++License:NOASSERTIONStargazers:3470Issues:96Issues:322

pe-sieve

Scans a given process. Recognizes and dumps a variety of potentially malicious implants (replaced/injected PEs, shellcodes, hooks, in-memory patches).

Language:C++License:BSD-2-ClauseStargazers:3051Issues:100Issues:91

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:2663Issues:31Issues:40

vmlinux-to-elf

A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

Language:PythonLicense:GPL-3.0Stargazers:1309Issues:30Issues:43

cannoli

High-performance QEMU memory and instruction tracing

Language:RustLicense:GPL-2.0Stargazers:517Issues:14Issues:11
Language:C++License:GPL-2.0Stargazers:416Issues:10Issues:8
Language:C++License:Apache-2.0Stargazers:389Issues:13Issues:12

wasabi

A dynamic analysis framework for WebAssembly programs.

Language:WebAssemblyLicense:MITStargazers:362Issues:12Issues:29

tsffs

A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS

Language:RustLicense:Apache-2.0Stargazers:275Issues:12Issues:48

tree-sitter-cpp

C++ grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:262Issues:18Issues:186

ChatAFL

Large Language Model guided Protocol Fuzzing (NDSS'24)

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

tree-sitter-c

C grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:231Issues:18Issues:140

Hopper

Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.

Language:RustLicense:NOASSERTIONStargazers:230Issues:5Issues:17

cpmpy

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

Language:PythonLicense:Apache-2.0Stargazers:219Issues:9Issues:248

BrowserBruter

BrowserBruter is a powerful web form fuzzing automation tool designed for web security professionals and penetration testers. This Python-based tool leverages Selenium and Selenium-Wire to automate web form fuzzing, making it easier to identify potential vulnerabilities in web applications.

Language:PythonLicense:MPL-2.0Stargazers:209Issues:1Issues:7

dwex

DWARF Explorer - a GUI utility for navigating the DWARF debug information

NestFuzz

A structure-aware grey box fuzzer based on modeling the input processing logic.

Language:C++License:Apache-2.0Stargazers:158Issues:3Issues:10

chuffed

The Chuffed CP solver

Language:C++License:MITStargazers:91Issues:12Issues:84

Titan

Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"

mallory

Greybox Fuzzing of Distributed Systems (CCS'23)

Language:ClojureLicense:Apache-2.0Stargazers:37Issues:3Issues:2
Language:PythonLicense:NOASSERTIONStargazers:13Issues:0Issues:0

CrashRepair

Security Vulnerability Repair via Concolic Execution and Code Mutations

SnapVuln

Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing

Language:PythonStargazers:9Issues:1Issues:0
Language:C++License:MITStargazers:4Issues:0Issues:0