WSASendTo.hh

Go to the documentation of this file.

/*
 * Copyright 2021 Assured Information Security, Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *         http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
/* This file is automatically generated. Do not edit. */
#pragma once
 
#include <cstdint>
#include <introvirt/core/memory/guest_ptr.hh>
#include <introvirt/windows/libraries/WindowsFunctionCall.hh>
#include <introvirt/windows/libraries/ws2_32/types/SOCKADDR.hh>
#include <introvirt/windows/libraries/ws2_32/types/SOCKET.hh>
#include <introvirt/windows/libraries/ws2_32/types/WSABUF.hh>
#include <introvirt/windows/libraries/ws2_32/types/WSAOVERLAPPED.hh>
#include <memory>
#include <ostream>
#include <string>
 
namespace introvirt {
namespace windows {
namespace ws2_32 {
 
class WSASendTo final : public WindowsFunctionCall {
  public:
    SOCKET s() const;
    void s(SOCKET s);
 
    guest_ptr<void> pBuffers() const;
    void pBuffers(const guest_ptr<void>& pBuffers);
    std::vector<std::shared_ptr<WSABUF>> Buffers();
 
    uint32_t dwBufferCount() const;
    void dwBufferCount(uint32_t dwBufferCount);
 
    guest_ptr<uint32_t> pNumberOfBytesSent() const;
    void pNumberOfBytesSent(const guest_ptr<uint32_t>& pNumberOfBytesSent);
 
    uint32_t Flags() const;
    void Flags(uint32_t Flags);
 
    guest_ptr<void> pTo() const;
    void pTo(const guest_ptr<void>& pTo);
    std::shared_ptr<SOCKADDR> To();
 
    int32_t iToLen() const;
    void iToLen(int32_t iToLen);
 
    guest_ptr<void> pOverlapped() const;
    void pOverlapped(const guest_ptr<void>& pOverlapped);
    std::shared_ptr<WSAOVERLAPPED> Overlapped();
 
    guest_ptr<void> pCompletionRoutine() const;
    void pCompletionRoutine(const guest_ptr<void>& pCompletionRoutine);
 
    const std::string& function_name() const override;
    const std::string& library_name() const override;
    void write(std::ostream& os = std::cout) const override;
    Json::Value json() const override;
 
    int32_t result() const;
    void result(int32_t result);
 
    WSASendTo(Event& event);
    ~WSASendTo() override;
 
    /* Injection helper */
    static int32_t inject(SOCKET s, const guest_ptr<void>& pBuffers, uint32_t dwBufferCount,
                          const guest_ptr<uint32_t>& pNumberOfBytesSent, uint32_t Flags,
                          const guest_ptr<void>& pTo, int32_t iToLen,
                          const guest_ptr<void>& pOverlapped,
                          const guest_ptr<void>& pCompletionRoutine);
 
    static constexpr int ArgumentCount = 9;
    inline static const std::string LibraryName = "ws2_32";
    inline static const std::string FunctionName = "WSASendTo";
 
  private:
    /* Injection constructor */
    WSASendTo(Event& event, SOCKET s, const guest_ptr<void>& pBuffers, uint32_t dwBufferCount,
              const guest_ptr<uint32_t>& pNumberOfBytesSent, uint32_t Flags,
              const guest_ptr<void>& pTo, int32_t iToLen, const guest_ptr<void>& pOverlapped,
              const guest_ptr<void>& pCompletionRoutine);
 
  private:
    SOCKET s_;
    guest_ptr<void> pBuffers_;
    uint32_t dwBufferCount_;
    mutable guest_ptr<uint32_t> pNumberOfBytesSent_;
    uint32_t Flags_;
    guest_ptr<void> pTo_;
    int32_t iToLen_;
    guest_ptr<void> pOverlapped_;
    mutable guest_ptr<void> pCompletionRoutine_;
};
 
} // namespace ws2_32
} // namespace windows
} // namespace introvirt