core

package
v0.0.0-...-d2cf145 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Dec 23, 2016 License: Apache-2.0 Imports: 14 Imported by: 0

Documentation

Overview

Package core holds the central scanning logic used by GAS

(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.

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func GetCallInfo 

func GetCallInfo(n ast.Node, ctx *Context) (string, string, error)

GetCallInfo returns the package or type and name associated with a call expression.

func GetCallObject 

func GetCallObject(n ast.Node, ctx *Context) (*ast.CallExpr, types.Object)

GetCallObject returns the object and call expression and associated object for a given AST node. nil, nil will be returned if the object cannot be resolved.

func GetChar 

func GetChar(n ast.Node) (byte, error)

GetInt will read and return a char value from an ast.BasicLit

func GetFloat 

func GetFloat(n ast.Node) (float64, error)

GetInt will read and return a float value from an ast.BasicLit

func GetImportPath 

func GetImportPath(name string, ctx *Context) (string, bool)

GetImportPath resolves the full import path of an identifer based on the imports in the current context.

func GetImportedName 

func GetImportedName(path string, ctx *Context) (string, bool)

GetImportedName returns the name used for the package within the code. It will resolve aliases and ignores initalization only imports.

func GetInt 

func GetInt(n ast.Node) (int64, error)

GetInt will read and return an integer value from an ast.BasicLit

func GetLocation 

func GetLocation(n ast.Node, ctx *Context) (string, int)

GetLocation returns the filename and line number of an ast.Node

func GetString 

func GetString(n ast.Node) (string, error)

GetInt will read and return a string value from an ast.BasicLit

func MatchCall 

func MatchCall(n ast.Node, r *regexp.Regexp) *ast.CallExpr

MatchCall will match an ast.CallNode if its method name obays the given regex.

func MatchCallByPackage 

func MatchCallByPackage(n ast.Node, c *Context, pkg string, names ...string) (*ast.CallExpr, bool)

MatchCallByPackage ensures that the specified package is imported, adjusts the name for any aliases and ignores cases that are initialization only imports.

Usage: 

node, matched := MatchCallByPackage(n, ctx, "math/rand", "Read")

func MatchCallByType 

func MatchCallByType(n ast.Node, ctx *Context, requiredType string, calls ...string) (*ast.CallExpr, bool)

MatchCallByType ensures that the node is a call expression to a specific object type.

Usage: 

node, matched := MatchCallByType(n, ctx, "bytes.Buffer", "WriteTo", "Write")

func MatchCompLit 

func MatchCompLit(n ast.Node, r *regexp.Regexp) *ast.CompositeLit

MatchCompLit will match an ast.CompositeLit if its string value obays the given regex.

func Select 

func Select(s Selector, n ast.Node, bits ...reflect.Type)

func SimpleSelect 

func SimpleSelect(n ast.Node, bits ...reflect.Type) ast.Node

SimpleSelect will try to match a path through a sub-tree starting at a given AST node. The type of each node in the path at a given depth must match its entry in list of node types given.

func TryResolve 

func TryResolve(n ast.Node, c *Context) bool

TryResolve will attempt, given a subtree starting at some ATS node, to resolve all values contained within to a known constant. It is used to check for any unkown values in compound expressions.

Types

type Analyzer 

type Analyzer struct {
	Issues []*Issue `json:"issues"`
	Stats  *Metrics `json:"metrics"`
	// contains filtered or unexported fields
}

The Analyzer object is the main object of GAS. It has methods traverse an AST and invoke the correct checking rules as on each node as required.

func NewAnalyzer 

func NewAnalyzer(conf map[string]interface{}, logger *log.Logger) Analyzer

NewAnalyzer builds a new anaylzer.

func (*Analyzer) AddRule 

func (gas *Analyzer) AddRule(r Rule, nodes []ast.Node)

AddRule adds a rule into a rule set list mapped to the given AST node's type. The node is only needed for its type and is not otherwise used.

func (*Analyzer) Process 

func (gas *Analyzer) Process(filename string) error

Process reads in a source file, convert it to an AST and traverse it. Rule methods added with AddRule will be invoked as necessary.

func (*Analyzer) ProcessSource 

func (gas *Analyzer) ProcessSource(filename string, source string) error

ProcessSource will convert a source code string into an AST and traverse it. Rule methods added with AddRule will be invoked as necessary. The string is identified by the filename given but no file IO will be done.

func (*Analyzer) Visit 

func (gas *Analyzer) Visit(n ast.Node) ast.Visitor

Visit runs the GAS visitor logic over an AST created by parsing go code. Rule methods added with AddRule will be invoked as necessary.

type CallList 

type CallList map[string]set

/ CallList is used to check for usage of specific packages / and functions.

func NewCallList 

func NewCallList() CallList

/ NewCallList creates a new empty CallList

func (CallList) Add 

func (c CallList) Add(selector, ident string)

/ Add a selector and call to the call list

func (CallList) AddAll 

func (c CallList) AddAll(selector string, idents ...string)

/ AddAll will add several calls to the call list at once

func (CallList) Contains 

func (c CallList) Contains(selector, ident string) bool

/ Contains returns true if the package and function are / members of this call list.

func (CallList) ContainsCallExpr 

func (c CallList) ContainsCallExpr(n ast.Node, ctx *Context) bool

/ ContainsCallExpr resolves the call expression name and type / or package and determines if it exists within the CallList

type Context 

type Context struct {
	FileSet  *token.FileSet
	Comments ast.CommentMap
	Info     *types.Info
	Pkg      *types.Package
	Root     *ast.File
	Config   map[string]interface{}
	Imports  *ImportInfo
}

The Context is populated with data parsed from the source code as it is scanned. It is passed through to all rule functions as they are called. Rules may use this data in conjunction withe the encoutered AST node.

type ImportInfo 

type ImportInfo struct {
	Imported map[string]string
	Aliased  map[string]string
	InitOnly map[string]bool
}

ImportInfo is used to track aliased and initialization only imports.

func NewImportInfo 

func NewImportInfo() *ImportInfo

type Issue 

type Issue struct {
	Severity   Score  `json:"severity"`   // issue severity (how problematic it is)
	Confidence Score  `json:"confidence"` // issue confidence (how sure we are we found it)
	What       string `json:"details"`    // Human readable explanation
	File       string `json:"file"`       // File name we found it in
	Code       string `json:"code"`       // Impacted code line
	Line       int    `json:"line"`       // Line number in file
}

An Issue is returnd by a GAS rule if it discovers an issue with the scanned code.

func NewIssue 

func NewIssue(ctx *Context, node ast.Node, desc string, severity Score, confidence Score) *Issue

NewIssue creates a new Issue

type MetaData 

type MetaData struct {
	Severity   Score
	Confidence Score
	What       string
}

MetaData is embedded in all GAS rules. The Severity, Confidence and What message will be passed tbhrough to reported issues.

type Metrics 

type Metrics struct {
	NumFiles int `json:"files"`
	NumLines int `json:"lines"`
	NumNosec int `json:"nosec"`
	NumFound int `json:"found"`
}

Metrics used when reporting information about a scanning run.

type Rule 

type Rule interface {
	Match(ast.Node, *Context) (*Issue, error)
}

The Rule interface used by all rules supported by GAS.

type RuleSet 

type RuleSet map[reflect.Type][]Rule

A RuleSet maps lists of rules to the type of AST node they should be run on. The anaylzer will only invoke rules contained in the list associated with the type of AST node it is currently visiting.

type Score 

type Score int

Score type used by severity and confidence values 

const (
	Low    Score = iota // Low value
	Medium              // Medium value
	High                // High value
)

func (Score) MarshalJSON 

func (c Score) MarshalJSON() ([]byte, error)

MarshalJSON is used convert a Score object into a JSON representation

func (Score) String 

func (c Score) String() string

String converts a Score into a string

type SelectFunc 

type SelectFunc func(ast.Node, int) bool

SelectFunc is like an AST visitor, but has a richer interface. It is called with the current ast.Node being visitied and that nodes depth in the tree. The function can return true to continue traversing the tree, or false to end traversal here.

type Selector 

type Selector interface {
	Final(ast.Node)
	Partial(ast.Node) bool
}

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.