x2018's Stars
csmith-project/creduce
C-Reduce, a C and C++ program reducer
google/libprotobuf-mutator
Library for structured fuzzing with protobuffers
Samsung/UTopia
UT based automated fuzz driver generation
travitch/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
lifting-bits/remill
Library for lifting machine code to LLVM bitcode
eurecom-s3/symcc
SymCC: efficient compiler-based symbolic execution
JonathanSalwan/Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
x2018/apicad_public
An experimental tool for API misuse detection.
apicad1/artifact
google/honggfuzz
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
hgarrereyn/GraphFuzz
GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
stanfordnlp/stanza
Stanford NLP Python library for tokenization, sentence segmentation, NER, and parsing of many human languages
AFLplusplus/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
SunHao-0/healer
Kernel fuzzer inspired by Syzkaller.
hksecurity/FuzzBuilder
angr/angr
A powerful and user-friendly binary analysis platform!
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
HexHive/FuzzGen
NationalSecurityAgency/ghidra
Ghidra is a software reverse engineering (SRE) framework
x2018/Voice_assistant_Xiao_Er
一个简单的语音助手框架实现,唤醒词为:“嘿 小二”。(rasa以及自训练的部分遗失了,在框架上适配了对开放平台接口的调用,可根据本地训练的模型对robot中对应功能进行扩展、替换)
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
Ericsson/codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
dynup/kpatch
kpatch - live kernel patching
brightmart/text_classification
all kinds of text classification models and more with deep learning
torvalds/linux
Linux kernel source tree
x2018/GTSP_Heuristics
使用四种基本启发式算法(模拟退火、禁忌搜索、遗传算法与蚁群算法)求解广义旅行商(广义TSP/GTSP)问题。
qazbnm456/awesome-cve-poc
✍️ A curated list of CVE PoCs.
PLSysSec/haybale
Symbolic execution of LLVM IR with an engine written in Rust
curl/curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features