Remove http:// in package path

This commit is contained in:
Owen Mansel-Chan
2021-02-22 14:47:54 +00:00
parent f32b4883bf
commit ff317e63de

View File

@@ -17,9 +17,7 @@ private import Logrus
abstract class SafeExternalAPIFunction extends Function { }
private predicate isDefaultSafePackage(Package package) {
package.getPath() in [
"time", "unicode/utf8", package("http://gopkg.in/go-playground/validator", "")
]
package.getPath() in ["time", "unicode/utf8", package("gopkg.in/go-playground/validator", "")]
}
/** The default set of "safe" external APIs. */