Update

HACK-THE-WORLD · Apr 16, 2024 · ccb0495 · ccb0495
1 parent ede504c
commit ccb0495
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/VulFi/vulfi_prototypes.json b/VulFi/vulfi_prototypes.json
@@ -2,7 +2,11 @@
     ".asprintf":"int asprintf(char** strp, char* fmt, ...);",
     "_asprintf":"int asprintf(char** strp, char* fmt, ...);",
     "asprintf":"int asprintf(char** strp, char* fmt, ...);",
+    ".asiprintf":"int asiprintf(char** strp, char* fmt, ...);",
+    "_asiprintf":"int asiprintf(char** strp, char* fmt, ...);",
+    "asiprintf":"int asiprintf(char** strp, char* fmt, ...);",
     "__asprintf_chk":"int __asprintf_chk(char** result_ptr, int flags, char* format, ...);",
+    "__asiprintf_chk":"int __asiprintf_chk(char** result_ptr, int flags, char* format, ...);",
     "__dprintf_chk":"int __dprintf_chk(int d, int flags, char* format, ...);",
     ".execl":"int execl(char* pathname, char* arg, ...);",
     "_execl":"int execl(char* pathname, char* arg, ...);",
@@ -115,6 +119,9 @@
     ".sprintf": "int sprintf(char *str, char* format, ...);",
     "_sprintf": "int sprintf(char *str, char* format, ...);",
     "sprintf": "int sprintf(char *str, char* format, ...);",
+    ".siprintf": "int siprintf(char *str, char* format, ...);",
+    "_siprintf": "int siprintf(char *str, char* format, ...);",
+    "siprintf": "int siprintf(char *str, char* format, ...);",
     "___sprintf_chk": "int __sprintf_chk(char* str, int flag, int strlen, char* format, ...);",
     "__sprintf_chk": "int __sprintf_chk(char* str, int flag, int strlen, char* format, ...);",
     "_sprintf_p_l": "int _sprintf_p_l(char *buffer, int sizeOfBuffer, char* format,void* locale, ...);",

diff --git a/VulFi/vulfi_rules.json b/VulFi/vulfi_rules.json
@@ -57,6 +57,7 @@
             "wsprintfa",
             "fprintf",
             "sprintf",
+            "siprintf",
             "vsprintf",
             "vfprintf",
             "sscanf",
@@ -68,6 +69,7 @@
             "vfprintf_l",
             "vfwprintf_l",
             "asprintf",
+            "asiprintf",
             "vfprintf_p",
             "vfprintf_p_l",
             "vfwprintf_p",
@@ -122,6 +124,7 @@
             "vswprintf_s",
             "vswprintf_s_l",
             "__asprintf_chk", 
+            "__asiprintf_chk", 
             "__dprintf_chk", 
             "__fprintf_chk",
             "__fwprintf_chk", 
@@ -276,6 +279,7 @@
             "fscanf",
             "sscanf",
             "sprintf",
+            "siprintf",
             "vsprintf",
             "vsprintf_like"
         ],
@@ -467,4 +471,4 @@
             "Low": "param[1].number_value() in [0,1] or param[0].used_as_index()"
         }
     }
-]
+]