Rust: Make improvements to `getArgString` based on PR comments

This commit is contained in:
Simon Friis Vindum 2024-11-12 09:45:33 +01:00
Родитель cd2038a8f8
Коммит d9d3027667
1 изменённых файлов: 6 добавлений и 1 удалений

Просмотреть файл

@ -26,8 +26,13 @@ private module FlowTestImpl implements InputSig<Location, RustDataFlow> {
result = src.asExpr().(CallExpr).getArgList().getArg(0).toString()
}
bindingset[src, sink]
string getArgString(DataFlow::Node src, DataFlow::Node sink) {
(if exists(getSourceArgString(src)) then result = getSourceArgString(src) else result = "") and
(
result = getSourceArgString(src)
or
not exists(getSourceArgString(src)) and result = ""
) and
exists(sink)
}