diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-30 14:17:47 -0700 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-30 21:45:03 -0700 |
| commit | e8dd2c6713522707b3b89884eb95601cdf9bc9be (patch) | |
| tree | 9df12a938af90c06794ec9f60920d59330766ed1 /prog/encodingexec.go | |
| parent | 6ba5fe3e62880ddf8aeec68ab44eabaa8bc148b8 (diff) | |
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).
Diffstat (limited to 'prog/encodingexec.go')
| -rw-r--r-- | prog/encodingexec.go | 7 |
1 files changed, 0 insertions, 7 deletions
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 |