2016-08-05 17:54:29 +01:00
2016-07-20 11:02:01 +01:00
## GAS - Go AST Scanner
Inspects source code for security problems by scanning the Go AST.
2016-08-28 19:09:52 +01:00
### License
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 [here ](http://www.apache.org/licenses/LICENSE-2.0 ).
2016-07-25 17:51:19 +01:00
### Project status
2016-11-02 23:54:20 +00:00
[![Build Status ](https://travis-ci.org/GoASTScanner/gas.svg?branch=master )](https://travis-ci.org/GoASTScanner/gas)
[![GoDoc ](https://godoc.org/github.com/GoASTScanner/gas?status.svg )](https://godoc.org/github.com/GoASTScanner/gas)
2016-08-05 17:54:29 +01:00
2016-07-25 17:51:19 +01:00
Gas is still in alpha and accepting feedback from early adopters. We do
not consider it production ready at this time.
2018-01-11 01:31:08 +00:00
### Install
`$ go get github.com/GoASTScanner/gas/cmd/gas/...`
2016-07-20 11:02:01 +01:00
### Usage
Gas can be configured to only run a subset of rules, to exclude certain file
paths, and produce reports in different formats. By default all rules will be
run against the supplied input files. To recursively scan from the current
directory you can supply './...' as the input argument.
#### Selecting rules
2016-08-28 19:07:28 +01:00
By default Gas will run all rules against the supplied file paths. It is however possible to select a subset of rules to run via the '-include=' flag,
or to specify a set of rules to explicitly exclude using the '-exclude=' flag.
2016-07-20 11:02:01 +01:00
##### Available rules
2016-08-28 19:07:28 +01:00
- G101: Look for hardcoded credentials
- G102: Bind to all interfaces
- G103: Audit the use of unsafe block
- G104: Audit errors not checked
2017-04-10 18:40:27 +01:00
- G105: Audit the use of math/big.Int.Exp
2018-02-06 15:59:00 +00:00
- G106: Audit the use of ssh.InsecureIgnoreHostKey
2018-03-09 19:13:40 +00:00
- G107: Url provided to HTTP request as taint input
2016-08-28 19:07:28 +01:00
- G201: SQL query construction using format string
- G202: SQL query construction using string concatenation
- G203: Use of unescaped data in HTML templates
- G204: Audit use of command execution
- G301: Poor file permissions used when creating a directory
- G302: Poor file permisions used with chmod
- G303: Creating tempfile using a predictable path
2018-03-08 23:23:27 +00:00
- G304: File path provided as taint input
2016-08-28 19:07:28 +01:00
- G401: Detect the usage of DES, RC4, or MD5
- G402: Look for bad TLS connection settings
- G403: Ensure minimum RSA key length of 2048 bits
- G404: Insecure random number source (rand)
- G501: Import blacklist: crypto/md5
- G502: Import blacklist: crypto/des
- G503: Import blacklist: crypto/rc4
- G504: Import blacklist: net/http/cgi
2016-07-20 11:02:01 +01:00
```
2016-08-28 19:07:28 +01:00
# Run a specific set of rules
$ gas -include=G101,G203,G401 ./...
# Run everything except for rule G303
$ gas -exclude=G303 ./...
2016-07-20 11:02:01 +01:00
```
#### Excluding files:
2017-12-13 06:35:54 +00:00
Gas will ignore dependencies in your vendor directory any files
that are not considered build artifacts by the compiler (so test files).
2016-07-20 11:02:01 +01:00
#### Annotating code
2016-07-27 09:36:13 +01:00
As with all automated detection tools there will be cases of false positives. In cases where Gas reports a failure that has been manually verified as being safe it is possible to annotate the code with a '#nosec' comment.
2016-07-20 11:02:01 +01:00
The annotation causes Gas to stop processing any further nodes within the
AST so can apply to a whole block or more granularly to a single expression.
```go
import "md5" // #nosec
func main(){
2016-07-22 15:50:30 +01:00
/* #nosec */
2016-07-20 11:02:01 +01:00
if x > y {
h := md5.New() // this will also be ignored
}
}
```
In some cases you may also want to revisit places where #nosec annotations
2016-07-22 15:50:30 +01:00
have been used. To run the scanner and ignore any #nosec annotations you
can do the following:
2016-07-20 11:02:01 +01:00
```
$ gas -nosec=true ./...
```
### Output formats
2018-03-05 12:20:24 +00:00
Gas currently supports text, json, yaml, csv and JUnit XML output formats. By default
2016-07-22 15:50:30 +01:00
results will be reported to stdout, but can also be written to an output
file. The output format is controlled by the '-fmt' flag, and the output file is controlled by the '-out' flag as follows:
2016-07-20 11:02:01 +01:00
```
# Write output in json format to results.json
$ gas -fmt=json -out=results.json *.go
```
2017-08-03 18:50:58 +01:00
2018-02-21 05:59:18 +00:00
### Generate TLS rule
The configuration of TLS rule can be generated from [Mozilla's TLS ciphers recommendation ](https://statics.tls.security.mozilla.org/server-side-tls-conf.json ).
First you need to install the generator tool:
```
go get github.com/GoASTScanner/gas/cmd/tlsconfig/...
```
You can invoke now the `go generate` in the root of the project:
```
go generate ./...
```
This will generate the `rules/tls_config.go` file with will contain the current ciphers recommendation from Mozilla.