C++: Suggested change.

This commit is contained in:
Geoffrey White
2020-06-25 11:12:09 +01:00
parent d259e8e8df
commit 8f6e56cb41

View File

@@ -27,7 +27,7 @@ class StrcatFunction extends TaintFunction, DataFlowFunction, ArrayFunction, Sid
/**
* Gets the index of the parameter that is the size of the copy (in characters).
*/
int getParamSize() { if exists(getParameter(2)) then result = 2 else none() }
int getParamSize() { exists(getParameter(2)) and result = 2 }
/**
* Gets the index of the parameter that is the source of the copy.