You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
28 lines
637 B
28 lines
637 B
package test
|
|
|
|
import (
|
|
. "github.com/tendermint/go-common"
|
|
)
|
|
|
|
// Contract: !bytes.Equal(input, output) && len(input) >= len(output)
|
|
func MutateByteSlice(bytez []byte) []byte {
|
|
// If bytez is empty, panic
|
|
if len(bytez) == 0 {
|
|
panic("Cannot mutate an empty bytez")
|
|
}
|
|
|
|
// Copy bytez
|
|
mBytez := make([]byte, len(bytez))
|
|
copy(mBytez, bytez)
|
|
bytez = mBytez
|
|
|
|
// Try a random mutation
|
|
switch RandInt() % 2 {
|
|
case 0: // Mutate a single byte
|
|
bytez[RandInt()%len(bytez)] += byte(RandInt()%255 + 1)
|
|
case 1: // Remove an arbitrary byte
|
|
pos := RandInt() % len(bytez)
|
|
bytez = append(bytez[:pos], bytez[pos+1:]...)
|
|
}
|
|
return bytez
|
|
}
|