wpengfei

double_fetch_cocci

Source code of the double-fetch bug detection approach based on Coccinelle engine

CVE-2016-6516-exploit

An demonstration of how to exploit double-fetch vulnerability CVE-2016-6516

AVPredictor

A prototype tool to find Atomicity-violation bugs in multi-threaded programs

DFTracker

Multi-Taint Parallel Tracking for Double-Fetch (Checker of Clang Static Analyzer)

auto_patch_cocci

Automatic patching tool for double-fetch bugs based on Coccinelle

BDFuzzer

Binary directed fuzzer

df_dataset

Dataset of double-fetch vulnerabilities

llncs2e

wangpengfei_site

hardware_df

Hardware Double Fetch Bug detection based on Coccinelle engine

pin_work

cocciDetector

DF-checker

IBV

A collection of real-world inter-boundary vulnerabilities

python_spider

a spider program written by python

starter-hugo-academic

test-case-programs

Collection of programs used as test cases

text-filter

scan and filter double-fetch on text level

wpengfei.github.io

my website