-
-int ReadExecConfig();
-
-char *GetCommandbyName(char *name, int *timeout);
-
-void ExecCmd(char **cmd);
-
+int ReadExecConfig(void);
+char *GetCommandbyName(const char *name, int *timeout) __attribute__((nonnull));
+void ExecCmd(char *const *cmd) __attribute__((nonnull));