x2018

x2018's Stars

• csmith-project/creduce

  C-Reduce, a C and C++ program reducer

  Language:C++1.2k122

• google/libprotobuf-mutator

  Library for structured fuzzing with protobuffers

  Language:C++576114

• Samsung/UTopia

  UT based automated fuzz driver generation

  Language:C++16426

• travitch/whole-program-llvm

  A wrapper script to build whole-program LLVM bitcode files

  Language:Python679124

• lifting-bits/remill

  Library for lifting machine code to LLVM bitcode

  Language:C++1.3k143

• eurecom-s3/symcc

  SymCC: efficient compiler-based symbolic execution

  Language:C++776135

• 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.

  Language:C++3.5k527

• x2018/apicad_public

  An experimental tool for API misuse detection.

  Language:Rust51

• apicad1/artifact

  Language:C21

• google/honggfuzz

  Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

  Language:C3k511

• hgarrereyn/GraphFuzz

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

  Language:C24925

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml14.9k2k

• stanfordnlp/stanza

  Stanford NLP Python library for tokenization, sentence segmentation, NER, and parsing of many human languages

  Language:Python7.2k885

• 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!

  Language:C4.9k1k

• SunHao-0/healer

  Kernel fuzzer inspired by Syzkaller.

  Language:Rust26143

• hksecurity/FuzzBuilder

  Language:Dockerfile4717

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.5k1.1k

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM27.8k11.5k

• HexHive/FuzzGen

  Language:C++29353

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java50.4k5.8k

• x2018/Voice_assistant_Xiao_Er

  一个简单的语音助手框架实现，唤醒词为：“嘿 小二”。(rasa以及自训练的部分遗失了，在框架上适配了对开放平台接口的调用，可根据本地训练的模型对robot中对应功能进行扩展、替换)

  Language:Python2110

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k434

• Ericsson/codechecker

  CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

  Language:Python2.2k368

• dynup/kpatch

  kpatch - live kernel patching

  Language:C1.5k302

• brightmart/text_classification

  all kinds of text classification models and more with deep learning

  Language:Python7.8k2.6k

• torvalds/linux

  Linux kernel source tree

  Language:C178k53.1k

• x2018/GTSP_Heuristics

  使用四种基本启发式算法(模拟退火、禁忌搜索、遗传算法与蚁群算法)求解广义旅行商(广义TSP/GTSP)问题。

  Language:Python526

• qazbnm456/awesome-cve-poc

  ✍️ A curated list of CVE PoCs.

  3.3k720

• PLSysSec/haybale

  Symbolic execution of LLVM IR with an engine written in Rust

  Language:Rust52424

• 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

  Language:C35.3k6.4k