2016-07-20 11:02:01 +01:00
|
|
|
// (c) Copyright 2016 Hewlett Packard Enterprise Development LP
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
// you may not use this file except in compliance with the License.
|
|
|
|
// You may obtain a copy of the License at
|
|
|
|
//
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
//
|
|
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
// See the License for the specific language governing permissions and
|
|
|
|
// limitations under the License.
|
|
|
|
|
|
|
|
package main
|
|
|
|
|
|
|
|
import (
|
2016-08-05 14:27:21 +01:00
|
|
|
"encoding/json"
|
2016-07-20 11:02:01 +01:00
|
|
|
"flag"
|
|
|
|
"fmt"
|
2016-08-05 14:27:21 +01:00
|
|
|
"io/ioutil"
|
2016-07-20 11:02:01 +01:00
|
|
|
"log"
|
|
|
|
"os"
|
|
|
|
"path/filepath"
|
2016-08-10 12:51:03 +01:00
|
|
|
"sort"
|
2016-07-20 11:02:01 +01:00
|
|
|
"strings"
|
|
|
|
|
|
|
|
gas "github.com/HewlettPackard/gas/core"
|
|
|
|
"github.com/HewlettPackard/gas/output"
|
|
|
|
)
|
|
|
|
|
|
|
|
// #nosec flag
|
2016-07-28 12:51:25 +01:00
|
|
|
var flagIgnoreNoSec = flag.Bool("nosec", false, "Ignores #nosec comments when set")
|
2016-07-20 11:02:01 +01:00
|
|
|
|
|
|
|
// format output
|
2016-08-10 19:43:02 +01:00
|
|
|
var flagFormat = flag.String("fmt", "text", "Set output format. Valid options are: json, csv, or text")
|
2016-07-20 11:02:01 +01:00
|
|
|
|
|
|
|
// output file
|
|
|
|
var flagOutput = flag.String("out", "", "Set output file for results")
|
|
|
|
|
2016-07-29 11:19:50 +01:00
|
|
|
var flagConfig = flag.String("conf", "", "Path to optional config file")
|
|
|
|
|
2016-07-20 11:02:01 +01:00
|
|
|
var usageText = `
|
|
|
|
GAS - Go AST Scanner
|
|
|
|
|
|
|
|
Gas analyzes Go source code to look for common programming mistakes that
|
|
|
|
can lead to security problems.
|
|
|
|
|
|
|
|
USAGE:
|
|
|
|
|
|
|
|
# Check a single Go file
|
|
|
|
$ gas example.go
|
|
|
|
|
|
|
|
# Check all files under the current directory and save results in
|
|
|
|
# json format.
|
|
|
|
$ gas -fmt=json -out=results.json ./...
|
|
|
|
|
|
|
|
# Run a specific set of rules (by default all rules will be run):
|
2016-08-11 13:14:19 +01:00
|
|
|
$ gas -include=G101,G203,G401 ./...
|
|
|
|
|
|
|
|
# Run all rules except the provided
|
|
|
|
$ gas -exclude=G101 ./...
|
2016-07-20 11:02:01 +01:00
|
|
|
|
|
|
|
`
|
|
|
|
|
2016-08-05 14:27:21 +01:00
|
|
|
var logger *log.Logger
|
|
|
|
|
2016-08-10 12:51:03 +01:00
|
|
|
func extendConfList(conf map[string]interface{}, name string, inputStr string) {
|
|
|
|
if inputStr == "" {
|
|
|
|
conf[name] = []string{}
|
|
|
|
} else {
|
|
|
|
input := strings.Split(inputStr, ",")
|
|
|
|
if val, ok := conf[name]; ok {
|
|
|
|
if data, ok := val.(*[]string); ok {
|
|
|
|
conf[name] = append(*data, input...)
|
|
|
|
} else {
|
|
|
|
logger.Fatal("Config item must be a string list: ", name)
|
|
|
|
}
|
2016-08-05 14:27:21 +01:00
|
|
|
} else {
|
2016-08-10 12:51:03 +01:00
|
|
|
conf[name] = input
|
2016-08-05 14:27:21 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func buildConfig(incRules string, excRules string) map[string]interface{} {
|
|
|
|
config := make(map[string]interface{})
|
|
|
|
if flagConfig != nil && *flagConfig != "" { // parse config if we have one
|
|
|
|
if data, err := ioutil.ReadFile(*flagConfig); err == nil {
|
|
|
|
if err := json.Unmarshal(data, &(config)); err != nil {
|
|
|
|
logger.Fatal("Could not parse JSON config: ", *flagConfig, ": ", err)
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
logger.Fatal("Could not read config file: ", *flagConfig)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// add in CLI include and exclude data
|
2016-08-10 12:51:03 +01:00
|
|
|
extendConfList(config, "include", incRules)
|
|
|
|
extendConfList(config, "exclude", excRules)
|
2016-08-05 14:27:21 +01:00
|
|
|
|
|
|
|
// override ignoreNosec if given on CLI
|
|
|
|
if flagIgnoreNoSec != nil {
|
|
|
|
config["ignoreNosec"] = *flagIgnoreNoSec
|
|
|
|
} else {
|
|
|
|
val, ok := config["ignoreNosec"]
|
|
|
|
if !ok {
|
|
|
|
config["ignoreNosec"] = false
|
|
|
|
} else if _, ok := val.(bool); !ok {
|
|
|
|
logger.Fatal("Config value must be a bool: 'ignoreNosec'")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return config
|
|
|
|
}
|
|
|
|
|
2016-07-20 11:02:01 +01:00
|
|
|
func usage() {
|
|
|
|
fmt.Fprintln(os.Stderr, usageText)
|
|
|
|
fmt.Fprint(os.Stderr, "OPTIONS:\n\n")
|
|
|
|
flag.PrintDefaults()
|
2016-08-10 12:51:03 +01:00
|
|
|
fmt.Fprint(os.Stderr, "\n\nRULES:\n\n")
|
|
|
|
|
|
|
|
// sorted rule list for eas of reading
|
|
|
|
rl := GetFullRuleList()
|
|
|
|
keys := make([]string, 0, len(rl))
|
|
|
|
for key := range rl {
|
|
|
|
keys = append(keys, key)
|
|
|
|
}
|
|
|
|
sort.Strings(keys)
|
|
|
|
for _, k := range keys {
|
|
|
|
v := rl[k]
|
|
|
|
fmt.Fprintf(os.Stderr, "\t%s: %s\n", k, v.description)
|
|
|
|
}
|
|
|
|
fmt.Fprint(os.Stderr, "\n")
|
2016-07-20 11:02:01 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
func main() {
|
|
|
|
|
|
|
|
// Setup usage description
|
|
|
|
flag.Usage = usage
|
|
|
|
|
|
|
|
// Exclude files
|
|
|
|
var excluded filelist = []string{"*_test.go"}
|
2016-08-05 14:27:21 +01:00
|
|
|
flag.Var(&excluded, "skip", "File pattern to exclude from scan")
|
2016-07-20 11:02:01 +01:00
|
|
|
|
2016-08-05 14:27:21 +01:00
|
|
|
incRules := ""
|
2016-08-11 13:14:19 +01:00
|
|
|
flag.StringVar(&incRules, "include", "", "Comma separated list of rules IDs to include. (see rule list)")
|
2016-08-05 14:27:21 +01:00
|
|
|
|
|
|
|
excRules := ""
|
2016-08-11 13:14:19 +01:00
|
|
|
flag.StringVar(&excRules, "exclude", "", "Comma separated list of rules IDs to exclude. (see rule list)")
|
2016-08-05 14:27:21 +01:00
|
|
|
|
2016-07-20 11:02:01 +01:00
|
|
|
// Custom commands / utilities to run instead of default analyzer
|
|
|
|
tools := newUtils()
|
|
|
|
flag.Var(tools, "tool", "GAS utilities to assist with rule development")
|
|
|
|
|
|
|
|
// Parse command line arguments
|
|
|
|
flag.Parse()
|
|
|
|
|
|
|
|
// Setup logging
|
2016-08-05 14:27:21 +01:00
|
|
|
logger = log.New(os.Stderr, "[gas]", log.LstdFlags)
|
2016-07-20 11:02:01 +01:00
|
|
|
|
|
|
|
// Ensure at least one file was specified
|
|
|
|
if flag.NArg() == 0 {
|
|
|
|
|
|
|
|
fmt.Fprintf(os.Stderr, "\nerror: FILE [FILE...] or './...' expected\n")
|
|
|
|
flag.Usage()
|
|
|
|
os.Exit(1)
|
|
|
|
}
|
|
|
|
|
|
|
|
// Run utils instead of analysis
|
|
|
|
if len(tools.call) > 0 {
|
|
|
|
tools.run(flag.Args()...)
|
|
|
|
os.Exit(0)
|
|
|
|
}
|
|
|
|
|
|
|
|
// Setup analyzer
|
2016-08-05 14:27:21 +01:00
|
|
|
config := buildConfig(incRules, excRules)
|
|
|
|
analyzer := gas.NewAnalyzer(config, logger)
|
2016-08-10 12:51:03 +01:00
|
|
|
AddRules(&analyzer, config)
|
2016-07-20 11:02:01 +01:00
|
|
|
|
|
|
|
// Traverse directory structure if './...'
|
|
|
|
if flag.NArg() == 1 && flag.Arg(0) == "./..." {
|
|
|
|
|
|
|
|
cwd, err := os.Getwd()
|
|
|
|
if err != nil {
|
|
|
|
logger.Fatalf("Unable to traverse path %s, reason - %s", flag.Arg(0), err)
|
|
|
|
}
|
|
|
|
filepath.Walk(cwd, func(path string, info os.FileInfo, err error) error {
|
|
|
|
if excluded.Contains(path) && info.IsDir() {
|
|
|
|
logger.Printf("Skipping %s\n", path)
|
|
|
|
return filepath.SkipDir
|
|
|
|
}
|
|
|
|
if !info.IsDir() && !excluded.Contains(path) &&
|
|
|
|
strings.HasSuffix(path, ".go") {
|
|
|
|
err = analyzer.Process(path)
|
|
|
|
if err != nil {
|
|
|
|
logger.Fatal(err)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
})
|
|
|
|
|
|
|
|
} else {
|
|
|
|
|
|
|
|
// Process each file individually
|
|
|
|
for _, filename := range flag.Args() {
|
|
|
|
if finfo, err := os.Stat(filename); err == nil {
|
|
|
|
if !finfo.IsDir() && !excluded.Contains(filename) &&
|
|
|
|
strings.HasSuffix(filename, ".go") {
|
|
|
|
if err = analyzer.Process(filename); err != nil {
|
|
|
|
logger.Fatal(err)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
logger.Fatal(err)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Create output report
|
|
|
|
if *flagOutput != "" {
|
|
|
|
outfile, err := os.Create(*flagOutput)
|
|
|
|
if err != nil {
|
|
|
|
logger.Fatalf("Couldn't open: %s for writing. Reason - %s", *flagOutput, err)
|
|
|
|
}
|
|
|
|
defer outfile.Close()
|
|
|
|
output.CreateReport(outfile, *flagFormat, &analyzer)
|
|
|
|
} else {
|
|
|
|
output.CreateReport(os.Stdout, *flagFormat, &analyzer)
|
|
|
|
}
|
|
|
|
}
|