Giters
ajax4sec

ajax4sec

Geek Repo

23

followers

99

following

886

stars

Company:Institute of Software Chinese Academy of Sciences

Home Page:https://ajax4sec.github.io/

Twitter:@ajiaiscas

Github PK Tool:Github PK Tool

ajax4sec's starred repositories

navex

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

MalwLess

Test Blue Team detections without running any attack.

Language:C#License:GPL-3.0Stargazers:271Issues:0Issues:0

ml4se

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

Stargazers:681Issues:0Issues:0

bsod-kernel-fuzzing

BSOD: Binary-only Scalable fuzzing Of device Drivers

Language:CStargazers:156Issues:0Issues:0

qiling

A True Instrumentable Binary Emulation Framework

Language:PythonLicense:GPL-2.0Stargazers:5140Issues:0Issues:0

popkorn-artifact

Language:PythonLicense:MITStargazers:59Issues:0Issues:0

windows-kernel-exploits

windows-kernel-exploits Windows平台提权漏洞集合

Language:CLicense:MITStargazers:8095Issues:0Issues:0

NTFuzz

NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)

Language:F#License:MITStargazers:96Issues:0Issues:0

FirmSolo

Language:PythonLicense:MITStargazers:18Issues:0Issues:0

Callisto

Callisto - An Intelligent Binary Vulnerability Analysis Tool

Language:PythonStargazers:354Issues:0Issues:0

bindiff

Quickly find differences and similarities in disassembled code

Language:JavaLicense:Apache-2.0Stargazers:2245Issues:0Issues:0

SelectFuzz

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

apicraft

Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".

Language:Objective-C++Stargazers:63Issues:0Issues:0

fgo

FGo: A Directed Grey-box Fuzzer with Probabilistic Exponential cut-the-loss Strategies

Language:CStargazers:5Issues:0Issues:0

KLAUS

A framework to test the correctness of the Linux kernel patch.

Language:GoLicense:Apache-2.0Stargazers:21Issues:0Issues:0

viper

A tool for automatically identifying syscall-guard variables

Language:CLicense:MITStargazers:32Issues:0Issues:0

unibench

20 benchmark programs

Language:ShellStargazers:45Issues:0Issues:0

mutation-fuzzer

TL;DR: Mutate a binary to identify potential exploit candidates

Language:CLicense:GPL-2.0Stargazers:12Issues:0Issues:0

Evocatio

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

fuzzdrivergpt

A GPT-Based Fuzz Driver Generator

Language:PythonLicense:NOASSERTIONStargazers:46Issues:0Issues:0

Rubick

Fuzz drivers are essential for fuzzing library APIs. However, manually composing fuzz drivers is difficult and time consuming. That's why we propose Rubick, which is an automata-based fuzz driver gen for library APIs.

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

actor

Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)

Language:GoStargazers:29Issues:0Issues:0

StateFuzz

StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing

Language:C++Stargazers:92Issues:0Issues:0

Beacon_artifact

Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"

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

Titan

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

Language:ShellStargazers:46Issues:0Issues:0

SEmu-Fuzz

Source code of SEmu-Fuzz

Language:PythonLicense:Apache-2.0Stargazers:19Issues:0Issues:0

Futag

FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек

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

autofz

autofz: Automated Fuzzer Composition at Runtime

Language:CLicense:MITStargazers:76Issues:0Issues:0

tlspuffin

A Dolev-Yao-model-guided fuzzer for TLS

Language:RustLicense:Apache-2.0Stargazers:133Issues:0Issues:0

kernel-visual-analysis

An interactive tool for the analysis of Linux kernel functions dependencies - Roma Tre University & Red Hat

Language:JavaScriptStargazers:1Issues:0Issues:0