--- /dev/null
+++ libmalloc/libmalloc-646.40.3/tests/xctests/sanitizer_tests.m
@@ -0,0 +1,214 @@
+#import "internal.h"
+
+#if CONFIG_SANITIZER
+
+#import <dlfcn.h>
+#import <XCTest/XCTest.h>
+
+#define XCTAssertNotNull(ptr) XCTAssertNotEqual(ptr, NULL)
+
+@interface sanitizer_tests : XCTestCase {
+@private
+	malloc_zone_t *wrapped_zone;
+	malloc_zone_t *szone;
+}
+@end
+
+@implementation sanitizer_tests
+
+static bool did_allocate = false, did_deallocate = false, did_internal = false;
+static void heap_allocate(uintptr_t ptr, size_t leftrz, size_t alloc, size_t rightrz) {
+	did_allocate = true;
+}
+static void heap_deallocate(uintptr_t ptr, size_t sz) {
+	did_deallocate = true;
+}
+static void heap_internal(uintptr_t ptr, size_t sz) {
+	did_internal = true;
+}
+
+#define REDZONE_SIZE 16
+#define STR(x) XSTR(x)
+#define XSTR(x) #x
+
+- (void)setUp {
+	static struct malloc_sanitizer_poison sanitizer_funcs = {
+		.heap_allocate_poison = heap_allocate,
+		.heap_deallocate_poison = heap_deallocate,
+		.heap_internal_poison = heap_internal,
+	};
+
+	setenv("MallocSanitizerRedzoneSize", STR(REDZONE_SIZE), 1);
+	malloc_sanitizer_set_functions(&sanitizer_funcs);
+	self->wrapped_zone = create_scalable_zone(0, 0);
+	self->szone = sanitizer_create_zone(wrapped_zone);
+}
+
+static void *
+memory_reader(task_t task, vm_address_t address, size_t size)
+{
+	void *p = malloc(size);
+	memcpy(p, (const void *)address, size);
+	return p;
+}
+
+// Exported so that the symbol name isn't stripped and can be looked up via dladdr.
+MALLOC_EXPORT MALLOC_NOINLINE
+void *
+_sanitizer_test_allocationFunction(malloc_zone_t *szone, size_t size) __attribute__((disable_tail_calls)) {
+	void *p = malloc_zone_malloc(szone, size);
+	return p;
+}
+
+// Exported so that the symbol name isn't stripped and can be looked up via dladdr.
+MALLOC_EXPORT MALLOC_NOINLINE
+void
+_sanitizer_test_deallocationFunction(malloc_zone_t *szone, void *p) __attribute__((disable_tail_calls)) {
+	malloc_zone_free(szone, p);
+	return;
+}
+
+- (void)testZoneSetup {
+	XCTAssertEqual(szone->introspect->zone_type, MALLOC_ZONE_TYPE_SANITIZER);
+
+	vm_address_t wrapped_zone_address;
+	kern_return_t kr = malloc_get_wrapped_zone(mach_task_self(),
+			/*memory_reader=*/NULL, (vm_address_t)szone, &wrapped_zone_address);
+	XCTAssertEqual(kr, KERN_SUCCESS);
+	XCTAssertEqual(wrapped_zone_address, (vm_address_t)wrapped_zone);
+
+	malloc_set_zone_name(szone, "MyZone");
+	XCTAssertEqualObjects(@(malloc_get_zone_name(szone)), @("MyZone"));
+	XCTAssertEqualObjects(@(malloc_get_zone_name(wrapped_zone)), @"MyZone-Sanitizer-Wrapped");
+}
+
+- (void)testStacktraces {
+	void *p = _sanitizer_test_allocationFunction(szone, 32);
+	XCTAssertNotNull(p);
+	_sanitizer_test_deallocationFunction(szone, p);
+
+	sanitizer_report_t report = {};
+	kern_return_t ret = sanitizer_diagnose_fault_from_crash_reporter((vm_address_t)p, &report, mach_task_self(), (vm_address_t)szone, memory_reader);
+	XCTAssertEqual(ret, KERN_SUCCESS);
+
+	XCTAssertEqual(report.fault_address, (uintptr_t)p);
+	XCTAssertEqual(report.nearest_allocation, (uintptr_t)p);
+	XCTAssertGreaterThanOrEqual(report.allocation_size, 32);
+
+	bool allocSiteFrameFound = false;
+	for (int i = 0; i < report.alloc_trace.num_frames; i++) {
+		Dl_info info = {};
+		dladdr((const void *)report.alloc_trace.frames[i], &info);
+		NSLog(@"frame[%d] = %s", i, info.dli_sname);
+		if ([@(info.dli_sname) isEqualToString:@"_sanitizer_test_allocationFunction"]) {
+			allocSiteFrameFound = true;
+			break;
+		}
+	}
+	XCTAssertTrue(allocSiteFrameFound);
+
+	bool deallocSiteFrameFound = false;
+	for (int i = 0; i < report.dealloc_trace.num_frames; i++) {
+		Dl_info info = {};
+		dladdr((const void *)report.dealloc_trace.frames[i], &info);
+		NSLog(@"frame[%d] = %s", i, info.dli_sname);
+		if ([@(info.dli_sname) isEqualToString:@"_sanitizer_test_deallocationFunction"]) {
+			deallocSiteFrameFound = true;
+			break;
+		}
+	}
+	XCTAssertTrue(deallocSiteFrameFound);
+}
+
+- (void)testPoisonAllocation {
+	did_allocate = false;
+	did_deallocate = false;
+	
+	XCTAssertFalse(did_allocate);
+	XCTAssertFalse(did_deallocate);
+
+	const size_t alloc_sz = 1;
+	void *p = _sanitizer_test_allocationFunction(szone, alloc_sz);
+	XCTAssertNotNull(p);
+
+	XCTAssertTrue(did_allocate);
+
+	size_t sz = szone->size(szone, p);
+	XCTAssertEqual(sz, alloc_sz);
+
+	_sanitizer_test_deallocationFunction(szone, p);
+	XCTAssertTrue(did_deallocate);
+}
+
+- (void)testBadPoisonAllocation {
+	void *p = _sanitizer_test_allocationFunction(szone, SIZE_MAX - (REDZONE_SIZE - 1));
+	XCTAssertEqual(p, NULL);
+}
+
+- (void)testAllocationRedzoneSize {
+	did_allocate = false;
+	did_deallocate = false;
+
+	XCTAssertFalse(did_allocate);
+	XCTAssertFalse(did_deallocate);
+
+	const unsigned ASAN_GRANULARITY = 8;
+	const unsigned ALLOCATION_GRANULARITY = 16;
+	size_t szs[] = {4, 8, 12, 16, 20, 24};
+	for (size_t i = 0; i < sizeof(szs) / sizeof(*szs); ++i) {
+		void *p = _sanitizer_test_allocationFunction(szone, szs[i]);
+		XCTAssertNotNull(p);
+
+		size_t alloc_sz = wrapped_zone->size(wrapped_zone, p);
+		size_t usr_sz = szone->size(szone, p);
+		// User size should remain unchanged
+		XCTAssertEqual(usr_sz, szs[i]);
+		// Actual size should be padded to shadow granularity
+		XCTAssertEqual(alloc_sz % ASAN_GRANULARITY, 0);
+		// Actual size should include padded redzone
+		if (!(usr_sz % ALLOCATION_GRANULARITY)) {
+			XCTAssertEqual(alloc_sz, usr_sz + REDZONE_SIZE);
+		} else {
+			XCTAssertEqual(alloc_sz, usr_sz + REDZONE_SIZE + (ALLOCATION_GRANULARITY - (usr_sz & (ALLOCATION_GRANULARITY - 1))));
+		}
+
+		_sanitizer_test_deallocationFunction(szone, p);
+	}
+
+	XCTAssertTrue(did_allocate);
+	XCTAssertTrue(did_deallocate);
+}
+
+- (void)testInternalPoison {
+	char dummy[16];
+
+	XCTAssertFalse(did_internal);
+	const struct malloc_sanitizer_poison *funcs = malloc_sanitizer_get_functions();
+	XCTAssertNotNull(funcs);
+	XCTAssertNotNull(funcs->heap_internal_poison);
+	funcs->heap_internal_poison((uintptr_t)dummy, sizeof(dummy));
+	XCTAssertTrue(did_internal);
+}
+
+/**
+ Zero sized allocations are resized to 1
+ */
+- (void)testZeroSizedAllocation
+{
+	const size_t alloc_sz = 0;
+	void *p = _sanitizer_test_allocationFunction(szone, alloc_sz);
+	XCTAssertNotNull(p);
+
+	size_t sz = szone->size(szone, p);
+	XCTAssertEqual(sz, 1);
+
+	_sanitizer_test_deallocationFunction(szone, p);
+}
+
+- (void)testInvalidSanitizerSize
+{
+	XCTAssertFalse(szone->size(szone, (void *)0x1));
+}
+@end
+
+#endif // CONFIG_SANITIZER