feat: add the gosmopolitan linter

xen0n · xen0n · commit f9d917643d37 · 2023-01-05T14:43:43.000+08:00
diff --git a/.golangci.reference.yml b/.golangci.reference.yml
@@ -940,6 +940,39 @@ linters-settings:
       # Default: "0600"
       G306: "0600"
 
+  gosmopolitan:
+    # Allow and ignore `time.Local` usages.
+    #
+    # Default: false
+    allow-time-local: true
+    # List of fully qualified names in the `(full/pkg/path).name` form, to act
+    # as "i18n escape hatches".
+    #
+    # String literals inside call-like expressions to, or struct literals of
+    # those names, are exempt from the writing system check.
+    #
+    # Default: []
+    escape-hatches:
+      - '(github.com/nicksnyder/go-i18n/v2/i18n).Message'
+      - '(example.com/your/project/i18n/markers).Raw'
+      - '(example.com/your/project/i18n/markers).OK'
+      - '(example.com/your/project/i18n/markers).TODO'
+      - '(command-line-arguments).Simple'
+    # Ignore test files.
+    #
+    # Default: true
+    ignore-tests: false
+    # List of Unicode scripts to watch for any usage in string literals.
+    # If empty the default of ["Han"] will be used.
+    #
+    # Default: ["Han"]
+    watch-for-scripts:
+      - Devanagari
+      - Han
+      - Hangul
+      - Hiragana
+      - Katakana
+
   govet:
     # Report about shadowed variables.
     # Default: false
@@ -2023,6 +2056,7 @@ linters:
     - goprintffuncname
     - gosec
     - gosimple
+    - gosmopolitan
     - govet
     - grouper
     - ifshort
@@ -2131,6 +2165,7 @@ linters:
     - goprintffuncname
     - gosec
     - gosimple
+    - gosmopolitan
     - govet
     - grouper
     - ifshort
diff --git a/go.mod b/go.mod
@@ -105,6 +105,7 @@ require (
 	github.com/ultraware/whitespace v0.0.5
 	github.com/uudashr/gocognit v1.0.6
 	github.com/valyala/quicktemplate v1.7.0
+	github.com/xen0n/gosmopolitan v1.1.1
 	github.com/yagipy/maintidx v1.0.0
 	github.com/yeya24/promlinter v0.2.0
 	gitlab.com/bosi/decorder v0.2.3
diff --git a/go.sum b/go.sum
diff --git a/pkg/config/linters_settings.go b/pkg/config/linters_settings.go
@@ -61,6 +61,12 @@ var defaultLintersSettings = LintersSettings{
 	Gosec: GoSecSettings{
 		Concurrency: runtime.NumCPU(),
 	},
+	Gosmopolitan: GosmopolitanSettings{
+		AllowTimeLocal:  false,
+		EscapeHatches:   []string{},
+		IgnoreTests:     true,
+		WatchForScripts: []string{"Han"},
+	},
 	Ifshort: IfshortSettings{
 		MaxDeclLines: 1,
 		MaxDeclChars: 30,
@@ -167,6 +173,7 @@ type LintersSettings struct {
 	Gomodguard       GoModGuardSettings
 	Gosec            GoSecSettings
 	Gosimple         StaticCheckSettings
+	Gosmopolitan     GosmopolitanSettings
 	Govet            GovetSettings
 	Grouper          GrouperSettings
 	Ifshort          IfshortSettings
@@ -446,6 +453,13 @@ type GoSecSettings struct {
 	Concurrency      int                    `mapstructure:"concurrency"`
 }
 
+type GosmopolitanSettings struct {
+	AllowTimeLocal  bool     `mapstructure:"allow-time-local"`
+	EscapeHatches   []string `mapstructure:"escape-hatches"`
+	IgnoreTests     bool     `mapstructure:"ignore-tests"`
+	WatchForScripts []string `mapstructure:"watch-for-scripts"`
+}
+
 type GovetSettings struct {
 	Go             string `mapstructure:"-"`
 	CheckShadowing bool   `mapstructure:"check-shadowing"`
diff --git a/pkg/golinters/gosmopolitan.go b/pkg/golinters/gosmopolitan.go
@@ -0,0 +1,32 @@
+package golinters
+
+import (
+	"strings"
+
+	"github.com/xen0n/gosmopolitan"
+	"golang.org/x/tools/go/analysis"
+
+	"github.com/golangci/golangci-lint/pkg/config"
+	"github.com/golangci/golangci-lint/pkg/golinters/goanalysis"
+)
+
+func NewGosmopolitan(s *config.GosmopolitanSettings) *goanalysis.Linter {
+	a := gosmopolitan.NewAnalyzer()
+
+	cfgMap := map[string]map[string]interface{}{}
+	if s != nil {
+		cfgMap[a.Name] = map[string]interface{}{
+			"allowtimelocal":  s.AllowTimeLocal,
+			"escapehatches":   strings.Join(s.EscapeHatches, ","),
+			"lookattests":     !s.IgnoreTests,
+			"watchforscripts": strings.Join(s.WatchForScripts, ","),
+		}
+	}
+
+	return goanalysis.NewLinter(
+		a.Name,
+		a.Doc,
+		[]*analysis.Analyzer{a},
+		cfgMap,
+	).WithLoadMode(goanalysis.LoadModeTypesInfo)
+}
diff --git a/pkg/lint/lintersdb/manager.go b/pkg/lint/lintersdb/manager.go
@@ -135,6 +135,7 @@ func (m Manager) GetAllSupportedLinterConfigs() []*linter.Config {
 		gomodguardCfg       *config.GoModGuardSettings
 		gosecCfg            *config.GoSecSettings
 		gosimpleCfg         *config.StaticCheckSettings
+		gosmopolitanCfg     *config.GosmopolitanSettings
 		govetCfg            *config.GovetSettings
 		grouperCfg          *config.GrouperSettings
 		ifshortCfg          *config.IfshortSettings
@@ -212,6 +213,7 @@ func (m Manager) GetAllSupportedLinterConfigs() []*linter.Config {
 		gomodguardCfg = &m.cfg.LintersSettings.Gomodguard
 		gosecCfg = &m.cfg.LintersSettings.Gosec
 		gosimpleCfg = &m.cfg.LintersSettings.Gosimple
+		gosmopolitanCfg = &m.cfg.LintersSettings.Gosmopolitan
 		govetCfg = &m.cfg.LintersSettings.Govet
 		grouperCfg = &m.cfg.LintersSettings.Grouper
 		ifshortCfg = &m.cfg.LintersSettings.Ifshort
@@ -550,6 +552,12 @@ func (m Manager) GetAllSupportedLinterConfigs() []*linter.Config {
 			WithAlternativeNames(megacheckName).
 			WithURL("https://github.com/dominikh/go-tools/tree/master/simple"),
 
+		linter.NewConfig(golinters.NewGosmopolitan(gosmopolitanCfg)).
+			WithSince("v1.51.0").
+			WithLoadForGoAnalysis().
+			WithPresets(linter.PresetBugs).
+			WithURL("https://github.com/xen0n/gosmopolitan"),
+
 		linter.NewConfig(golinters.NewGovet(govetCfg)).
 			WithSince("v1.0.0").
 			WithLoadForGoAnalysis().
diff --git a/test/testdata/configs/gosmopolitan_allow_time_local.yml b/test/testdata/configs/gosmopolitan_allow_time_local.yml
@@ -0,0 +1,3 @@
+linters-settings:
+  gosmopolitan:
+    allow-time-local: true
diff --git a/test/testdata/configs/gosmopolitan_dont_ignore_tests.yml b/test/testdata/configs/gosmopolitan_dont_ignore_tests.yml
@@ -0,0 +1,3 @@
+linters-settings:
+  gosmopolitan:
+    ignore-tests: false
diff --git a/test/testdata/configs/gosmopolitan_escape_hatches.yml b/test/testdata/configs/gosmopolitan_escape_hatches.yml
@@ -0,0 +1,7 @@
+linters-settings:
+  gosmopolitan:
+    escape-hatches:
+      - '(command-line-arguments).A'
+      - '(command-line-arguments).B'
+      - '(command-line-arguments).C'
+      - '(command-line-arguments).D'
diff --git a/test/testdata/configs/gosmopolitan_scripts.yml b/test/testdata/configs/gosmopolitan_scripts.yml
@@ -0,0 +1,6 @@
+linters-settings:
+  gosmopolitan:
+    watch-for-scripts:
+      - Hiragana
+      - Katakana
+      - Latin
diff --git a/test/testdata/gosmopolitan_allow_time_local.go b/test/testdata/gosmopolitan_allow_time_local.go
@@ -0,0 +1,12 @@
+//golangcitest:args -Egosmopolitan
+//golangcitest:config_path testdata/configs/gosmopolitan_allow_time_local.yml
+//golangcitest:expected_exitcode 0
+package testdata
+
+import (
+	"time"
+)
+
+func main() {
+	_ = time.Local
+}
diff --git a/test/testdata/gosmopolitan_default.go b/test/testdata/gosmopolitan_default.go
@@ -0,0 +1,25 @@
+//golangcitest:args -Egosmopolitan
+package testdata
+
+import (
+	"fmt"
+	"time"
+)
+
+type col struct {
+	// struct tag should not get reported
+	Foo string `gorm:"column:bar;not null;comment:'不应该报告这一行'"`
+}
+
+func main() {
+	fmt.Println("hello world")
+	fmt.Println("你好，世界") // want `string literal contains rune in Han script`
+	fmt.Println("こんにちは、セカイ")
+
+	_ = col{Foo: "hello"}
+	_ = col{Foo: "你好"} // want `string literal contains rune in Han script`
+
+	x := time.Local // want `usage of time.Local`
+	_ = time.Now().In(x)
+	_ = time.Date(2023, 1, 2, 3, 4, 5, 678901234, time.Local) // want `usage of time.Local`
+}
diff --git a/test/testdata/gosmopolitan_dont_ignore_test.go b/test/testdata/gosmopolitan_dont_ignore_test.go
@@ -0,0 +1,12 @@
+//golangcitest:args -Egosmopolitan
+//golangcitest:config_path testdata/configs/gosmopolitan_dont_ignore_tests.yml
+package testdata
+
+import (
+	"time"
+)
+
+func main() {
+	_ = "开启检查测试文件" // want `string literal contains rune in Han script`
+	_ = time.Local // want `usage of time.Local`
+}
diff --git a/test/testdata/gosmopolitan_escape_hatches.go b/test/testdata/gosmopolitan_escape_hatches.go
@@ -0,0 +1,33 @@
+//golangcitest:args -Egosmopolitan
+//golangcitest:config_path testdata/configs/gosmopolitan_escape_hatches.yml
+package testdata
+
+type A string
+type B = string
+type C struct {
+	foo string
+	Bar string
+}
+
+func D(fmt string) string {
+	return fmt
+}
+
+type X struct {
+	baz string
+}
+
+func main() {
+	_ = A("测试")
+	_ = string(A(string("测试")))
+	_ = B("测试")
+	_ = C{
+		foo: "测试",
+		Bar: "测试",
+	}
+	_ = D("测试")
+
+	_ = &X{
+		baz: "测试", // want `string literal contains rune in Han script`
+	}
+}
diff --git a/test/testdata/gosmopolitan_ignore_test.go b/test/testdata/gosmopolitan_ignore_test.go
@@ -0,0 +1,12 @@
+//golangcitest:args -Egosmopolitan
+//golangcitest:expected_exitcode 0
+package testdata
+
+import (
+	"time"
+)
+
+func main() {
+	_ = "默认不检查测试文件"
+	_ = time.Local
+}
diff --git a/test/testdata/gosmopolitan_scripts.go b/test/testdata/gosmopolitan_scripts.go
@@ -0,0 +1,14 @@
+//golangcitest:args -Egosmopolitan
+//golangcitest:config_path testdata/configs/gosmopolitan_scripts.yml
+package testdata
+
+import (
+	"fmt"
+)
+
+func main() {
+	fmt.Println("hello world")                 // want `string literal contains rune in Latin script`
+	fmt.Println("should not report this line") //nolint:gosmopolitan
+	fmt.Println("你好，世界")
+	fmt.Println("こんにちは、セカイ") // want `string literal contains rune in Hiragana script`
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+linters-settings:`
	`2`	`+ gosmopolitan:`
	`3`	`+ allow-time-local: true`