Fix formatting

owen-mc · web-flow · commit 0bf0c069c68e · 2024-03-04T13:39:44.000Z
diff --git a/go/ql/src/experimental/CWE-770/DenialOfService.ql b/go/ql/src/experimental/CWE-770/DenialOfService.ql
@@ -13,7 +13,6 @@
 
 import go
 
-
 /**
  * Holds if the guard `g` on its branch `branch` checks that `e` is not constant and is less than some other value.
  */
@@ -25,7 +24,7 @@ predicate denialOfServiceSanitizerGuard(DataFlow::Node g, Expr e, boolean branch
   )
 }
 
-/*
+/**
  * Module for defining predicates and tracking taint flow related to denial of service issues.
  */
 module Config implements DataFlow::ConfigSig {

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,6 @@`
`13`	`13`
`14`	`14`	`import go`
`15`	`15`
`16`		`-`
`17`	`16`	`/**`
`18`	`17`	* Holds if the guard `g` on its branch `branch` checks that `e` is not constant and is less than some other value.
`19`	`18`	`*/`
`@@ -25,7 +24,7 @@ predicate denialOfServiceSanitizerGuard(DataFlow::Node g, Expr e, boolean branch`
`25`	`24`	`)`
`26`	`25`	`}`
`27`	`26`
`28`		`-/*`
	`27`	`+/**`
`29`	`28`	`* Module for defining predicates and tracking taint flow related to denial of service issues.`
`30`	`29`	`*/`
`31`	`30`	`module Config implements DataFlow::ConfigSig {`