// (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 ( "encoding/json" "flag" "fmt" "io/ioutil" "log" "os" "path/filepath" "sort" "strings" gas "github.com/HewlettPackard/gas/core" "github.com/HewlettPackard/gas/output" ) // #nosec flag var flagIgnoreNoSec = flag.Bool("nosec", false, "Ignores #nosec comments when set") // format output var flagFormat = flag.String("fmt", "text", "Set output format. Valid options are: json, csv, or text") // output file var flagOutput = flag.String("out", "", "Set output file for results") var flagConfig = flag.String("conf", "", "Path to optional config file") 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): $ gas -include=G101,G203,G401 ./... # Run all rules except the provided $ gas -exclude=G101 ./... ` var logger *log.Logger 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) } } else { conf[name] = input } } } 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 extendConfList(config, "include", incRules) extendConfList(config, "exclude", excRules) // 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 } func usage() { fmt.Fprintln(os.Stderr, usageText) fmt.Fprint(os.Stderr, "OPTIONS:\n\n") flag.PrintDefaults() 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") } func main() { // Setup usage description flag.Usage = usage // Exclude files var excluded filelist = []string{"*_test.go"} flag.Var(&excluded, "skip", "File pattern to exclude from scan") incRules := "" flag.StringVar(&incRules, "include", "", "Comma separated list of rules IDs to include. (see rule list)") excRules := "" flag.StringVar(&excRules, "exclude", "", "Comma separated list of rules IDs to exclude. (see rule list)") // 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 logger = log.New(os.Stderr, "[gas]", log.LstdFlags) // 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 config := buildConfig(incRules, excRules) analyzer := gas.NewAnalyzer(config, logger) AddRules(&analyzer, config) // 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) } }