File tree Expand file tree Collapse file tree
go/ql/lib/semmle/go/security Expand file tree Collapse file tree Original file line number Diff line number Diff line change 44 */
55
66import go
7+
8+ private import semmle.go.dataflow.FlowSummary
79private import Xss
810private import SqlInjectionCustomizations
911private import RequestForgeryCustomizations
@@ -148,10 +150,17 @@ Package getAPackageWithFunctionModels() {
148150 exists ( getAMethodModelInPackage ( result ) )
149151}
150152
153+ /** Gets the name of a package that has at least one SummarizedCallable. */
154+ Package getAPackageWithSummarizedCallables ( ) {
155+ result = any ( SummarizedCallable c ) .asFunction ( ) .getPackage ( )
156+ }
157+
151158/** Gets the name of a package which has models. */
152159Package getAPackageWithModels ( ) {
153160 result = getAPackageWithFunctionModels ( )
154161 or
162+ result = getAPackageWithSummarizedCallables ( )
163+ or
155164 // An incomplete list of packages which have been modeled but do not have any function models
156165 result .getPath ( ) in [
157166 Logrus:: packagePath ( ) , GolangOrgXNetWebsocket:: packagePath ( ) , GorillaWebsocket:: packagePath ( )
You can’t perform that action at this time.
0 commit comments