summaryrefslogtreecommitdiffstats
path: root/src/test/run-make-fulldeps/sanitizer-dylib-link
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/run-make-fulldeps/sanitizer-dylib-link')
-rw-r--r--src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile16
-rw-r--r--src/test/run-make-fulldeps/sanitizer-dylib-link/library.rs5
-rw-r--r--src/test/run-make-fulldeps/sanitizer-dylib-link/program.rs7
3 files changed, 28 insertions, 0 deletions
diff --git a/src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile b/src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile
new file mode 100644
index 000000000..b9a3f8295
--- /dev/null
+++ b/src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile
@@ -0,0 +1,16 @@
+# needs-sanitizer-support
+# needs-sanitizer-address
+
+-include ../tools.mk
+
+LOG := $(TMPDIR)/log.txt
+
+# This test builds a shared object, then an executable that links it as a native
+# rust library (contrast to an rlib). The shared library and executable both
+# are compiled with address sanitizer, and we assert that a fault in the dylib
+# is correctly detected.
+
+all:
+ $(RUSTC) -g -Z sanitizer=address --crate-type dylib --target $(TARGET) library.rs
+ $(RUSTC) -g -Z sanitizer=address --crate-type bin --target $(TARGET) -llibrary program.rs
+ LD_LIBRARY_PATH=$(TMPDIR) $(TMPDIR)/program 2>&1 | $(CGREP) stack-buffer-overflow
diff --git a/src/test/run-make-fulldeps/sanitizer-dylib-link/library.rs b/src/test/run-make-fulldeps/sanitizer-dylib-link/library.rs
new file mode 100644
index 000000000..f2a52cb5c
--- /dev/null
+++ b/src/test/run-make-fulldeps/sanitizer-dylib-link/library.rs
@@ -0,0 +1,5 @@
+#[no_mangle]
+pub extern "C" fn overflow() {
+ let xs = [0, 1, 2, 3];
+ let _y = unsafe { *xs.as_ptr().offset(4) };
+}
diff --git a/src/test/run-make-fulldeps/sanitizer-dylib-link/program.rs b/src/test/run-make-fulldeps/sanitizer-dylib-link/program.rs
new file mode 100644
index 000000000..ef053aa2e
--- /dev/null
+++ b/src/test/run-make-fulldeps/sanitizer-dylib-link/program.rs
@@ -0,0 +1,7 @@
+extern "C" {
+ fn overflow();
+}
+
+fn main() {
+ unsafe { overflow() }
+}