From e8dd2c6713522707b3b89884eb95601cdf9bc9be Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 30 Aug 2018 14:17:47 -0700 Subject: 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). --- prog/encodingexec.go | 7 ------- 1 file changed, 7 deletions(-) (limited to 'prog/encodingexec.go') diff --git a/prog/encodingexec.go b/prog/encodingexec.go index 659f4be3f..651ecef51 100644 --- a/prog/encodingexec.go +++ b/prog/encodingexec.go @@ -100,13 +100,6 @@ func (w *execContext) serializeCall(c *Call) { w.writeCopyout(c) } -func (target *Target) PhysicalAddr(arg *PointerArg) uint64 { - if arg.IsNull() { - return 0 - } - return target.DataOffset + arg.Address -} - type execContext struct { target *Target buf []byte -- cgit mrf-deployment