Zach (onezibo)

onezibo

Geek Repo

Company:UESTC -> UCAS

Location:Beijing

Github PK Tool:Github PK Tool

Zach's starred repositories

llm-action

本项目旨在分享大模型相关技术原理以及实战经验。

Language:HTMLLicense:Apache-2.0Stargazers:8237Issues:0Issues:0

BinGo

The Implementation of BinGo model (Published on AisaCCS 2024).

Language:PythonStargazers:3Issues:0Issues:0

CNEPS-public

Public version of CNEPS

Language:PythonLicense:MITStargazers:15Issues:0Issues:0

PromptFuzz

PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.

Language:RustStargazers:154Issues:0Issues:0

LibvDiff-public

The official implementation of LibvDiif, a paper accepted by ICSE 2024.

Language:PythonLicense:CC-BY-4.0Stargazers:9Issues:0Issues:0

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

Language:PythonLicense:MITStargazers:669Issues:0Issues:0

ghcc

GitHub Cloner & Compiler

Language:PythonStargazers:54Issues:0Issues:0

GraphFuzz

GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.

Language:CLicense:MITStargazers:247Issues:0Issues:0

UTopia

UT based automated fuzz driver generation

Language:C++License:Apache-2.0Stargazers:162Issues:0Issues:0

sparrow

A static analyzer for building callgraphs of C/C++ programs

Language:C++Stargazers:3Issues:0Issues:0
Language:PythonStargazers:62Issues:0Issues:0

CVEfixes

CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

Language:PythonLicense:NOASSERTIONStargazers:174Issues:0Issues:0
License:Apache-2.0Stargazers:28Issues:0Issues:0

LTL-Fuzzer

Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

Language:CLicense:Apache-2.0Stargazers:50Issues:0Issues:0
Language:CStargazers:76Issues:0Issues:0

py-spy

Sampling profiler for Python programs

Language:RustLicense:MITStargazers:12256Issues:0Issues:0

lava

LAVA: Large-scale Automated Vulnerability Addition

Language:C++License:NOASSERTIONStargazers:355Issues:0Issues:0
Language:PythonLicense:MITStargazers:8Issues:0Issues:0

CodeFuse-Query

Query-Based Code Analysis Engine

Language:JavaLicense:Apache-2.0Stargazers:180Issues:0Issues:0
Language:CLicense:Apache-2.0Stargazers:9Issues:0Issues:0

uacatcher-repo

uacatcher open source repo

Language:PythonLicense:MITStargazers:17Issues:0Issues:0

invscov

The Use of Likely Invariants as Feedback for Fuzzers

Language:CLicense:Apache-2.0Stargazers:84Issues:0Issues:0

predictive-cs-fuzzing

Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper

Language:C++Stargazers:19Issues:0Issues:0

ML-For-Beginners

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

Language:HTMLLicense:MITStargazers:68526Issues:0Issues:0

Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Language:C++License:Apache-2.0Stargazers:918Issues:0Issues:0

SourcererCC

Sourcerer's Code Clone project

Language:JavaLicense:GPL-3.0Stargazers:199Issues:0Issues:0

Hopper

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

Language:RustLicense:NOASSERTIONStargazers:221Issues:0Issues:0

vuzzer64

This implements a 64-bit version of vusec/vuzzer fuzzing tool.

Language:C++License:Apache-2.0Stargazers:174Issues:0Issues:0

nautilus

A grammar based feedback Fuzzer

Language:PythonLicense:MITStargazers:417Issues:0Issues:0