Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–12 of 12 · Most stars

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

  • clang
  • cpp
  • c
  • clang-tidy

Build standalone portable PHP binaries on Linux, macOS, Windows, with PHP project together, with popular extensions included.

  • swoole
  • php
  • php-src
  • php-cli

Takes an input http.FileSystem (likely at go generate time) and generates Go code that statically implements it.

  • go
  • embed-files

eBPF verifier based on abstract interpretation

  • abstract-interpretation
  • static-analyzer
  • ebpf
  • ebpf-verifier

Limon is a sandbox developed as a research project written in python, which automatically collects, analyzes, and reports on the run time indicators of Linux malware. It allows one to inspect Linux malware before execution, during execution, and after execution (post-mortem analysis) by performing static, dynamic and memory analysis using open source tools

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

  • fuzzer
  • fuzzing
  • kernel-fuzzer
  • windows-kernel