forked from dvyukov/go-fuzz
-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.go
75 lines (70 loc) · 2.11 KB
/
main.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
// Copyright 2015 Dmitry Vyukov. All rights reserved.
// Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
package path
import (
"fmt"
"path"
"path/filepath"
"reflect"
)
func Fuzz(data []byte) int {
sdata := string(data)
sdata0 := sdata[:len(sdata)/2]
sdata1 := sdata[len(sdata)/2:]
path.Base(sdata)
cleaned := path.Clean(sdata)
if cleaned2 := path.Clean(cleaned); cleaned != cleaned2 {
fmt.Printf("was: %q\n", sdata)
fmt.Printf("cleaned: %q\n", cleaned)
fmt.Printf("cleaned2: %q\n", cleaned2)
panic("path.Clean undercleans")
}
path.Dir(sdata)
path.Ext(sdata)
path.IsAbs(sdata)
path.Clean(sdata)
dir, file := path.Split(sdata)
joined := path.Join(dir, file)
if false && len(dir) != 0 && len(file) != 0 && joined != sdata {
fmt.Printf("was: %q\n", sdata)
fmt.Printf("now: %q (%q, %q)\n", joined, dir, file)
panic("Split/Join changed path")
}
path.Match(sdata0, sdata1)
isAbs := filepath.IsAbs(sdata)
abs, err := filepath.Abs(sdata)
if isAbs && err != nil /* isAbs && (err != nil || abs != sdata) || !isAbs && (err == nil && abs == sdata) */ {
fmt.Printf("was: %q\n", sdata)
fmt.Printf("isabs=%v abs=%q err=%v\n", isAbs, abs, err)
panic("IsAbs lies")
}
filepath.Base(sdata)
cleaned = filepath.Clean(sdata)
if cleaned2 := filepath.Clean(cleaned); cleaned != cleaned2 {
fmt.Printf("was: %q\n", sdata)
fmt.Printf("cleaned: %q\n", cleaned)
fmt.Printf("cleaned2: %q\n", cleaned2)
panic("filepath.Clean undercleans")
}
filepath.EvalSymlinks(sdata)
filepath.FromSlash(sdata)
slashed := filepath.ToSlash(sdata)
unslashed := filepath.FromSlash(slashed)
if unslashed != sdata {
panic("ToSlash/FromSlash corrupt path")
}
// filepath.Glob(sdata) can scan whole disk
filepath.HasPrefix(sdata0, sdata1)
filepath.VolumeName(sdata)
filepath.Split(sdata)
filepath.Join(sdata0, sdata1)
parts := filepath.SplitList(sdata)
joined = filepath.Join(parts...)
parts1 := filepath.SplitList(sdata)
if !reflect.DeepEqual(parts, parts1) {
panic("Split/Join non-idempotent")
}
filepath.Rel(sdata0, sdata1)
filepath.Match(sdata0, sdata1)
return 0
}