diff --git a/VulFi/vulfi_prototypes.json b/VulFi/vulfi_prototypes.json index ebe4fda..a0e96c5 100644 --- 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 index 5aeff84..44ea220 100644 --- 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()" } } -] \ No newline at end of file +]