From: James Jones <jejones3141@gmail.com>
Date: Fri, 23 Jun 2023 15:25:23 +0000 (-0500)
Subject: Add fr_radius_ok() model
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=72d6c1c1f77cd8fd9777a98968b7ddd6c220ba25;p=thirdparty%2Ffreeradius-server.git

Add fr_radius_ok() model

Tells coverity that if fr_radius_ok() returns true, the packet
is valid.
---

diff --git a/src/coverity-model/merged_model.c b/src/coverity-model/merged_model.c
index 08936e8235f..0bc3d015fda 100644
--- a/src/coverity-model/merged_model.c
+++ b/src/coverity-model/merged_model.c
@@ -95,6 +95,7 @@ static fr_pool_connection_t *connection_find(fr_pool_t *pool, void *conn)
 typedef unsigned char uint8_t;
 typedef unsigned short uint16_t;
 #define UINT8_MAX 255
+typedef unsigned int uint32_t;
 
 typedef ssize_t	fr_slen_t;
 
@@ -327,3 +328,32 @@ void fr_md5_calc(uint8_t out[static MD5_DIGEST_LENGTH], uint8_t const *in, size_
 {
 	__coverity_write_buffer_bytes__(out, MD5_DIGEST_LENGTH);
 }
+
+typedef enum {
+	DECODE_FAIL_NONE = 0,
+	DECODE_FAIL_MIN_LENGTH_PACKET,
+	DECODE_FAIL_MIN_LENGTH_FIELD,
+	DECODE_FAIL_MIN_LENGTH_MISMATCH,
+	DECODE_FAIL_HEADER_OVERFLOW,
+	DECODE_FAIL_UNKNOWN_PACKET_CODE,
+	DECODE_FAIL_INVALID_ATTRIBUTE,
+	DECODE_FAIL_ATTRIBUTE_TOO_SHORT,
+	DECODE_FAIL_ATTRIBUTE_OVERFLOW,
+	DECODE_FAIL_MA_INVALID_LENGTH,
+	DECODE_FAIL_ATTRIBUTE_UNDERFLOW,
+	DECODE_FAIL_TOO_MANY_ATTRIBUTES,
+	DECODE_FAIL_MA_MISSING,
+	DECODE_FAIL_MA_INVALID,
+	DECODE_FAIL_UNKNOWN,
+	DECODE_FAIL_MAX
+} decode_fail_t;
+
+bool fr_radius_ok(uint8_t const *packet, size_t *packet_len_p,
+		  uint32_t max_attributes, bool require_ma, decode_fail_t *reason)
+{
+	bool result;
+
+	if (result) __coverity_mark_pointee_as_sanitized__(packet, TAINTED_SCALAR_GENERIC);
+
+	return result;
+}