Skip to content

Commit b91d7ee

Browse files
committed
TODO: Clarify comment
1 parent 4f1834f commit b91d7ee

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

data/c.ini

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -195,7 +195,7 @@ command = splint -I{cwd} -strict +quiet {files}
195195
# TODO: https://divine.fi.muni.cz/
196196
# TODO: https://www.spinroot.com/static/
197197
# TODO: https://github.com/sosy-lab/cpachecker/
198-
# TODO: shell metacharacter injection: system popen
198+
# TODO: shell metacharacter injection: system(3), popen(3)
199199
# TODO: astyle
200200
# TODO: uncrustify
201201
# TODO: clang-format

0 commit comments

Comments
 (0)