mirror of
https://github.com/openharmony/third_party_meshoptimizer.git
synced 2026-07-01 09:25:03 -04:00
Arseny Kapoulkine
41bada1923
In addition to validating all decoders for memory safety we can also validate that the vertex encoder in particular round-trips safely. Index encoder may rotate triangles so it's not a perfect binary match, and index sequence encoder is rarely used and very simple, but vertex encoder is more complicated and may become more so with v1.
66 lines
2.2 KiB
C++
66 lines
2.2 KiB
C++
#include "../src/meshoptimizer.h"
|
|
|
|
#include <stdint.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
|
|
void fuzzDecoder(const uint8_t* data, size_t size, size_t stride, int (*decode)(void*, size_t, size_t, const unsigned char*, size_t))
|
|
{
|
|
size_t count = 66; // must be divisible by 3 for decodeIndexBuffer; should be >=64 to cover large vertex blocks
|
|
|
|
void* destination = malloc(count * stride);
|
|
assert(destination);
|
|
|
|
int rc = decode(destination, count, stride, reinterpret_cast<const unsigned char*>(data), size);
|
|
(void)rc;
|
|
|
|
free(destination);
|
|
}
|
|
|
|
void fuzzRoundtrip(const uint8_t* data, size_t size, size_t stride)
|
|
{
|
|
size_t count = size / stride;
|
|
|
|
size_t bound = meshopt_encodeVertexBufferBound(count, stride);
|
|
void* encoded = malloc(bound);
|
|
void* decoded = malloc(count * stride);
|
|
assert(encoded && decoded);
|
|
|
|
size_t res = meshopt_encodeVertexBuffer(static_cast<unsigned char*>(encoded), bound, data, count, stride);
|
|
assert(res <= bound);
|
|
|
|
int rc = meshopt_decodeVertexBuffer(decoded, count, stride, static_cast<unsigned char*>(encoded), res);
|
|
assert(rc == 0);
|
|
|
|
assert(memcmp(data, decoded, count * stride) == 0);
|
|
|
|
free(decoded);
|
|
free(encoded);
|
|
}
|
|
|
|
extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size)
|
|
{
|
|
// decodeIndexBuffer supports 2 and 4-byte indices
|
|
fuzzDecoder(data, size, 2, meshopt_decodeIndexBuffer);
|
|
fuzzDecoder(data, size, 4, meshopt_decodeIndexBuffer);
|
|
|
|
// decodeIndexSequence supports 2 and 4-byte indices
|
|
fuzzDecoder(data, size, 2, meshopt_decodeIndexSequence);
|
|
fuzzDecoder(data, size, 4, meshopt_decodeIndexSequence);
|
|
|
|
// decodeVertexBuffer supports any strides divisible by 4 in 4-256 interval
|
|
// It's a waste of time to check all of them, so we'll just check a few with different alignment mod 16
|
|
fuzzDecoder(data, size, 4, meshopt_decodeVertexBuffer);
|
|
fuzzDecoder(data, size, 16, meshopt_decodeVertexBuffer);
|
|
fuzzDecoder(data, size, 24, meshopt_decodeVertexBuffer);
|
|
fuzzDecoder(data, size, 32, meshopt_decodeVertexBuffer);
|
|
|
|
// encodeVertexBuffer/decodeVertexBuffer should roundtrip for any stride, check a few with different alignment mod 16
|
|
fuzzRoundtrip(data, size, 4);
|
|
fuzzRoundtrip(data, size, 16);
|
|
fuzzRoundtrip(data, size, 24);
|
|
fuzzRoundtrip(data, size, 32);
|
|
|
|
return 0;
|
|
}
|