DFTinker

Automatically detect and fix double-fetch bugs in OS kerenels

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
alldfs		alldfs
darwin-outcome		darwin-outcome
linux-outcome		linux-outcome
outcome		outcome
pre-results		pre-results
truecases		truecases
tsx-tools		tsx-tools
README.md		README.md
copy_files.py		copy_files.py
funcs.c		funcs.c
patch.cocci		patch.cocci
patch.sh		patch.sh
patch.txt		patch.txt
pattern_match_freebsd.cocci		pattern_match_freebsd.cocci
pattern_match_linux.cocci		pattern_match_linux.cocci
readme.txt		readme.txt
result.txt		result.txt
src.cocci		src.cocci
src.sh		src.sh
startcocci_freebsd.sh		startcocci_freebsd.sh
startcocci_linux.sh		startcocci_linux.sh
test.c		test.c

Provide feedback