| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906 |
- #include <stdint.h>
- #include <stddef.h>
- #include "stdlib.h"
- #include "solana_sdk.h"
- extern uint64_t solang_dispatch(const SolParameters *param);
- extern void __init_heap();
- // The address 'SysvarC1ock11111111111111111111111111111111' base58 decoded
- static const SolPubkey clock_address = {0x06, 0xa7, 0xd5, 0x17, 0x18, 0xc7, 0x74, 0xc9, 0x28, 0x56, 0x63, 0x98, 0x69, 0x1d, 0x5e, 0xb6, 0x8b, 0x5e, 0xb8, 0xa3, 0x9b, 0x4b, 0x6d, 0x5c, 0x73, 0x55, 0x5b, 0x21, 0x00, 0x00, 0x00, 0x00};
- // The address '1111111111111111111111111111111111111111111' base58 decoded
- static const SolPubkey system_address = {0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};
- // The address 'Sysvar1nstructions1111111111111111111111111' base58 decoded
- static const SolPubkey instructions_address = {0x06, 0xa7, 0xd5, 0x17, 0x18, 0x7b, 0xd1, 0x66, 0x35, 0xda, 0xd4, 0x04, 0x55, 0xfd, 0xc2, 0xc0, 0xc1, 0x24, 0xc6, 0x8f, 0x21, 0x56, 0x75, 0xa5, 0xdb, 0xba, 0xcb, 0x5f, 0x08, 0x00, 0x00, 0x00};
- // The address 'Ed25519SigVerify111111111111111111111111111' base58 decoded
- static const SolPubkey ed25519_address = {0x03, 0x7d, 0x46, 0xd6, 0x7c, 0x93, 0xfb, 0xbe, 0x12, 0xf9, 0x42, 0x8f, 0x83, 0x8d, 0x40, 0xff, 0x05, 0x70, 0x74, 0x49, 0x27, 0xf4, 0x8a, 0x64, 0xfc, 0xca, 0x70, 0x44, 0x80, 0x00, 0x00, 0x00};
- uint64_t
- entrypoint(const uint8_t *input)
- {
- SolParameters params;
- uint64_t ret = sol_deserialize(input, ¶ms);
- if (ret)
- {
- return ret;
- }
- int account_no;
- params.ka_clock = NULL;
- params.ka_instructions = NULL;
- params.ka_cur = UINT64_MAX;
- for (account_no = 0; account_no < params.ka_num; account_no++)
- {
- const SolAccountInfo *acc = ¶ms.ka[account_no];
- if (SolPubkey_same(params.account_id, acc->key))
- {
- params.ka_cur = account_no;
- }
- else if (SolPubkey_same(&clock_address, acc->key))
- {
- params.ka_clock = acc;
- }
- else if (SolPubkey_same(&instructions_address, acc->key))
- {
- params.ka_instructions = acc;
- }
- }
- if (params.ka_cur == UINT64_MAX)
- {
- return ERROR_INVALID_INSTRUCTION_DATA;
- }
- __init_heap();
- return solang_dispatch(¶ms);
- }
- uint64_t sol_invoke_signed_c(
- const SolInstruction *instruction,
- const SolAccountInfo *account_infos,
- int account_infos_len,
- const SolSignerSeeds *signers_seeds,
- int signers_seeds_len);
- uint64_t external_call(uint8_t *input, uint32_t input_len, SolParameters *params)
- {
- // The first 32 bytes of the input is the destination address
- const SolPubkey *dest = (const SolPubkey *)input;
- SolAccountMeta metas[10];
- SolInstruction instruction = {
- .program_id = NULL,
- .accounts = metas,
- .account_len = params->ka_num,
- .data = input,
- .data_len = input_len,
- };
- for (int account_no = 0; account_no < params->ka_num; account_no++)
- {
- const SolAccountInfo *acc = ¶ms->ka[account_no];
- if (SolPubkey_same(dest, acc->key))
- {
- instruction.program_id = acc->owner;
- params->ka_last_called = acc;
- }
- metas[account_no].pubkey = acc->key;
- metas[account_no].is_writable = acc->is_writable;
- metas[account_no].is_signer = acc->is_signer;
- }
- if (instruction.program_id)
- {
- return sol_invoke_signed_c(&instruction, params->ka, params->ka_num, NULL, 0);
- }
- else
- {
- sol_log("call to account not in transaction");
- return ERROR_INVALID_ACCOUNT_DATA;
- }
- }
- // This function creates a new address and calls its constructor.
- uint64_t create_contract(uint8_t *input, uint32_t input_len, uint64_t space, SolParameters *params)
- {
- SolAccountInfo *new_acc = NULL;
- const SolSignerSeed *seed = NULL;
- // find a suitable new account and seed
- for (int i = 0; i < params->seeds_len; i++)
- {
- SolAccountInfo *acc = ¶ms->ka[i];
- if (acc->data_len == 0 && SolPubkey_same(&system_address, acc->owner))
- {
- new_acc = acc;
- seed = ¶ms->seeds[i];
- }
- }
- if (!new_acc)
- {
- sol_log("create contract requires a new account");
- return ERROR_NEW_ACCOUNT_NEEDED;
- }
- SolAccountMeta create_metas[2] = {
- {new_acc->key, true, true},
- {params->account_id, true, true},
- };
- // FIXME we need to add our own seed if we have one in order to fund/approve it
- SolSignerSeeds signer_seeds[1] = {
- {seed, 1},
- };
- struct allocate
- {
- uint32_t instruction_allocate;
- uint64_t space;
- } __attribute__((__packed__)) allocate = {
- 8,
- space,
- };
- struct assign
- {
- uint32_t instruction_assign;
- SolPubkey owner;
- } __attribute__((__packed__)) assign = {
- 1,
- *params->ka[params->ka_cur].owner,
- };
- SolInstruction create_instruction = {
- .program_id = (SolPubkey *)&system_address,
- .accounts = create_metas,
- .account_len = SOL_ARRAY_SIZE(create_metas),
- .data = (uint8_t *)&allocate,
- .data_len = sizeof(allocate),
- };
- uint64_t ret = sol_invoke_signed_c(&create_instruction, params->ka, params->ka_num,
- signer_seeds, SOL_ARRAY_SIZE(signer_seeds));
- if (ret != 0)
- {
- sol_log("failed to allocate new account");
- sol_panic();
- }
- create_instruction.data = (uint8_t *)&assign;
- create_instruction.data_len = sizeof(assign);
- ret = sol_invoke_signed_c(&create_instruction, params->ka, params->ka_num,
- signer_seeds, SOL_ARRAY_SIZE(signer_seeds));
- if (ret != 0)
- {
- sol_log("failed to assign new account");
- sol_panic();
- }
- // Our new account now has some space
- new_acc->data_len = space;
- SolAccountMeta metas[10];
- const SolInstruction instruction = {
- .program_id = (SolPubkey *)params->program_id,
- .accounts = metas,
- .account_len = params->ka_num,
- .data = input,
- .data_len = input_len,
- };
- // A fresh account must be provided by the caller; find it
- for (int account_no = 0; account_no < params->ka_num; account_no++)
- {
- const SolAccountInfo *acc = ¶ms->ka[account_no];
- metas[account_no].pubkey = acc->key;
- metas[account_no].is_writable = acc->is_writable;
- metas[account_no].is_signer = acc->is_signer;
- }
- params->ka_last_called = new_acc;
- __memcpy8(input, new_acc->key->x, SIZE_PUBKEY / 8);
- __memcpy8(input + SIZE_PUBKEY, params->account_id->x, SIZE_PUBKEY / 8);
- return sol_invoke_signed_c(&instruction, params->ka, params->ka_num, NULL, 0);
- }
- uint64_t *sol_account_lamport(
- uint8_t *address,
- SolParameters *params)
- {
- SolPubkey *pubkey = (SolPubkey *)address;
- for (int i = 0; i < params->ka_num; i++)
- {
- if (SolPubkey_same(pubkey, params->ka[i].key))
- {
- return params->ka[i].lamports;
- }
- }
- sol_log_pubkey(pubkey);
- sol_log("account missing from transaction");
- sol_panic();
- return NULL;
- }
- void sol_transfer(uint8_t *to_address, uint64_t lamports, SolParameters *params)
- {
- uint64_t *from = params->ka[params->ka_cur].lamports;
- uint64_t *to = sol_account_lamport(to_address, params);
- if (__builtin_sub_overflow(*from, lamports, from))
- {
- sol_log("sender does not have enough balance");
- sol_panic();
- }
- if (__builtin_add_overflow(*to, lamports, to))
- {
- sol_log("recipient lamports overflows");
- sol_panic();
- }
- }
- bool sol_try_transfer(uint8_t *to_address, uint64_t lamports, SolParameters *params)
- {
- uint64_t *from = params->ka[params->ka_cur].lamports;
- uint64_t *to = sol_account_lamport(to_address, params);
- uint64_t from_balance;
- uint64_t to_balance;
- if (__builtin_sub_overflow(*from, lamports, &from_balance))
- {
- return false;
- }
- if (__builtin_add_overflow(*to, lamports, &to_balance))
- {
- return false;
- }
- *from = from_balance;
- *to = to_balance;
- return true;
- }
- uint64_t address_hash(uint8_t data[32])
- {
- uint64_t hash = 0;
- uint32_t i;
- for (i = 0; i < 32; i++)
- {
- hash += data[i];
- }
- return hash;
- }
- bool address_equal(void *a, void *b)
- {
- uint64_t *left = a;
- uint64_t *right = b;
- for (uint32_t i = 0; i < 4; i++)
- {
- if (left[i] != right[i])
- {
- return false;
- }
- }
- return true;
- }
- struct ed25519_instruction_sig
- {
- uint16_t signature_offset;
- uint16_t signature_instruction_index;
- uint16_t public_key_offset;
- uint16_t public_key_instruction_index;
- uint16_t message_offset;
- uint16_t message_size;
- uint16_t message_instruction_index;
- uint8_t public_key[SIZE_PUBKEY];
- uint8_t signature[64];
- uint8_t message[0];
- };
- struct ed25519_instruction
- {
- uint8_t num_signatures;
- uint8_t padding;
- struct ed25519_instruction_sig sig[0];
- };
- uint64_t signature_verify(uint8_t *public_key, struct vector *message, struct vector *signature, SolParameters *params)
- {
- if (params->ka_instructions)
- {
- uint16_t *data = (uint16_t *)params->ka_instructions->data;
- uint64_t instr_count = data[0];
- // for each instruction
- for (uint64_t instr_no = 0; instr_no < instr_count; instr_no++)
- {
- uint8_t *instr = params->ka_instructions->data + data[1 + instr_no];
- // step over the accounts
- uint64_t accounts = *((uint16_t *)instr);
- instr += accounts * 33 + 2;
- if (sol_memcmp(&ed25519_address, instr, sizeof(ed25519_address)))
- {
- continue;
- }
- // step over program_id and length
- instr += 2 + 32;
- struct ed25519_instruction *ed25519 = (struct ed25519_instruction *)instr;
- for (uint64_t sig_no = 0; sig_no < ed25519->num_signatures; sig_no++)
- {
- struct ed25519_instruction_sig *sig = &ed25519->sig[sig_no];
- if (sig->public_key_instruction_index != instr_no ||
- sig->signature_instruction_index != instr_no ||
- sig->message_instruction_index != instr_no)
- continue;
- if (sol_memcmp(public_key, instr + sig->public_key_offset, SIZE_PUBKEY))
- {
- continue;
- }
- if (sol_memcmp(signature->data, instr + sig->signature_offset, 64))
- {
- continue;
- }
- if (sig->message_size != message->len)
- {
- continue;
- }
- if (sol_memcmp(message->data, instr + sig->message_offset, message->len))
- {
- continue;
- }
- return 0;
- }
- }
- }
- sol_log("could not find verified signature");
- return 1;
- }
- struct clock_layout
- {
- uint64_t slot;
- uint64_t epoch_start_timestamp;
- uint64_t epoch;
- uint64_t leader_schedule_epoch;
- uint64_t unix_timestamp;
- };
- struct clock_layout *sol_clock(SolParameters *params)
- {
- if (!params->ka_clock)
- {
- sol_log("clock account missing from transaction");
- sol_panic();
- }
- struct clock_layout *clock_data = (struct clock_layout *)params->ka_clock->data;
- return clock_data;
- }
- struct account_data_header
- {
- uint32_t magic;
- uint32_t returndata_len;
- uint32_t returndata_offset;
- uint32_t heap_offset;
- };
- // Simple heap for account data
- //
- // The heap is a doubly-linked list of objects, so we can merge with neighbours when we free.
- // We should use offsets rather than pointers as the layout in memory will be different each
- // time it is called.
- // We don't expect the account data to exceed 4GB so we use 32 bit offsets.
- // The account data can grow so the last entry always has length = 0 and offset_next = 0.
- struct chunk
- {
- uint32_t offset_next, offset_prev;
- uint32_t length;
- uint32_t allocated;
- };
- #define ROUND_UP(n, d) (((n) + (d)-1) & ~(d - 1))
- uint64_t account_data_alloc(SolAccountInfo *ai, uint32_t size, uint32_t *res)
- {
- void *data = ai->data;
- struct account_data_header *hdr = data;
- if (!size)
- {
- *res = 0;
- return 0;
- }
- uint32_t offset = hdr->heap_offset;
- uint32_t alloc_size = ROUND_UP(size, 8);
- uint32_t offset_prev = 0;
- for (;;)
- {
- struct chunk *chunk = data + offset;
- if (!chunk->allocated)
- {
- if (!chunk->length)
- {
- offset += sizeof(struct chunk);
- if (offset + alloc_size + sizeof(struct chunk) >= ai->data_len)
- {
- return ERROR_ACCOUNT_DATA_TOO_SMALL;
- }
- chunk->offset_next = offset + alloc_size;
- chunk->offset_prev = offset_prev;
- chunk->allocated = true;
- chunk->length = size;
- struct chunk *next = data + chunk->offset_next;
- next->offset_prev = offset - sizeof(struct chunk);
- next->length = 0;
- next->offset_next = 0;
- next->allocated = false;
- *res = offset;
- return 0;
- }
- else if (chunk->length < alloc_size)
- {
- // too small
- }
- else if (alloc_size + sizeof(struct chunk) + 8 > chunk->length)
- {
- // just right
- chunk->allocated = true;
- chunk->length = size;
- *res = offset + sizeof(struct chunk);
- return 0;
- }
- else
- {
- // too big, split
- uint32_t next = chunk->offset_next;
- uint32_t prev = offset;
- uint32_t next_offset = offset + sizeof(struct chunk) + alloc_size;
- chunk->offset_next = next_offset;
- chunk->length = size;
- chunk->allocated = true;
- chunk = data + next_offset;
- chunk->offset_prev = prev;
- chunk->offset_next = next;
- chunk->length = next - next_offset - sizeof(struct chunk);
- chunk->allocated = false;
- if (next)
- {
- struct chunk *chunk = data + next;
- chunk->offset_prev = next_offset;
- }
- *res = offset + sizeof(struct chunk);
- return 0;
- }
- }
- offset_prev = offset;
- offset = chunk->offset_next;
- }
- }
- uint32_t account_data_len(void *data, uint32_t offset)
- {
- // Nothing to do
- if (!offset)
- return 0;
- offset -= sizeof(struct chunk);
- struct chunk *chunk = data + offset;
- return chunk->length;
- }
- void account_data_free(void *data, uint32_t offset)
- {
- // Nothing to do
- if (!offset)
- return;
- offset -= sizeof(struct chunk);
- struct chunk *chunk = data + offset;
- chunk->allocated = false;
- // merge with previous chunk?
- if (chunk->offset_prev)
- {
- struct chunk *prev = data + chunk->offset_prev;
- if (!prev->allocated)
- {
- // merge
- offset = chunk->offset_prev;
- if (chunk->offset_next)
- {
- prev->length = chunk->offset_next - offset - sizeof(struct chunk);
- prev->offset_next = chunk->offset_next;
- struct chunk *next = data + chunk->offset_next;
- next->offset_prev = offset;
- }
- else
- {
- prev->offset_next = 0;
- prev->length = 0;
- }
- chunk = prev;
- }
- }
- // merge with next chunk?
- if (chunk->offset_next)
- {
- struct chunk *next = data + chunk->offset_next;
- if (!next->allocated)
- {
- // merge
- if (next->offset_next)
- {
- chunk->offset_next = next->offset_next;
- chunk->length = chunk->offset_next - offset - sizeof(struct chunk);
- struct chunk *next = data + chunk->offset_next;
- next->offset_prev = offset;
- }
- else
- {
- chunk->offset_next = 0;
- chunk->length = 0;
- }
- }
- }
- }
- uint64_t account_data_realloc(SolAccountInfo *ai, uint32_t offset, uint32_t size, uint32_t *res)
- {
- if (!size)
- {
- account_data_free(ai->data, offset);
- *res = 0;
- return 0;
- }
- if (!offset)
- {
- return account_data_alloc(ai, size, res);
- }
- void *data = ai->data;
- uint32_t chunk_offset = offset - sizeof(struct chunk);
- struct chunk *chunk = data + chunk_offset;
- struct chunk *next = data + chunk->offset_next;
- uint32_t existing_size = chunk->offset_next - offset;
- uint32_t alloc_size = ROUND_UP(size, 8);
- // 1. Is the existing chunk big enough
- if (size <= existing_size)
- {
- chunk->length = size;
- // can we free up some space
- if (existing_size >= alloc_size + sizeof(struct chunk) + 8)
- {
- uint32_t new_next_offset = offset + alloc_size;
- if (!next->allocated)
- {
- // merge with next chunk
- if (!next->offset_next)
- {
- // the trailing free chunk
- chunk->offset_next = new_next_offset;
- next = data + new_next_offset;
- next->offset_prev = chunk_offset;
- next->offset_next = 0;
- next->allocated = false;
- next->length = 0;
- }
- else
- {
- // merge with next chunk
- chunk->offset_next = new_next_offset;
- uint32_t offset_next_next = next->offset_next;
- next = data + new_next_offset;
- next->offset_prev = chunk_offset;
- next->offset_next = offset_next_next;
- next->allocated = false;
- next->length = offset_next_next - new_next_offset - sizeof(struct chunk);
- next = data + offset_next_next;
- next->offset_prev = new_next_offset;
- }
- }
- else
- {
- // insert a new chunk
- uint32_t offset_next_next = chunk->offset_next;
- chunk->offset_next = new_next_offset;
- next = data + new_next_offset;
- next->offset_prev = chunk_offset;
- next->offset_next = offset_next_next;
- next->allocated = false;
- next->length = offset_next_next - new_next_offset - sizeof(struct chunk);
- next = data + offset_next_next;
- next->offset_prev = new_next_offset;
- }
- }
- *res = offset;
- return 0;
- }
- // 2. Can we use the next chunk to expand our chunk to fit
- // Note because we always merge neighbours, free chunks do not have free
- // neighbours.
- if (!next->allocated)
- {
- if (next->offset_next)
- {
- uint32_t merged_size = next->offset_next - offset;
- if (size < merged_size)
- {
- if (merged_size - alloc_size < 8 + sizeof(struct chunk))
- {
- // merge the two chunks
- chunk->offset_next = next->offset_next;
- chunk->length = size;
- next = data + chunk->offset_next;
- next->offset_prev = chunk_offset;
- }
- else
- {
- // expand our chunk to fit and shrink the next chunk
- uint32_t offset_next = offset + alloc_size;
- uint32_t offset_next_next = next->offset_next;
- chunk->offset_next = offset_next;
- chunk->length = size;
- next = data + offset_next;
- next->offset_prev = chunk_offset;
- next->offset_next = offset_next_next;
- next->length = offset_next_next - offset_next - sizeof(struct chunk);
- next->allocated = false;
- next = data + offset_next_next;
- next->offset_prev = offset_next;
- }
- *res = offset;
- return 0;
- }
- }
- else
- {
- if (offset + alloc_size + sizeof(struct chunk) < ai->data_len)
- {
- chunk->offset_next = offset + alloc_size;
- chunk->length = size;
- next = data + chunk->offset_next;
- next->offset_prev = chunk_offset;
- next->offset_next = 0;
- next->allocated = false;
- next->length = 0;
- *res = offset;
- return 0;
- }
- }
- }
- uint32_t old_length = account_data_len(data, offset);
- uint32_t new_offset;
- uint64_t rc = account_data_alloc(ai, size, &new_offset);
- if (rc)
- return rc;
- __memcpy(data + new_offset, data + offset, old_length);
- account_data_free(data, offset);
- *res = new_offset;
- return 0;
- }
- #ifdef TEST
- // To run the test:
- // clang -DTEST -DSOL_TEST -O3 -Wall solana.c stdlib.c -o test && ./test
- #include <assert.h>
- void validate_heap(void *data, uint32_t offs[100], uint32_t lens[100])
- {
- uint32_t offset = ((uint32_t *)data)[1];
- uint32_t last_offset = 0;
- for (;;)
- {
- struct chunk *chk = data + offset;
- // printf("chunk: offset:%x prev:%x next:%x length:%x allocated:%d\n", offset, chk->offset_prev, chk->offset_next, chk->length, chk->allocated);
- if (chk->length == 0 || chk->offset_next == 0)
- {
- assert(chk->length == 0 && chk->offset_next == 0 && chk->offset_prev == last_offset);
- // printf("last object at 0x%08x\n", offset);
- return;
- }
- assert(chk->offset_prev == last_offset && chk->length != 0);
- // printf("found object length %x at 0x%08lx allocated %d\n", chk->length, offset + sizeof(struct chunk), chk->allocated);
- assert(chk->offset_next - offset - sizeof(struct chunk) >= chk->length);
- if (chk->allocated)
- {
- bool found = false;
- uint32_t off = offset + sizeof(struct chunk);
- for (int i = 0; i < 100; i++)
- {
- if (offs[i] == off)
- {
- assert(!found);
- found = true;
- uint8_t *mem = data + off;
- for (int x = 0; x < lens[i]; x++)
- {
- assert(mem[x] == i);
- }
- }
- }
- assert(found);
- }
- else
- {
- // make sure we do not have this in our allocated list
- uint32_t off = offset + sizeof(struct chunk);
- for (int i = 0; i < 100; i++)
- {
- assert(offs[i] != off);
- }
- }
- last_offset = offset;
- offset = chk->offset_next;
- }
- }
- int main()
- {
- uint8_t data[0x10000];
- SolAccountInfo ai;
- ai.data = data;
- ai.data_len = sizeof(data);
- uint32_t offs[100], lens[100];
- uint32_t allocs = 0;
- memset(data, 0, sizeof(data));
- ((uint32_t *)data)[0] = 0x41424344;
- ((uint32_t *)data)[1] = 0x20;
- memset(offs, 0, sizeof(offs));
- int seed = time(NULL);
- printf("seed: %d\n", seed);
- srand(seed);
- for (;;)
- {
- validate_heap(data, offs, lens);
- int n = rand() % 100;
- if (offs[n] == 0)
- {
- // printf("STEP: alloc %d\n", n);
- offs[n] = account_data_alloc(&ai, 100);
- memset(data + offs[n], n, 100);
- lens[n] = 100;
- }
- else if (rand() % 2)
- {
- // printf("STEP: free %d (0x%x)\n", n, offs[n]);
- account_data_free(&ai, offs[n]);
- offs[n] = 0;
- }
- else
- {
- int size = (rand() % 200) + 10;
- int old_size = account_data_len(&ai, offs[n]);
- offs[n] = account_data_realloc(&ai, offs[n], size);
- if (size > old_size)
- memset(data + offs[n] + old_size, n, size - old_size);
- lens[n] = size;
- }
- }
- }
- void sol_panic_(const char *s, uint64_t len, uint64_t line, uint64_t column)
- {
- printf("panic: %s line %lld", s, line);
- }
- int solang_dispatch(const uint8_t *input, uint64_t input_len, SolAccountInfo *ka) {}
- #endif
|