1 files changed, 321 insertions, 0 deletions
diff --git a/vendor/honnef.co/go/tools/staticcheck/rules.go b/vendor/honnef.co/go/tools/staticcheck/rules.go
new file mode 100644
index 0000000..60cc00c
--- /dev/null
+++ b/vendor/honnef.co/go/tools/staticcheck/rules.go
@@ -0,0 +1,321 @@
+package staticcheck
+
+import (
+	"fmt"
+	"go/constant"
+	"go/types"
+	"net"
+	"net/url"
+	"regexp"
+	"sort"
+	"strconv"
+	"strings"
+	"time"
+	"unicode/utf8"
+
+	"honnef.co/go/tools/lint"
+	"honnef.co/go/tools/ssa"
+	"honnef.co/go/tools/staticcheck/vrp"
+)
+
+const (
+	MsgInvalidHostPort = "invalid port or service name in host:port pair"
+	MsgInvalidUTF8     = "argument is not a valid UTF-8 encoded string"
+	MsgNonUniqueCutset = "cutset contains duplicate characters"
+)
+
+type Call struct {
+	Job   *lint.Job
+	Instr ssa.CallInstruction
+	Args  []*Argument
+
+	Checker *Checker
+	Parent  *ssa.Function
+
+	invalids []string
+}
+
+func (c *Call) Invalid(msg string) {
+	c.invalids = append(c.invalids, msg)
+}
+
+type Argument struct {
+	Value    Value
+	invalids []string
+}
+
+func (arg *Argument) Invalid(msg string) {
+	arg.invalids = append(arg.invalids, msg)
+}
+
+type Value struct {
+	Value ssa.Value
+	Range vrp.Range
+}
+
+type CallCheck func(call *Call)
+
+func extractConsts(v ssa.Value) []*ssa.Const {
+	switch v := v.(type) {
+	case *ssa.Const:
+		return []*ssa.Const{v}
+	case *ssa.MakeInterface:
+		return extractConsts(v.X)
+	default:
+		return nil
+	}
+}
+
+func ValidateRegexp(v Value) error {
+	for _, c := range extractConsts(v.Value) {
+		if c.Value == nil {
+			continue
+		}
+		if c.Value.Kind() != constant.String {
+			continue
+		}
+		s := constant.StringVal(c.Value)
+		if _, err := regexp.Compile(s); err != nil {
+			return err
+		}
+	}
+	return nil
+}
+
+func ValidateTimeLayout(v Value) error {
+	for _, c := range extractConsts(v.Value) {
+		if c.Value == nil {
+			continue
+		}
+		if c.Value.Kind() != constant.String {
+			continue
+		}
+		s := constant.StringVal(c.Value)
+		s = strings.Replace(s, "_", " ", -1)
+		s = strings.Replace(s, "Z", "-", -1)
+		_, err := time.Parse(s, s)
+		if err != nil {
+			return err
+		}
+	}
+	return nil
+}
+
+func ValidateURL(v Value) error {
+	for _, c := range extractConsts(v.Value) {
+		if c.Value == nil {
+			continue
+		}
+		if c.Value.Kind() != constant.String {
+			continue
+		}
+		s := constant.StringVal(c.Value)
+		_, err := url.Parse(s)
+		if err != nil {
+			return fmt.Errorf("%q is not a valid URL: %s", s, err)
+		}
+	}
+	return nil
+}
+
+func IntValue(v Value, z vrp.Z) bool {
+	r, ok := v.Range.(vrp.IntInterval)
+	if !ok || !r.IsKnown() {
+		return false
+	}
+	if r.Lower != r.Upper {
+		return false
+	}
+	if r.Lower.Cmp(z) == 0 {
+		return true
+	}
+	return false
+}
+
+func InvalidUTF8(v Value) bool {
+	for _, c := range extractConsts(v.Value) {
+		if c.Value == nil {
+			continue
+		}
+		if c.Value.Kind() != constant.String {
+			continue
+		}
+		s := constant.StringVal(c.Value)
+		if !utf8.ValidString(s) {
+			return true
+		}
+	}
+	return false
+}
+
+func UnbufferedChannel(v Value) bool {
+	r, ok := v.Range.(vrp.ChannelInterval)
+	if !ok || !r.IsKnown() {
+		return false
+	}
+	if r.Size.Lower.Cmp(vrp.NewZ(0)) == 0 &&
+		r.Size.Upper.Cmp(vrp.NewZ(0)) == 0 {
+		return true
+	}
+	return false
+}
+
+func Pointer(v Value) bool {
+	switch v.Value.Type().Underlying().(type) {
+	case *types.Pointer, *types.Interface:
+		return true
+	}
+	return false
+}
+
+func ConvertedFromInt(v Value) bool {
+	conv, ok := v.Value.(*ssa.Convert)
+	if !ok {
+		return false
+	}
+	b, ok := conv.X.Type().Underlying().(*types.Basic)
+	if !ok {
+		return false
+	}
+	if (b.Info() & types.IsInteger) == 0 {
+		return false
+	}
+	return true
+}
+
+func validEncodingBinaryType(j *lint.Job, typ types.Type) bool {
+	typ = typ.Underlying()
+	switch typ := typ.(type) {
+	case *types.Basic:
+		switch typ.Kind() {
+		case types.Uint8, types.Uint16, types.Uint32, types.Uint64,
+			types.Int8, types.Int16, types.Int32, types.Int64,
+			types.Float32, types.Float64, types.Complex64, types.Complex128, types.Invalid:
+			return true
+		case types.Bool:
+			return j.IsGoVersion(8)
+		}
+		return false
+	case *types.Struct:
+		n := typ.NumFields()
+		for i := 0; i < n; i++ {
+			if !validEncodingBinaryType(j, typ.Field(i).Type()) {
+				return false
+			}
+		}
+		return true
+	case *types.Array:
+		return validEncodingBinaryType(j, typ.Elem())
+	case *types.Interface:
+		// we can't determine if it's a valid type or not
+		return true
+	}
+	return false
+}
+
+func CanBinaryMarshal(j *lint.Job, v Value) bool {
+	typ := v.Value.Type().Underlying()
+	if ttyp, ok := typ.(*types.Pointer); ok {
+		typ = ttyp.Elem().Underlying()
+	}
+	if ttyp, ok := typ.(interface {
+		Elem() types.Type
+	}); ok {
+		if _, ok := ttyp.(*types.Pointer); !ok {
+			typ = ttyp.Elem()
+		}
+	}
+
+	return validEncodingBinaryType(j, typ)
+}
+
+func RepeatZeroTimes(name string, arg int) CallCheck {
+	return func(call *Call) {
+		arg := call.Args[arg]
+		if IntValue(arg.Value, vrp.NewZ(0)) {
+			arg.Invalid(fmt.Sprintf("calling %s with n == 0 will return no results, did you mean -1?", name))
+		}
+	}
+}
+
+func validateServiceName(s string) bool {
+	if len(s) < 1 || len(s) > 15 {
+		return false
+	}
+	if s[0] == '-' || s[len(s)-1] == '-' {
+		return false
+	}
+	if strings.Contains(s, "--") {
+		return false
+	}
+	hasLetter := false
+	for _, r := range s {
+		if (r >= 'A' && r <= 'Z') || (r >= 'a' && r <= 'z') {
+			hasLetter = true
+			continue
+		}
+		if r >= '0' && r <= '9' {
+			continue
+		}
+		return false
+	}
+	return hasLetter
+}
+
+func validatePort(s string) bool {
+	n, err := strconv.ParseInt(s, 10, 64)
+	if err != nil {
+		return validateServiceName(s)
+	}
+	return n >= 0 && n <= 65535
+}
+
+func ValidHostPort(v Value) bool {
+	for _, k := range extractConsts(v.Value) {
+		if k.Value == nil {
+			continue
+		}
+		if k.Value.Kind() != constant.String {
+			continue
+		}
+		s := constant.StringVal(k.Value)
+		_, port, err := net.SplitHostPort(s)
+		if err != nil {
+			return false
+		}
+		// TODO(dh): check hostname
+		if !validatePort(port) {
+			return false
+		}
+	}
+	return true
+}
+
+// ConvertedFrom reports whether value v was converted from type typ.
+func ConvertedFrom(v Value, typ string) bool {
+	change, ok := v.Value.(*ssa.ChangeType)
+	return ok && types.TypeString(change.X.Type(), nil) == typ
+}
+
+func UniqueStringCutset(v Value) bool {
+	for _, c := range extractConsts(v.Value) {
+		if c.Value == nil {
+			continue
+		}
+		if c.Value.Kind() != constant.String {
+			continue
+		}
+		s := constant.StringVal(c.Value)
+		rs := runeSlice(s)
+		if len(rs) < 2 {
+			continue
+		}
+		sort.Sort(rs)
+		for i, r := range rs[1:] {
+			if rs[i] == r {
+				return false
+			}
+		}
+	}
+	return true
+}