HeyuanAC

HeyuanAC's Stars

• S2E/s2e

  S2E: A platform for multi-path program analysis with selective symbolic execution.

  Language:C++45590

• fgsect/unicorefuzz

  Fuzzing the Kernel Using Unicornafl and AFL++

  Language:Python29632

• trusslab/hecaton

  Language:C++8

• google/fuzzing

  Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

  Language:C++3.5k434

• error27/smatch

  Static Analyser for C

  Language:C10714

• travitch/whole-program-llvm

  A wrapper script to build whole-program LLVM bitcode files

  Language:Python698127

• lzto/pex

  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel

  Language:C++7620

• RiS3-Lab/kubo

  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detection for Linux kernel.

  Language:C++233

• kubernetes/kubernetes

  Production-Grade Container Scheduling and Management

  Language:Go112k39.9k

• lvc/pkg-abidiff

  Verify backward compatibility of Linux packages (RPM or DEB)

  Language:Python216

• lvc/distdiff

  A tool for visualizing changes in Linux distributions

  Language:Perl74

• lvc/api-sanity-checker

  An automatic generator of basic unit tests for a C/C++ library

  Language:Perl8511

• lvc/japi-tracker

  A tool to visualize API changes timeline of a Java library

  Language:Perl546

• lvc/japi-compliance-checker

  A tool for checking backward API/ABI compatibility of a Java library

  Language:Perl36954

• lvc/abi-reports

  JSON-format reports of the ABI Tracker project

  Language:Python112

• lvc/upstream-tracker

  A project to monitor and verify compatibility of upstream ABI changes in C/C++ libraries

  Language:Shell1512

• GJDuck/e9patch

  A powerful static binary rewriting tool

  Language:C99067

• Antonin-Deniau/cave_miner

  Search for code cave in all binaries

  Language:Kaitai Struct27654

• marin-m/vmlinux-to-elf

  A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

  Language:Python1.4k132

• lvc/abi-tracker

  A tool to visualize ABI changes timeline of a C/C++ software library

  Language:Perl19316

• jarun/googler

  :mag: Google from the terminal

  Language:Python6.1k531

• osrf/auto-abi-checker

  Tool designed to facilitate the run the great ABI compliance checker by supporting easy inputs and no configuration files

  Language:C++54

• lvc/abi-compliance-checker

  A tool for checking backward API/ABI compatibility of a C/C++ library

  Language:Perl63280

• NorthernSec/CVE-Scan

  Scan systems with NMap and parse the output to a list of CVE's, CWE's and DPE's

  Language:Python27471

• cve-search/PyCVESearch

  Python wrapper for the API of cve-search

  Language:Python11625

• cve-search/cve-search

  cve-search - a tool to perform local searches for known vulnerabilities

  Language:Python2.3k595

• lvc/abi-dumper

  Dump ABI of an ELF object containing DWARF debug info

  Language:Perl17935

• lookfwd/getting-started-clusterfuzz-local-in-aws

  153

• cheat/cheat

  cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of options for commands that they use frequently, but not frequently enough to remember.

  Language:Go12.5k822

• tldr-pages/tldr

  📚 Collaborative cheatsheets for console commands

  Language:Markdown51.8k4.3k