GitHub - capricorn86/happy-dom: A JavaScript implementation of a web browser without its graphical user interfaceYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Fuzzing TCP servers
Intro The architectures of software fuzzing setups that authors of security fuzzing tools had originally implemented were fairly simple. In early days of security fuzzing (before 2010) the vast majority of fuzzing engines were writing mangled content to disk files, and then instructed fuzzed binaries where to find them: $ honggfuzz -f INPUT_DIRECTORY -- /usr/bin/djpeg ___FILE___ Here, the placehol
Mission and Activities of the Linux Verification Center | Linux Verification Center
The mission of the Center is to propagate the Linux platform by ensuring its high reliability and compatibility through the use of open standards/specifications and advanced testing and verification technologies. Development of open source verification and testing frameworks for automated verification of Linux-based systems.Providing methods, tools and support for building safety-critical products
CPAchecker: A Software Verification Tool for Configurable Program Analyses
Objectives Configurable Verification Platform CPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV'07 paper "Configurable Software Verification" and in the ASE'08 paper "Program Analysis with Dynamic Precision Adjustment". The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for ch
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - tokio-rs/loom: Concurrency permutation testing tool for Rust.
GitHub - checkly/headless-recorder: Chrome extension that records your browser interactions and generates a Playwright or Puppeteer script.
GitHub - guidovranken/cryptofuzz: Fuzzing cryptographic libraries. Magic bug printer go brrrr.
GitHub - thebabush/python-hfuzz: python and honggfuzz
GitHub - fuzzitdev/pythonfuzz: coverage guided fuzz testing for python
Open Ecosystem
GitHub - hunter-ht-2018/ptfuzzer: Improving AFL by using Intel PT to collect branch information
Evaluating Fuzz Testing
GitHub - sslab-gatech/perf-fuzz
GitHub - pjd/pjdfstest: File system test suite.
GitHub - marcoeilers/nagini: Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
NetBSD Blog
GitHub - oracle/kernel-fuzzing: Fuzzers for the Linux kernel
GitHub - sslab-gatech/unisan: UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
GitHub - HexHive/T-Fuzz
GitHub - euspectre/kedr: Main repository of KEDR project