CPP: Normalize spacing.

geoffw0 · geoffw0 · commit 47644b08b223 · 2019-06-26T17:19:56.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strcpy.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/Strcpy.qll
@@ -43,7 +43,7 @@ class StrcpyFunction extends ArrayFunction, DataFlowFunction, TaintFunction {
     bufParam = 0 and
     countParam = 2
   }
-  
+
   override predicate hasArrayWithUnknownSize(int bufParam) {
     (
       this.hasName("strcpy") or
@@ -52,7 +52,6 @@ class StrcpyFunction extends ArrayFunction, DataFlowFunction, TaintFunction {
     ) and
     bufParam = 0
   }
-  
 
   override predicate hasDataFlow(FunctionInput input, FunctionOutput output) {
     (
@@ -76,7 +75,7 @@ class StrcpyFunction extends ArrayFunction, DataFlowFunction, TaintFunction {
       output.isOutReturnValue()
     )
   }
-  
+
   override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
     (
       // these may do only a partial copy of the input buffer to the output

Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@ class StrcpyFunction extends ArrayFunction, DataFlowFunction, TaintFunction {`
`43`	`43`	`bufParam = 0 and`
`44`	`44`	`countParam = 2`
`45`	`45`	`}`
`46`		`-`
	`46`	`+`
`47`	`47`	`override predicate hasArrayWithUnknownSize(int bufParam) {`
`48`	`48`	`(`
`49`	`49`	`this.hasName("strcpy") or`
`@@ -52,7 +52,6 @@ class StrcpyFunction extends ArrayFunction, DataFlowFunction, TaintFunction {`
`52`	`52`	`) and`
`53`	`53`	`bufParam = 0`
`54`	`54`	`}`
`55`		`-`
`56`	`55`
`57`	`56`	`override predicate hasDataFlow(FunctionInput input, FunctionOutput output) {`
`58`	`57`	`(`
`@@ -76,7 +75,7 @@ class StrcpyFunction extends ArrayFunction, DataFlowFunction, TaintFunction {`
`76`	`75`	`output.isOutReturnValue()`
`77`	`76`	`)`
`78`	`77`	`}`
`79`		`-`
	`78`	`+`
`80`	`79`	`override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {`
`81`	`80`	`(`
`82`	`81`	`// these may do only a partial copy of the input buffer to the output`