Dmitry Vyukov e8dd2c6713 prog: add concept of "special pointers" ... Currently we only generate either valid user-space pointers or NULL. Extend NULL to a set of special pointers that we will use in programs. All targets now contain 3 special values: - NULL - 0xfffffffffffffff (invalid kernel pointer) - 0x999999999999999 (non-canonical address) Each target can add additional special pointers on top of this. Also generate NULL/special pointers for non-opt ptr's. This restriction was always too restrictive. We may want to generate them with very low probability, but we do want to generate them. Also change pointers to NULL/special during mutation (but still not in the opposite direction).		2018-08-30 21:45:03 -07:00
..
akaros	tools/syz-runtest: add tool for program unit testing	2018-08-03 21:08:02 +02:00
android	sys/linux: add ion and ashmem devices support	2018-01-09 21:24:28 +01:00
freebsd	Makefile: don't compile all targets into target binaries	2018-08-02 19:07:22 +02:00
fuchsia	sys/fuchsia: describe method response types & handles; add support for union	2018-08-29 19:08:11 -07:00
linux	prog: add concept of "special pointers"	2018-08-30 21:45:03 -07:00
netbsd	sys/netbsd: use posix helper instead of copy-pasted code	2018-08-25 09:05:51 -07:00
openbsd	sys/openbsd: disable mknod sanitization as tests fail	2018-08-30 21:44:56 -07:00
syz-extract	Add mandatory OpenBSD bits (#689)	2018-08-28 10:07:26 -07:00
syz-sysgen	Makefile: don't compile all targets into target binaries	2018-08-02 19:07:22 +02:00
targets	Add mandatory OpenBSD bits (#689)	2018-08-28 10:07:26 -07:00
test	prog: don't add fallback signal after seccomp	2018-08-19 00:13:24 -07:00
windows	Makefile: don't compile all targets into target binaries	2018-08-02 19:07:22 +02:00
sys.go	Add mandatory OpenBSD bits (#689)	2018-08-28 10:07:26 -07:00