platform library are missing SAL annotation (#1742)

* enable app verifier for cicd build

* SAL annotations

* changed yml file

* change _In_ to _Inout_

* update doxygen

* Update libs/platform/user/ebpf_handle_user.c

Co-authored-by: Dave Thaler <dthaler@microsoft.com>

* Update libs/platform/kernel/ebpf_handle_kernel.c

Co-authored-by: Dave Thaler <dthaler@microsoft.com>

Co-authored-by: Dave Thaler <dthaler@microsoft.com>

libs/platform/ebpf_handle.h

@@ -32,13 +32,13 @@ extern "C"
      * @brief Create a handle that holds a reference on the object.
      *
      * @param[out] handle Pointer to memory that contains the handle on success.
-     * @param[in] object Object to be referenced by this handle.
+     * @param[in,out] object Object to write to.
      * @retval EBPF_SUCCESS The operation was successful.
      * @retval EBPF_NO_MEMORY Unable to allocate resources for this
      *  operation.
      */
     _Must_inspect_result_ ebpf_result_t
-    ebpf_handle_create(ebpf_handle_t* handle, struct _ebpf_base_object* object);
+    ebpf_handle_create(_Out_ ebpf_handle_t* handle, _Inout_ struct _ebpf_base_object* object);
 
     /**
      * @brief Remove an existing handle from the handle table and release its

libs/platform/kernel/ebpf_handle_kernel.c

@@ -18,7 +18,7 @@ ebpf_handle_table_terminate()
 {}
 
 _Must_inspect_result_ ebpf_result_t
-ebpf_handle_create(ebpf_handle_t* handle, ebpf_base_object_t* object)
+ebpf_handle_create(_Out_ ebpf_handle_t* handle, _Inout_ ebpf_base_object_t* object)
 {
     EBPF_LOG_ENTRY();
     ebpf_result_t return_value;

libs/platform/user/ebpf_handle_user.c

@@ -40,7 +40,7 @@ ebpf_handle_table_terminate()
 }
 
 _Must_inspect_result_ ebpf_result_t
-ebpf_handle_create(ebpf_handle_t* handle, ebpf_base_object_t* object)
+ebpf_handle_create(_Out_ ebpf_handle_t* handle, _Inout_  ebpf_base_object_t* object)
 {
     EBPF_LOG_ENTRY();
     ebpf_handle_t new_handle;