send.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/SOCKET.hh>
#include <ostream>
#include <string>
 
namespace introvirt {
namespace windows {
namespace ws2_32 {
 
class send final : public WindowsFunctionCall {
  public:
    SOCKET s() const;
    void s(SOCKET s);
 
    guest_ptr<uint8_t[]> pbuf() const;
    void pbuf(const guest_ptr<uint8_t[]>& pbuf);
 
    int32_t len() const;
    void len(int32_t len);
 
    int32_t flags() const;
    void flags(int32_t flags);
 
    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);
 
    send(Event& event);
    ~send() override;
 
    /* Injection helper */
    static int32_t inject(SOCKET s, const guest_ptr<uint8_t[]>& pbuf, int32_t len, int32_t flags);
 
    static constexpr int ArgumentCount = 4;
    inline static const std::string LibraryName = "ws2_32";
    inline static const std::string FunctionName = "send";
 
  private:
    /* Injection constructor */
    send(Event& event, SOCKET s, const guest_ptr<uint8_t[]>& pbuf, int32_t len, int32_t flags);
 
  private:
    SOCKET s_;
    guest_ptr<void> pbuf_;
    int32_t len_;
    int32_t flags_;
};
 
} // namespace ws2_32
} // namespace windows
} // namespace introvirt