Model pr_session_disconnect() as a killpath.

proftpd · Oct 13, 2014 · 2991d05 · 2991d05
1 parent 6fd7145
commit 2991d05
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/contrib/coverity/modeling.c b/contrib/coverity/modeling.c
@@ -24,6 +24,12 @@
 
 /* Coverity modeling file. */
 
+/* ProFTPD functions */
+void pr_session_disconnect(module *m, int reason_code, const char *details) {
+  __coverity_panic__();
+}
+
+/* libc functions */
 int setenv(const char *key, const char *value, int overwrite) {
   __coverity_tainted_data_sink__(key);
   __coverity_tainted_data_sink__(value);