From d64e1d6ca62b0ee29a153fb984d02ed9124c9a5c Mon Sep 17 00:00:00 2001
From: Blinningjr <nicke.l@telia.com>
Date: Tue, 15 Dec 2020 16:40:59 +0100
Subject: [PATCH] F
---
cargo_klee_examples/examples/array.rs | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index feeabe1..3d44d54 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -99,6 +99,18 @@ fn main() {
// Explain in your own words what Microsoft would gain by using Rust.
//
// [your answer here]
+// The borrow checker in rust will make sure that the pointers in Microsoft's code will be safe.
+// Pointers can be the cause of horrible bugs that are often very hard to find and can cause a lot
+// of problems. Thus using rust will remove that problem for Microsoft.
+//
+// Rust is also great because it panics when something goes wrong when compiling, many other
+// programming languages sometime dose not give an error at compile time. The bugs will then be in
+// the release version that users use and cause problems. Thus Microsoft will have less bugs in
+// there programs if they use rust because they will be caught before the users see them.
+//
+// Cargo klee would also be of use to Microsoft because of how much better easier it is to use
+// compared to using klee on C code.
+//
//
// Explain in your own words what Microsoft would gain by using `cargo klee`
// on their Rust code.
--
GitLab