We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
170 if (fd != 0) fail(pipefd[1], "Can't redirect stdin to /dev/null"); 10. Condition dup(fd) < 0, taking false branch. CID 379163:(#1 of 2):Resource leak (RESOURCE_LEAK) [ "select issue" ] CID 379174:Argument cannot be negative (NEGATIVE_RETURNS) [ "select issue" ] 171 if (dup(fd) < 0) fail(pipefd[1], "Can't redirect stdout to /dev/null"); 11. open_fn: Returning handle opened by dup. 12. Condition dup(fd) < 0, taking false branch. CID 379163: (#2 of 2): Resource leak (RESOURCE_LEAK) 13. leaked_handle: Failing to save or close handle opened by dup(fd) leaks it. 172 if (dup(fd) < 0) fail(pipefd[1], "Can't redirect stderr /dev/null");
Also this
23. Condition pf == NULL, taking true branch. 24. var_compare_op: Comparing pf to null implies that pf might be null. 25. Condition *__errno_location(), taking false branch. 228 if (pf == 0) fail(pipefd[1], "Can't write pidfile %s", pidfile); CID 379178: (#1 of 1): Dereference after null check (FORWARD_NULL) 26. var_deref_model: Passing null pointer pf to fprintf, which dereferences it. 229 fprintf(pf, "%d\n", getpid()); 230 fclose(pf); 231 }
The text was updated successfully, but these errors were encountered:
ganeshmurthy
Successfully merging a pull request may close this issue.
Also this
The text was updated successfully, but these errors were encountered: