C++: Autoformat.

geoffw0 · geoffw0 · commit 01dc3661b7b5 · 2020-01-28T12:17:56.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/FormattingFunction.qll b/cpp/ql/src/semmle/code/cpp/models/interfaces/FormattingFunction.qll
@@ -136,26 +136,22 @@ abstract class FormattingFunction extends ArrayFunction, TaintFunction {
   int getSizeParameterIndex() { none() }
 
   override predicate hasArrayWithNullTerminator(int bufParam) {
-  	bufParam = getFormatParameterIndex()
-  } 	
+    bufParam = getFormatParameterIndex()
+  }
 
   override predicate hasArrayWithVariableSize(int bufParam, int countParam) {
-  	bufParam = getOutputParameterIndex() and
-  	countParam = getSizeParameterIndex()
+    bufParam = getOutputParameterIndex() and
+    countParam = getSizeParameterIndex()
   }
 
   override predicate hasArrayWithUnknownSize(int bufParam) {
-  	bufParam = getOutputParameterIndex() and
-  	not exists(getSizeParameterIndex())
+    bufParam = getOutputParameterIndex() and
+    not exists(getSizeParameterIndex())
   }
 
-  predicate hasArrayInput(int bufParam) {
-  	bufParam = getFormatParameterIndex()
-  }
+  predicate hasArrayInput(int bufParam) { bufParam = getFormatParameterIndex() }
 
-  predicate hasArrayOutput(int bufParam) {
-  	bufParam = getOutputParameterIndex()
-  }
+  predicate hasArrayOutput(int bufParam) { bufParam = getOutputParameterIndex() }
 
   override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
     input.isParameterDeref(getFormatParameterIndex()) and
