BinYu-Xidian-University

BinYu-Xidian-University's Stars

• u1f383/fuzzing-learning-in-30-days

  31332

• SecurityLab-UCD/LLAMAFUZZ

  Fine-tuning a LLM for generating the structured data

  Language:Python91

• FreeRTOS/FreeRTOS-Kernel

  FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

  Language:C2.7k1.1k

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k436

• MultiFuzz/MultiFuzz

  MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware

  Language:Rust211

• shaowei-cai-group/EasySAT

  A Simple CDCL Solver

  Language:C++236

• google/syzkaller

  syzkaller is an unsupervised coverage-guided kernel fuzzer

  Language:Go5.3k1.2k

• seclab-ucr/LLift

  The source code of project "LLift" (Enhancing static analysis with LLM)

  Language:Python477

• PromptFuzz/PromptFuzz

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

  Language:Rust17816

• pmarcelino/camoes

  Automated essay scoring system using Large Language Models (LLMs).

  Language:Python4

• fuzz4all/fuzz4all

  🌌️Fuzz4All: Universal Fuzzing with Large Language Models

  Language:Python16524

• ChatAFLndss/ChatAFL

  Large Language Model guided Protocol Fuzzing (NDSS'24)

  Language:C25827

• casys-kaist/segfuzz

  Language:C274

• havrikov/covering-input-structure

  Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019

  Language:Python91

• binary-husky/gpt_academic

  为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

  Language:Python64.4k8k

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++826260

• Tricker-z/CoFuzz

  ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode

  Language:C456

• zyw-200/FirmAFL

  FIRM-AFL is the first high-throughput greybox fuzzer for IoT firmware.

  Language:C43190

• thufv/Deagle

  Language:SWIG153

• chenruibuaa/racebench

  Examples for NASAC 2019 interrupt race detection competition

  Language:C96

• google/AFL

  american fuzzy lop - a security-oriented fuzzer

  Language:C3.6k629

• DynamoRIO/dynamorio

  Dynamic Instrumentation Tool Platform

  Language:C2.6k557

• googleprojectzero/winafl

  A fork of AFL for fuzzing Windows binaries

  Language:C2.3k532

• ALEX-YRDM/Software_Engineering_Books

  285

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2k150

• BinYu-Xidian-University/CPA4AV

  Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering

  Language:C3

• stuartly/FirmHybirdFuzzer

  Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware

  Language:C92

• l0o0/translators_CN

  Zotero translator中文网页抓取翻译器🎉This is Zotero translators for Chinese Sites(beta), not the official Zotero repo

  Language:JavaScript4.1k524

• microsoft/SmartKG

  This project accepts excel files as input which contains the description of a Knowledge Graph (Vertexes and Edges) and convert it into an in-memory Graph Store. This project implements APIs to search/filter/get nodes and relations from the in-memory Knowledge Graph. This project also provides a dialog management framework and enable a chatbot based on its knowledge graph.

  Language:C#40679

• ggerganov/llama.cpp

  LLM inference in C/C++

  Language:C++65.6k9.4k