Module go
Provides classes for working with Go programs.
Import path
import goImports
| AST | Provides classes for working with AST nodes. |
| Afero | Provides classes for working with sinks and taint propagators from the |
| Architectures | Provides classes for working with architectures. |
| AwsLambda | Provides classes for working with remote flow sources, sinks and taint propagators from the |
| BasicBlocks | Provides classes for working with basic blocks. |
| Beego | Provides classes for working with remote flow sources, sinks and taint propagators from the |
| BeegoOrm | Provides classes for working with remote flow sources, sinks and taint propagators from the |
| Bun | Provides classes modeling security-relevant aspects of the |
| Comments | Provides classes for working with code comments. |
| Concepts | Provides abstract classes representing generic concepts such as file system access or system command execution, for which individual framework libraries provide concrete subclasses. |
| ControlFlowGraph | Provides classes for working with a CFG-based program representation. |
| Couchbase | Provides models of commonly used functions in the official Couchbase Go SDK library. |
| CryptoLibraries | Provides classes for modeling cryptographic libraries. |
| Customizations | Contains customizations to the standard library. |
| DataFlow | 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. |
| Decls | Provides classes for working with declarations. |
| Echo | Provides classes for working with remote flow sources, taint propagators, and HTTP sinks from the |
| ElazarlGoproxy | Provides classes for working with concepts relating to the github.com/elazarl/goproxy package. |
Provides classes for working with email-related APIs. | |
| Encoding | Provides classes modeling taint propagation through marshalling and encoding functions. |
| Errors | Provides classes for working with Go frontend errors recorded during extraction. |
| Expr | Provides classes for working with expressions. |
| Fasthttp | Provides classes for working with remote flow sources, sinks and taint propagators from the |
| Files | Provides classes for working with files and folders. |
| FlowSources | Provides classes representing various flow sources for taint tracking. |
| Gin | Provides classes for modeling the |
| GinCors | Provides classes for modeling the |
| GlobalValueNumbering | Provides an implementation of Global Value Numbering. See https://en.wikipedia.org/wiki/Global_value_numbering |
| Glog | Provides models of commonly used functions in the |
| GoJose | Provides classes for working with the |
| GoKit | Provides classes for working with concepts relating to the github.com/go-kit/kit package. |
| GoMicro | Provides models of the Go Micro library. |
| GoMod | Provides classes for working with go.mod files. |
| Gqlgen | Provides models of commonly used functions and types in the gqlgen packages. |
| HTML | Provides classes for working with HTML documents. |
| IR | 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. |
| Jwt | Provides classes and predicates for working with the |
| K8sIoApiCoreV1 | Provides models of commonly used functions in the |
| K8sIoApimachineryPkgRuntime | Provides models of commonly used functions in the |
| K8sIoClientGo | Provides models of commonly used functions in the |
| Locations | Provides classes for working with locations and program elements that have locations. |
| Logrus | Provides models of commonly used functions in the |
| Macaron | Provides classes for working with concepts relating to the Macaron web framework |
| Mux | Provides classes for working with concepts in the Mux HTTP middleware library. |
| NoSQL | Provides classes for working with NoSQL-related concepts such as queries. |
| Packages | Provides classes for working with packages. |
| Protobuf | Provides models of commonly used functions and types in the protobuf packages. |
| Revel | Provides classes for working with remote flow sources from the |
| RsCors | Provides classes for modeling the |
| SQL | Provides classes for working with SQL-related concepts such as queries. |
| SSA | Provides classes for working with static single assignment form (SSA). |
| Scopes | Provides classes for working with scopes and declared objects. |
| Spew | Provides models of commonly used functions in the |
| Squirrel | Provides classes modeling security-relevant aspects of the |
| Stdlib | Provides classes modeling security-relevant aspects of the standard libraries. |
| Stmt | Provides classes for working with statements. |
| StringOps | Provides predicates and classes for working with string operations. |
| SystemCommandExecutors | Provides concrete classes for data-flow nodes that execute an operating system command, for instance by spawning a new process. |
| TaintTracking | Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses. |
| Testing | Provides classes for working with tests. |
| Twirp | Provides models of commonly used functions and types in the twirp packages. |
| Types | Provides classes for working with Go types. |
| Util | This module provides general utility classes and predicates. |
| VariableWithFields | Provides the |
| WebSocket | Provides classes for working with WebSocket-related APIs. |
| XNetHtml | Provides classes modeling security-relevant aspects of the |
| XPath | Provides classes for working with XPath-related concepts such as XPath expressions. |
| Yaml | Provides classes for working with the gopkg.in/yaml package. |
| Zap | Provides models of commonly used functions in the |