mirror of
https://github.com/securego/gosec.git
synced 2024-11-05 11:35:51 +00:00
9c19cb6501
* Add check for usage of Rat.SetString in math/big with an overflow error Rat.SetString in math/big in Go before 1.16.14 and 1.17.x before 1.17.7 has an overflow that can lead to Uncontrolled Memory Consumption. It is the CVE-2022-23772. * Use ContainsPkgCallExpr instead of manual parsing
118 lines
3.3 KiB
Go
118 lines
3.3 KiB
Go
//
|
|
// 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 gosec
|
|
|
|
import (
|
|
"go/ast"
|
|
"strings"
|
|
)
|
|
|
|
const vendorPath = "vendor/"
|
|
|
|
type set map[string]bool
|
|
|
|
// CallList is used to check for usage of specific packages
|
|
// and functions.
|
|
type CallList map[string]set
|
|
|
|
// NewCallList creates a new empty CallList
|
|
func NewCallList() CallList {
|
|
return make(CallList)
|
|
}
|
|
|
|
// AddAll will add several calls to the call list at once
|
|
func (c CallList) AddAll(selector string, idents ...string) {
|
|
for _, ident := range idents {
|
|
c.Add(selector, ident)
|
|
}
|
|
}
|
|
|
|
// Add a selector and call to the call list
|
|
func (c CallList) Add(selector, ident string) {
|
|
if _, ok := c[selector]; !ok {
|
|
c[selector] = make(set)
|
|
}
|
|
c[selector][ident] = true
|
|
}
|
|
|
|
// Contains returns true if the package and function are
|
|
// members of this call list.
|
|
func (c CallList) Contains(selector, ident string) bool {
|
|
if idents, ok := c[selector]; ok {
|
|
_, found := idents[ident]
|
|
return found
|
|
}
|
|
return false
|
|
}
|
|
|
|
// ContainsPointer returns true if a pointer to the selector type or the type
|
|
// itself is a members of this call list.
|
|
func (c CallList) ContainsPointer(selector, indent string) bool {
|
|
if strings.HasPrefix(selector, "*") {
|
|
if c.Contains(selector, indent) {
|
|
return true
|
|
}
|
|
s := strings.TrimPrefix(selector, "*")
|
|
return c.Contains(s, indent)
|
|
}
|
|
return false
|
|
}
|
|
|
|
// ContainsPkgCallExpr resolves the call expression name and type, and then further looks
|
|
// up the package path for that type. Finally, it determines if the call exists within the call list
|
|
func (c CallList) ContainsPkgCallExpr(n ast.Node, ctx *Context, stripVendor bool) *ast.CallExpr {
|
|
selector, ident, err := GetCallInfo(n, ctx)
|
|
if err != nil {
|
|
return nil
|
|
}
|
|
|
|
// Selector can have two forms:
|
|
// 1. A short name if a module function is called (expr.Name).
|
|
// E.g., "big" if called function from math/big.
|
|
// 2. A full name if a structure function is called (TypeOf(expr)).
|
|
// E.g., "math/big.Rat" if called function of Rat structure from math/big.
|
|
if !strings.ContainsRune(selector, '.') {
|
|
// Use only explicit path (optionally strip vendor path prefix) to reduce conflicts
|
|
path, ok := GetImportPath(selector, ctx)
|
|
if !ok {
|
|
return nil
|
|
}
|
|
selector = path
|
|
}
|
|
|
|
if stripVendor {
|
|
if vendorIdx := strings.Index(selector, vendorPath); vendorIdx >= 0 {
|
|
selector = selector[vendorIdx+len(vendorPath):]
|
|
}
|
|
}
|
|
if !c.Contains(selector, ident) {
|
|
return nil
|
|
}
|
|
|
|
return n.(*ast.CallExpr)
|
|
}
|
|
|
|
// ContainsCallExpr resolves the call expression name and type, and then determines
|
|
// if the call exists with the call list
|
|
func (c CallList) ContainsCallExpr(n ast.Node, ctx *Context) *ast.CallExpr {
|
|
selector, ident, err := GetCallInfo(n, ctx)
|
|
if err != nil {
|
|
return nil
|
|
}
|
|
if !c.Contains(selector, ident) && !c.ContainsPointer(selector, ident) {
|
|
return nil
|
|
}
|
|
|
|
return n.(*ast.CallExpr)
|
|
}
|