Provides classes for working with AST nodes.

Provides classes for working with sinks and taint propagators from the github.com/spf13/afero package.

Provides classes for working with architectures.

Provides classes for working with remote flow sources, sinks and taint propagators from the github.com/aws/aws-lambda-go/lambda package.

Provides classes for working with basic blocks.

Provides classes for working with remote flow sources, sinks and taint propagators from the github.com/beego/beego package.

Provides classes for working with remote flow sources, sinks and taint propagators from the github.com/astaxie/beego/orm subpackage.

Provides classes modeling security-relevant aspects of the Bun package.

Provides classes for working with code comments.

Provides abstract classes representing generic concepts such as file system access or system command execution, for which individual framework libraries provide concrete subclasses.

Provides classes for working with a CFG-based program representation.

Provides models of commonly used functions in the official Couchbase Go SDK library.

Contains customizations to the standard library.

Provides a library for local (intra-procedural) and global (inter-procedural) data flow analysis: deciding whether data can flow from a source to a sink.

Provides classes for working with declarations.

Provides classes for working with remote flow sources, taint propagators, and HTTP sinks from the github.com/labstack/echo package.

Provides classes for working with concepts relating to the github.com/elazarl/goproxy package.

Provides classes for working with email-related APIs.

Provides classes modeling taint propagation through marshalling and encoding functions.

Provides classes for working with Go frontend errors recorded during extraction.

Provides classes for working with expressions.

Provides classes for working with remote flow sources, sinks and taint propagators from the github.com/valyala/fasthttp package.

Provides classes for working with files and folders.

Provides classes representing various flow sources for taint tracking.

Provides classes for modeling the github.com/gin-contrib/cors package.

Provides an implementation of Global Value Numbering. See https://en.wikipedia.org/wiki/Global_value_numbering

Provides models of commonly used functions in the github.com/golang/glog and k8s.io/klog packages.

Provides classes for working with the gopkg.in/square/go-jose and github.com/go-jose/go-jose packages.

Provides classes for working with concepts relating to the github.com/go-kit/kit package.

Provides models of the Go Micro library.

Provides classes for working with go.mod files.

Provides models of commonly used functions and types in the gqlgen packages.

Provides classes for working with HTML documents.

Provides classes and predicates for working with an intermediate representation (IR) of Go programs that is used as the foundation of the control flow and data flow graphs.

Provides classes and predicates for working with the github.com/golang-jwt/jwt and github.com/dgrijalva/jwt-go packages.

Provides models of commonly used functions in the k8s.io/api/core/v1 package.

Provides models of commonly used functions in the k8s.io/apimachinery/pkg/runtime package.

Provides models of commonly used functions in the k8s.io/client-go/kubernetes/typed/core/v1 package.

Provides classes for working with locations and program elements that have locations.

Provides models of commonly used functions in the github.com/sirupsen/logrus package.

Provides classes for working with concepts relating to the Macaron web framework

Provides classes for working with concepts in the Mux HTTP middleware library.

Provides classes for working with NoSQL-related concepts such as queries.

Provides classes for working with packages.

Provides models of commonly used functions and types in the protobuf packages.

Provides classes for working with remote flow sources from the github.com/revel/revel package.

Provides classes for modeling the github.com/rs/cors package.

Provides classes for working with SQL-related concepts such as queries.

Provides classes for working with static single assignment form (SSA).

Provides classes for working with scopes and declared objects.

Provides models of commonly used functions in the github.com/davecgh/go-spew/spew package.

Provides classes modeling security-relevant aspects of the squirrel ORM package.

Provides classes modeling security-relevant aspects of the standard libraries.

Provides classes for working with statements.

Provides predicates and classes for working with string operations.

Provides concrete classes for data-flow nodes that execute an operating system command, for instance by spawning a new process.

Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.

Provides classes for working with tests.

Provides models of commonly used functions and types in the twirp packages.

Provides classes for working with Go types.

This module provides general utility classes and predicates.

Provides the VariableWithFields class, for working with variables with a chain of field or element accesses chained to it.

Provides classes for working with WebSocket-related APIs.

Provides classes modeling security-relevant aspects of the golang.org/x/net/html subpackage.

Provides classes for working with XPath-related concepts such as XPath expressions.

Provides classes for working with the gopkg.in/yaml package.

Provides models of commonly used functions in the go.uber.org/zap package.