├── .gitignore ├── CNAME ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── Dockerfile ├── Makefile ├── README.md ├── book.toml ├── code_snippets ├── chp12 │ └── diff_fuzz │ │ ├── Cargo.toml │ │ └── src │ │ ├── lib.rs │ │ ├── main.rs │ │ ├── map.rs │ │ ├── map_types.rs │ │ ├── set.rs │ │ ├── set_types.rs │ │ └── tree │ │ ├── arena.rs │ │ ├── error.rs │ │ ├── iter.rs │ │ ├── mod.rs │ │ ├── node.rs │ │ ├── node_dispatch.rs │ │ └── tree.rs ├── chp14 │ ├── tactical_trust │ │ ├── Cargo.toml │ │ ├── nonce_typing │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── src │ │ │ │ └── lib.rs │ │ │ └── tests │ │ │ │ └── encrypt_decrypt.rs │ │ └── supplychain_policy │ │ │ ├── Cargo.toml │ │ │ ├── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ │ │ └── tests │ │ │ ├── analysis.rs │ │ │ └── cli.rs │ └── tt_test_crates │ │ ├── test_crypto_duplicates │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ │ └── test_disallowed_crypto_publishers │ │ ├── Cargo.toml │ │ └── src │ │ └── lib.rs ├── chp2 │ └── crypto_tool │ │ ├── Cargo.toml │ │ ├── rc4 │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ │ └── rcli │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── chp3 │ ├── c_snippets │ │ ├── scope.cpp │ │ └── undef.c │ ├── prime_test │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── proc │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── proc_2 │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ └── rc4 │ │ ├── Cargo.toml │ │ └── src │ │ └── lib.rs └── chp4 │ ├── c_snippets │ ├── spatial.c │ ├── temporal.c │ └── type.c │ ├── greeting │ ├── Cargo.toml │ └── src │ │ └── main.rs │ ├── stack_example │ ├── Cargo.toml │ └── src │ │ └── main.rs │ └── stack_example_iter │ ├── Cargo.toml │ └── src │ └── main.rs ├── docker_aarch64 └── Dockerfile ├── docs ├── .nojekyll ├── 404.html ├── CNAME ├── FontAwesome │ ├── css │ │ └── font-awesome.css │ └── fonts │ │ ├── FontAwesome.ttf │ │ ├── fontawesome-webfont.eot │ │ ├── fontawesome-webfont.svg │ │ ├── fontawesome-webfont.ttf │ │ ├── fontawesome-webfont.woff │ │ └── fontawesome-webfont.woff2 ├── ayu-highlight.css ├── book.js ├── cfp.html ├── changelog.html ├── chp1 │ ├── _hands_on.html │ ├── _index.html │ ├── about_the_team.html │ ├── bugs_venn.svg │ ├── challenges.html │ ├── dreyfus.svg │ ├── how_is_this_book_structured.html │ ├── rust_stack.svg │ ├── sys_langs.svg │ └── why_this_book.html ├── chp12 │ └── diff_fuzz_PLACEHOLDER.html ├── chp14 │ ├── tactical_trust_1.html │ ├── tt_nonce_reuse.svg │ ├── tt_supplychain_1.svg │ └── tt_supplychain_2.svg ├── chp16_appendix │ ├── _index.html │ ├── books.html │ ├── components.html │ ├── crypto.html │ ├── icfg.html │ ├── icfg_iter.svg │ ├── icfg_mut_rec.svg │ ├── icfg_rec.svg │ ├── mem_hierarch.html │ ├── mod_deep.svg │ ├── mod_shallow.svg │ ├── resources.html │ ├── stream_cipher.svg │ ├── tools.html │ └── types.html ├── chp2 │ ├── _hands_on.html │ ├── _index.html │ ├── cli.html │ ├── dynamic_assurance_1.html │ ├── dynamic_assurance_2.html │ ├── dynamic_assurance_3.html │ ├── incr_ptrs_alias.svg │ ├── incr_ptrs_bad.svg │ ├── incr_ptrs_ok.svg │ ├── incr_ptrs_ok_after.svg │ ├── limits.html │ ├── link_dynamic.svg │ ├── link_static.svg │ ├── operational_assurance_1.html │ ├── operational_assurance_2.html │ ├── rc4_1.svg │ ├── rc4_2.svg │ ├── rcli_model.svg │ ├── static_assurance_1.html │ ├── static_assurance_2.html │ ├── static_vs_dynamic.html │ └── tool_quad.svg ├── chp3 │ ├── _hands_on.html │ ├── _index.html │ ├── building_blocks.svg │ ├── count_primes_doc.png │ ├── misra.svg │ ├── mod_single_file.svg │ ├── modules.html │ ├── own_move.svg │ ├── own_move_copy.svg │ ├── proc_own_no_child.svg │ ├── proc_own_one_child.svg │ ├── proc_ref_no_child.svg │ ├── proc_ref_one_child.svg │ ├── ref_venn_interior_mut.svg │ ├── ref_venn_normal.svg │ ├── rust_1_low_data_rep.html │ ├── rust_2_high_data_rep.html │ ├── rust_3_ctrl_flow.html │ ├── rust_4_own_1.html │ ├── rust_5_own_2.html │ ├── rust_6_error.html │ ├── tooling.html │ └── undef.html ├── chp4 │ ├── _index.html │ ├── assure_stack_1.html │ ├── attack_1.html │ ├── attack_2.html │ ├── behavior_concentric.svg │ ├── cpu_model.svg │ ├── exploit_jop_model.svg │ ├── exploit_rop_model.svg │ ├── mem_safety_block.svg │ ├── program_process.svg │ ├── safe_rust_PLACEHOLDER.html │ ├── safety_buffer_overflow.svg │ ├── safety_spatial_grow_up.svg │ ├── safety_temporal_grow_up.svg │ ├── safety_type_grow_up.svg │ ├── socket_state_machine.svg │ ├── socket_weird_machine.svg │ ├── stack_example.svg │ ├── stack_scaling_1.svg │ ├── stack_scaling_2.svg │ ├── static_strings.svg │ └── sw_stack_1.html ├── chp7 │ └── traits.html ├── clipboard.min.js ├── css │ ├── chrome.css │ ├── general.css │ ├── print.css │ └── variables.css ├── download.html ├── elasticlunr.min.js ├── engage.html ├── faq.html ├── favicon.png ├── favicon.svg ├── fonts │ ├── OPEN-SANS-LICENSE.txt │ ├── SOURCE-CODE-PRO-LICENSE.txt │ ├── fonts.css │ ├── open-sans-v17-all-charsets-300.woff2 │ ├── open-sans-v17-all-charsets-300italic.woff2 │ ├── open-sans-v17-all-charsets-600.woff2 │ ├── open-sans-v17-all-charsets-600italic.woff2 │ ├── open-sans-v17-all-charsets-700.woff2 │ ├── open-sans-v17-all-charsets-700italic.woff2 │ ├── open-sans-v17-all-charsets-800.woff2 │ ├── open-sans-v17-all-charsets-800italic.woff2 │ ├── open-sans-v17-all-charsets-italic.woff2 │ ├── open-sans-v17-all-charsets-regular.woff2 │ └── source-code-pro-v11-all-charsets-500.woff2 ├── highlight.css ├── highlight.js ├── img │ ├── book_topics.svg │ ├── faq_venn.svg │ ├── har_logo.svg │ ├── har_logo_inkscape.svg │ ├── har_logo_social.png │ ├── recommended_books │ │ ├── book_c.jpg │ │ ├── book_crypto.jpg │ │ ├── book_csapp.jpg │ │ ├── book_pba.jpg │ │ ├── book_phil.jpg │ │ ├── book_rust_1.jpg │ │ └── book_rust_2.jpg │ └── rust_foundation_logo.png ├── index.html ├── landing.html ├── license.html ├── mark.min.js ├── print.html ├── searcher.js ├── searchindex.js ├── templates │ └── placeholder_img.png ├── toc.html ├── toc.js └── tomorrow-night.css ├── img ├── har_logo.svg └── rust_foundation_logo.png ├── internal_tools └── har_analyze │ ├── Cargo.toml │ └── src │ ├── book.rs │ ├── chapter.rs │ ├── content.rs │ ├── lint.rs │ ├── main.rs │ ├── mod.rs │ ├── rules.rs │ ├── traits.rs │ └── update.rs ├── src ├── SUMMARY.md ├── cfp.md ├── changelog.md ├── chp1 │ ├── _hands_on.md │ ├── _index.md │ ├── about_the_team.md │ ├── bugs_venn.svg │ ├── challenges.md │ ├── dreyfus.svg │ ├── how_is_this_book_structured.md │ ├── rust_stack.svg │ ├── sys_langs.svg │ └── why_this_book.md ├── chp12 │ └── diff_fuzz_PLACEHOLDER.md ├── chp14 │ ├── tactical_trust_1.md │ ├── tt_nonce_reuse.svg │ ├── tt_supplychain_1.svg │ └── tt_supplychain_2.svg ├── chp16_appendix │ ├── _index.md │ ├── books.md │ ├── components.md │ ├── crypto.md │ ├── icfg.md │ ├── icfg_iter.svg │ ├── icfg_mut_rec.svg │ ├── icfg_rec.svg │ ├── mem_hierarch.md │ ├── mod_deep.svg │ ├── mod_shallow.svg │ ├── resources.md │ ├── stream_cipher.svg │ ├── tools.md │ └── types.md ├── chp2 │ ├── _hands_on.md │ ├── _index.md │ ├── cli.md │ ├── dynamic_assurance_1.md │ ├── dynamic_assurance_2.md │ ├── dynamic_assurance_3.md │ ├── incr_ptrs_alias.svg │ ├── incr_ptrs_bad.svg │ ├── incr_ptrs_ok.svg │ ├── incr_ptrs_ok_after.svg │ ├── limits.md │ ├── link_dynamic.svg │ ├── link_static.svg │ ├── operational_assurance_1.md │ ├── operational_assurance_2.md │ ├── rc4_1.svg │ ├── rc4_2.svg │ ├── rcli_model.svg │ ├── static_assurance_1.md │ ├── static_assurance_2.md │ ├── static_vs_dynamic.md │ └── tool_quad.svg ├── chp3 │ ├── _hands_on.md │ ├── _index.md │ ├── building_blocks.svg │ ├── count_primes_doc.png │ ├── misra.svg │ ├── mod_single_file.svg │ ├── modules.md │ ├── own_move.svg │ ├── own_move_copy.svg │ ├── proc_own_no_child.svg │ ├── proc_own_one_child.svg │ ├── proc_ref_no_child.svg │ ├── proc_ref_one_child.svg │ ├── ref_venn_interior_mut.svg │ ├── ref_venn_normal.svg │ ├── rust_1_low_data_rep.md │ ├── rust_2_high_data_rep.md │ ├── rust_3_ctrl_flow.md │ ├── rust_4_own_1.md │ ├── rust_5_own_2.md │ ├── rust_6_error.md │ ├── tooling.md │ └── undef.md ├── chp4 │ ├── _index.md │ ├── assure_stack_1.md │ ├── attack_1.md │ ├── attack_2.md │ ├── behavior_concentric.svg │ ├── cpu_model.svg │ ├── exploit_jop_model.svg │ ├── exploit_rop_model.svg │ ├── mem_safety_block.svg │ ├── program_process.svg │ ├── safe_rust_PLACEHOLDER.md │ ├── safety_buffer_overflow.svg │ ├── safety_spatial_grow_up.svg │ ├── safety_temporal_grow_up.svg │ ├── safety_type_grow_up.svg │ ├── socket_state_machine.svg │ ├── socket_weird_machine.svg │ ├── stack_example.svg │ ├── stack_scaling_1.svg │ ├── stack_scaling_2.svg │ ├── static_strings.svg │ └── sw_stack_1.md ├── chp7 │ └── traits.md ├── download.md ├── engage.md ├── faq.md ├── img │ ├── book_topics.svg │ ├── faq_venn.svg │ ├── har_logo.svg │ ├── har_logo_inkscape.svg │ ├── har_logo_social.png │ ├── recommended_books │ │ ├── book_c.jpg │ │ ├── book_crypto.jpg │ │ ├── book_csapp.jpg │ │ ├── book_pba.jpg │ │ ├── book_phil.jpg │ │ ├── book_rust_1.jpg │ │ └── book_rust_2.jpg │ └── rust_foundation_logo.png ├── landing.md ├── license.md └── templates │ ├── _hands_on.md │ ├── _index.md │ ├── placeholder_img.png │ └── section.md └── theme └── css └── variables.css /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/.gitignore -------------------------------------------------------------------------------- /CNAME: -------------------------------------------------------------------------------- 1 | highassurance.rs -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/Dockerfile -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/README.md -------------------------------------------------------------------------------- /book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/book.toml -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/lib.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/main.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | println!("Hello, world!"); 3 | } 4 | -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/map.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/map_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/map_types.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/set.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/set_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/set_types.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/tree/arena.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/tree/arena.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/tree/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/tree/error.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/tree/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/tree/iter.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/tree/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/tree/mod.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/tree/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/tree/node.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/tree/node_dispatch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/tree/node_dispatch.rs -------------------------------------------------------------------------------- /code_snippets/chp12/diff_fuzz/src/tree/tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp12/diff_fuzz/src/tree/tree.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/nonce_typing/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/nonce_typing/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/nonce_typing/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/nonce_typing/build.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/nonce_typing/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/nonce_typing/src/lib.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/nonce_typing/tests/encrypt_decrypt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/nonce_typing/tests/encrypt_decrypt.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/supplychain_policy/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/supplychain_policy/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/supplychain_policy/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/supplychain_policy/src/lib.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/supplychain_policy/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/supplychain_policy/src/main.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/supplychain_policy/tests/analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/supplychain_policy/tests/analysis.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tactical_trust/supplychain_policy/tests/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tactical_trust/supplychain_policy/tests/cli.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tt_test_crates/test_crypto_duplicates/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tt_test_crates/test_crypto_duplicates/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp14/tt_test_crates/test_crypto_duplicates/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tt_test_crates/test_crypto_duplicates/src/lib.rs -------------------------------------------------------------------------------- /code_snippets/chp14/tt_test_crates/test_disallowed_crypto_publishers/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp14/tt_test_crates/test_disallowed_crypto_publishers/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp14/tt_test_crates/test_disallowed_crypto_publishers/src/lib.rs: -------------------------------------------------------------------------------- 1 | #[allow(unused_imports)] 2 | use rustls::Connection; 3 | -------------------------------------------------------------------------------- /code_snippets/chp2/crypto_tool/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp2/crypto_tool/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp2/crypto_tool/rc4/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp2/crypto_tool/rc4/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp2/crypto_tool/rc4/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp2/crypto_tool/rc4/src/lib.rs -------------------------------------------------------------------------------- /code_snippets/chp2/crypto_tool/rcli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp2/crypto_tool/rcli/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp2/crypto_tool/rcli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp2/crypto_tool/rcli/src/main.rs -------------------------------------------------------------------------------- /code_snippets/chp3/c_snippets/scope.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/c_snippets/scope.cpp -------------------------------------------------------------------------------- /code_snippets/chp3/c_snippets/undef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/c_snippets/undef.c -------------------------------------------------------------------------------- /code_snippets/chp3/prime_test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/prime_test/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp3/prime_test/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/prime_test/src/lib.rs -------------------------------------------------------------------------------- /code_snippets/chp3/proc/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/proc/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp3/proc/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/proc/src/main.rs -------------------------------------------------------------------------------- /code_snippets/chp3/proc_2/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/proc_2/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp3/proc_2/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/proc_2/src/main.rs -------------------------------------------------------------------------------- /code_snippets/chp3/rc4/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/rc4/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp3/rc4/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp3/rc4/src/lib.rs -------------------------------------------------------------------------------- /code_snippets/chp4/c_snippets/spatial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/c_snippets/spatial.c -------------------------------------------------------------------------------- /code_snippets/chp4/c_snippets/temporal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/c_snippets/temporal.c -------------------------------------------------------------------------------- /code_snippets/chp4/c_snippets/type.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/c_snippets/type.c -------------------------------------------------------------------------------- /code_snippets/chp4/greeting/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/greeting/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp4/greeting/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/greeting/src/main.rs -------------------------------------------------------------------------------- /code_snippets/chp4/stack_example/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/stack_example/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp4/stack_example/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/stack_example/src/main.rs -------------------------------------------------------------------------------- /code_snippets/chp4/stack_example_iter/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/stack_example_iter/Cargo.toml -------------------------------------------------------------------------------- /code_snippets/chp4/stack_example_iter/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/code_snippets/chp4/stack_example_iter/src/main.rs -------------------------------------------------------------------------------- /docker_aarch64/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docker_aarch64/Dockerfile -------------------------------------------------------------------------------- /docs/.nojekyll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/.nojekyll -------------------------------------------------------------------------------- /docs/404.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/404.html -------------------------------------------------------------------------------- /docs/CNAME: -------------------------------------------------------------------------------- 1 | highassurance.rs -------------------------------------------------------------------------------- /docs/FontAwesome/css/font-awesome.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/FontAwesome/css/font-awesome.css -------------------------------------------------------------------------------- /docs/FontAwesome/fonts/FontAwesome.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/FontAwesome/fonts/FontAwesome.ttf -------------------------------------------------------------------------------- /docs/FontAwesome/fonts/fontawesome-webfont.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/FontAwesome/fonts/fontawesome-webfont.eot -------------------------------------------------------------------------------- /docs/FontAwesome/fonts/fontawesome-webfont.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/FontAwesome/fonts/fontawesome-webfont.svg -------------------------------------------------------------------------------- /docs/FontAwesome/fonts/fontawesome-webfont.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/FontAwesome/fonts/fontawesome-webfont.ttf -------------------------------------------------------------------------------- /docs/FontAwesome/fonts/fontawesome-webfont.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/FontAwesome/fonts/fontawesome-webfont.woff -------------------------------------------------------------------------------- /docs/FontAwesome/fonts/fontawesome-webfont.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/FontAwesome/fonts/fontawesome-webfont.woff2 -------------------------------------------------------------------------------- /docs/ayu-highlight.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/ayu-highlight.css -------------------------------------------------------------------------------- /docs/book.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/book.js -------------------------------------------------------------------------------- /docs/cfp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/cfp.html -------------------------------------------------------------------------------- /docs/changelog.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/changelog.html -------------------------------------------------------------------------------- /docs/chp1/_hands_on.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/_hands_on.html -------------------------------------------------------------------------------- /docs/chp1/_index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/_index.html -------------------------------------------------------------------------------- /docs/chp1/about_the_team.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/about_the_team.html -------------------------------------------------------------------------------- /docs/chp1/bugs_venn.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/bugs_venn.svg -------------------------------------------------------------------------------- /docs/chp1/challenges.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/challenges.html -------------------------------------------------------------------------------- /docs/chp1/dreyfus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/dreyfus.svg -------------------------------------------------------------------------------- /docs/chp1/how_is_this_book_structured.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/how_is_this_book_structured.html -------------------------------------------------------------------------------- /docs/chp1/rust_stack.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/rust_stack.svg -------------------------------------------------------------------------------- /docs/chp1/sys_langs.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/sys_langs.svg -------------------------------------------------------------------------------- /docs/chp1/why_this_book.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp1/why_this_book.html -------------------------------------------------------------------------------- /docs/chp12/diff_fuzz_PLACEHOLDER.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp12/diff_fuzz_PLACEHOLDER.html -------------------------------------------------------------------------------- /docs/chp14/tactical_trust_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp14/tactical_trust_1.html -------------------------------------------------------------------------------- /docs/chp14/tt_nonce_reuse.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp14/tt_nonce_reuse.svg -------------------------------------------------------------------------------- /docs/chp14/tt_supplychain_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp14/tt_supplychain_1.svg -------------------------------------------------------------------------------- /docs/chp14/tt_supplychain_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp14/tt_supplychain_2.svg -------------------------------------------------------------------------------- /docs/chp16_appendix/_index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/_index.html -------------------------------------------------------------------------------- /docs/chp16_appendix/books.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/books.html -------------------------------------------------------------------------------- /docs/chp16_appendix/components.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/components.html -------------------------------------------------------------------------------- /docs/chp16_appendix/crypto.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/crypto.html -------------------------------------------------------------------------------- /docs/chp16_appendix/icfg.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/icfg.html -------------------------------------------------------------------------------- /docs/chp16_appendix/icfg_iter.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/icfg_iter.svg -------------------------------------------------------------------------------- /docs/chp16_appendix/icfg_mut_rec.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/icfg_mut_rec.svg -------------------------------------------------------------------------------- /docs/chp16_appendix/icfg_rec.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/icfg_rec.svg -------------------------------------------------------------------------------- /docs/chp16_appendix/mem_hierarch.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/mem_hierarch.html -------------------------------------------------------------------------------- /docs/chp16_appendix/mod_deep.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/mod_deep.svg -------------------------------------------------------------------------------- /docs/chp16_appendix/mod_shallow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/mod_shallow.svg -------------------------------------------------------------------------------- /docs/chp16_appendix/resources.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/resources.html -------------------------------------------------------------------------------- /docs/chp16_appendix/stream_cipher.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/stream_cipher.svg -------------------------------------------------------------------------------- /docs/chp16_appendix/tools.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/tools.html -------------------------------------------------------------------------------- /docs/chp16_appendix/types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp16_appendix/types.html -------------------------------------------------------------------------------- /docs/chp2/_hands_on.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/_hands_on.html -------------------------------------------------------------------------------- /docs/chp2/_index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/_index.html -------------------------------------------------------------------------------- /docs/chp2/cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/cli.html -------------------------------------------------------------------------------- /docs/chp2/dynamic_assurance_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/dynamic_assurance_1.html -------------------------------------------------------------------------------- /docs/chp2/dynamic_assurance_2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/dynamic_assurance_2.html -------------------------------------------------------------------------------- /docs/chp2/dynamic_assurance_3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/dynamic_assurance_3.html -------------------------------------------------------------------------------- /docs/chp2/incr_ptrs_alias.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/incr_ptrs_alias.svg -------------------------------------------------------------------------------- /docs/chp2/incr_ptrs_bad.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/incr_ptrs_bad.svg -------------------------------------------------------------------------------- /docs/chp2/incr_ptrs_ok.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/incr_ptrs_ok.svg -------------------------------------------------------------------------------- /docs/chp2/incr_ptrs_ok_after.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/incr_ptrs_ok_after.svg -------------------------------------------------------------------------------- /docs/chp2/limits.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/limits.html -------------------------------------------------------------------------------- /docs/chp2/link_dynamic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/link_dynamic.svg -------------------------------------------------------------------------------- /docs/chp2/link_static.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/link_static.svg -------------------------------------------------------------------------------- /docs/chp2/operational_assurance_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/operational_assurance_1.html -------------------------------------------------------------------------------- /docs/chp2/operational_assurance_2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/operational_assurance_2.html -------------------------------------------------------------------------------- /docs/chp2/rc4_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/rc4_1.svg -------------------------------------------------------------------------------- /docs/chp2/rc4_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/rc4_2.svg -------------------------------------------------------------------------------- /docs/chp2/rcli_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/rcli_model.svg -------------------------------------------------------------------------------- /docs/chp2/static_assurance_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/static_assurance_1.html -------------------------------------------------------------------------------- /docs/chp2/static_assurance_2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/static_assurance_2.html -------------------------------------------------------------------------------- /docs/chp2/static_vs_dynamic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/static_vs_dynamic.html -------------------------------------------------------------------------------- /docs/chp2/tool_quad.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp2/tool_quad.svg -------------------------------------------------------------------------------- /docs/chp3/_hands_on.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/_hands_on.html -------------------------------------------------------------------------------- /docs/chp3/_index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/_index.html -------------------------------------------------------------------------------- /docs/chp3/building_blocks.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/building_blocks.svg -------------------------------------------------------------------------------- /docs/chp3/count_primes_doc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/count_primes_doc.png -------------------------------------------------------------------------------- /docs/chp3/misra.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/misra.svg -------------------------------------------------------------------------------- /docs/chp3/mod_single_file.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/mod_single_file.svg -------------------------------------------------------------------------------- /docs/chp3/modules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/modules.html -------------------------------------------------------------------------------- /docs/chp3/own_move.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/own_move.svg -------------------------------------------------------------------------------- /docs/chp3/own_move_copy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/own_move_copy.svg -------------------------------------------------------------------------------- /docs/chp3/proc_own_no_child.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/proc_own_no_child.svg -------------------------------------------------------------------------------- /docs/chp3/proc_own_one_child.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/proc_own_one_child.svg -------------------------------------------------------------------------------- /docs/chp3/proc_ref_no_child.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/proc_ref_no_child.svg -------------------------------------------------------------------------------- /docs/chp3/proc_ref_one_child.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/proc_ref_one_child.svg -------------------------------------------------------------------------------- /docs/chp3/ref_venn_interior_mut.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/ref_venn_interior_mut.svg -------------------------------------------------------------------------------- /docs/chp3/ref_venn_normal.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/ref_venn_normal.svg -------------------------------------------------------------------------------- /docs/chp3/rust_1_low_data_rep.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/rust_1_low_data_rep.html -------------------------------------------------------------------------------- /docs/chp3/rust_2_high_data_rep.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/rust_2_high_data_rep.html -------------------------------------------------------------------------------- /docs/chp3/rust_3_ctrl_flow.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/rust_3_ctrl_flow.html -------------------------------------------------------------------------------- /docs/chp3/rust_4_own_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/rust_4_own_1.html -------------------------------------------------------------------------------- /docs/chp3/rust_5_own_2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/rust_5_own_2.html -------------------------------------------------------------------------------- /docs/chp3/rust_6_error.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/rust_6_error.html -------------------------------------------------------------------------------- /docs/chp3/tooling.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/tooling.html -------------------------------------------------------------------------------- /docs/chp3/undef.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp3/undef.html -------------------------------------------------------------------------------- /docs/chp4/_index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/_index.html -------------------------------------------------------------------------------- /docs/chp4/assure_stack_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/assure_stack_1.html -------------------------------------------------------------------------------- /docs/chp4/attack_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/attack_1.html -------------------------------------------------------------------------------- /docs/chp4/attack_2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/attack_2.html -------------------------------------------------------------------------------- /docs/chp4/behavior_concentric.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/behavior_concentric.svg -------------------------------------------------------------------------------- /docs/chp4/cpu_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/cpu_model.svg -------------------------------------------------------------------------------- /docs/chp4/exploit_jop_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/exploit_jop_model.svg -------------------------------------------------------------------------------- /docs/chp4/exploit_rop_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/exploit_rop_model.svg -------------------------------------------------------------------------------- /docs/chp4/mem_safety_block.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/mem_safety_block.svg -------------------------------------------------------------------------------- /docs/chp4/program_process.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/program_process.svg -------------------------------------------------------------------------------- /docs/chp4/safe_rust_PLACEHOLDER.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/safe_rust_PLACEHOLDER.html -------------------------------------------------------------------------------- /docs/chp4/safety_buffer_overflow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/safety_buffer_overflow.svg -------------------------------------------------------------------------------- /docs/chp4/safety_spatial_grow_up.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/safety_spatial_grow_up.svg -------------------------------------------------------------------------------- /docs/chp4/safety_temporal_grow_up.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/safety_temporal_grow_up.svg -------------------------------------------------------------------------------- /docs/chp4/safety_type_grow_up.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/safety_type_grow_up.svg -------------------------------------------------------------------------------- /docs/chp4/socket_state_machine.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/socket_state_machine.svg -------------------------------------------------------------------------------- /docs/chp4/socket_weird_machine.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/socket_weird_machine.svg -------------------------------------------------------------------------------- /docs/chp4/stack_example.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/stack_example.svg -------------------------------------------------------------------------------- /docs/chp4/stack_scaling_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/stack_scaling_1.svg -------------------------------------------------------------------------------- /docs/chp4/stack_scaling_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/stack_scaling_2.svg -------------------------------------------------------------------------------- /docs/chp4/static_strings.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/static_strings.svg -------------------------------------------------------------------------------- /docs/chp4/sw_stack_1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp4/sw_stack_1.html -------------------------------------------------------------------------------- /docs/chp7/traits.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/chp7/traits.html -------------------------------------------------------------------------------- /docs/clipboard.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/clipboard.min.js -------------------------------------------------------------------------------- /docs/css/chrome.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/css/chrome.css -------------------------------------------------------------------------------- /docs/css/general.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/css/general.css -------------------------------------------------------------------------------- /docs/css/print.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/css/print.css -------------------------------------------------------------------------------- /docs/css/variables.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/css/variables.css -------------------------------------------------------------------------------- /docs/download.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/download.html -------------------------------------------------------------------------------- /docs/elasticlunr.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/elasticlunr.min.js -------------------------------------------------------------------------------- /docs/engage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/engage.html -------------------------------------------------------------------------------- /docs/faq.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/faq.html -------------------------------------------------------------------------------- /docs/favicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/favicon.png -------------------------------------------------------------------------------- /docs/favicon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/favicon.svg -------------------------------------------------------------------------------- /docs/fonts/OPEN-SANS-LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/OPEN-SANS-LICENSE.txt -------------------------------------------------------------------------------- /docs/fonts/SOURCE-CODE-PRO-LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/SOURCE-CODE-PRO-LICENSE.txt -------------------------------------------------------------------------------- /docs/fonts/fonts.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/fonts.css -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-300.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-300.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-300italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-300italic.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-600.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-600.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-600italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-600italic.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-700.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-700.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-700italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-700italic.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-800.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-800.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-800italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-800italic.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-italic.woff2 -------------------------------------------------------------------------------- /docs/fonts/open-sans-v17-all-charsets-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/open-sans-v17-all-charsets-regular.woff2 -------------------------------------------------------------------------------- /docs/fonts/source-code-pro-v11-all-charsets-500.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/fonts/source-code-pro-v11-all-charsets-500.woff2 -------------------------------------------------------------------------------- /docs/highlight.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/highlight.css -------------------------------------------------------------------------------- /docs/highlight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/highlight.js -------------------------------------------------------------------------------- /docs/img/book_topics.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/book_topics.svg -------------------------------------------------------------------------------- /docs/img/faq_venn.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/faq_venn.svg -------------------------------------------------------------------------------- /docs/img/har_logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/har_logo.svg -------------------------------------------------------------------------------- /docs/img/har_logo_inkscape.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/har_logo_inkscape.svg -------------------------------------------------------------------------------- /docs/img/har_logo_social.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/har_logo_social.png -------------------------------------------------------------------------------- /docs/img/recommended_books/book_c.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/recommended_books/book_c.jpg -------------------------------------------------------------------------------- /docs/img/recommended_books/book_crypto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/recommended_books/book_crypto.jpg -------------------------------------------------------------------------------- /docs/img/recommended_books/book_csapp.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/recommended_books/book_csapp.jpg -------------------------------------------------------------------------------- /docs/img/recommended_books/book_pba.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/recommended_books/book_pba.jpg -------------------------------------------------------------------------------- /docs/img/recommended_books/book_phil.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/recommended_books/book_phil.jpg -------------------------------------------------------------------------------- /docs/img/recommended_books/book_rust_1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/recommended_books/book_rust_1.jpg -------------------------------------------------------------------------------- /docs/img/recommended_books/book_rust_2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/recommended_books/book_rust_2.jpg -------------------------------------------------------------------------------- /docs/img/rust_foundation_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/img/rust_foundation_logo.png -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/landing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/landing.html -------------------------------------------------------------------------------- /docs/license.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/license.html -------------------------------------------------------------------------------- /docs/mark.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/mark.min.js -------------------------------------------------------------------------------- /docs/print.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/print.html -------------------------------------------------------------------------------- /docs/searcher.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/searcher.js -------------------------------------------------------------------------------- /docs/searchindex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/searchindex.js -------------------------------------------------------------------------------- /docs/templates/placeholder_img.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/templates/placeholder_img.png -------------------------------------------------------------------------------- /docs/toc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/toc.html -------------------------------------------------------------------------------- /docs/toc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/toc.js -------------------------------------------------------------------------------- /docs/tomorrow-night.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/docs/tomorrow-night.css -------------------------------------------------------------------------------- /img/har_logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/img/har_logo.svg -------------------------------------------------------------------------------- /img/rust_foundation_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/img/rust_foundation_logo.png -------------------------------------------------------------------------------- /internal_tools/har_analyze/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/Cargo.toml -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/book.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/book.rs -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/chapter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/chapter.rs -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/content.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/content.rs -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/lint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/lint.rs -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/main.rs -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/mod.rs -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/rules.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/rules.rs -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/traits.rs -------------------------------------------------------------------------------- /internal_tools/har_analyze/src/update.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/internal_tools/har_analyze/src/update.rs -------------------------------------------------------------------------------- /src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/SUMMARY.md -------------------------------------------------------------------------------- /src/cfp.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/cfp.md -------------------------------------------------------------------------------- /src/changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/changelog.md -------------------------------------------------------------------------------- /src/chp1/_hands_on.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/_hands_on.md -------------------------------------------------------------------------------- /src/chp1/_index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/_index.md -------------------------------------------------------------------------------- /src/chp1/about_the_team.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/about_the_team.md -------------------------------------------------------------------------------- /src/chp1/bugs_venn.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/bugs_venn.svg -------------------------------------------------------------------------------- /src/chp1/challenges.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/challenges.md -------------------------------------------------------------------------------- /src/chp1/dreyfus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/dreyfus.svg -------------------------------------------------------------------------------- /src/chp1/how_is_this_book_structured.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/how_is_this_book_structured.md -------------------------------------------------------------------------------- /src/chp1/rust_stack.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/rust_stack.svg -------------------------------------------------------------------------------- /src/chp1/sys_langs.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/sys_langs.svg -------------------------------------------------------------------------------- /src/chp1/why_this_book.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp1/why_this_book.md -------------------------------------------------------------------------------- /src/chp12/diff_fuzz_PLACEHOLDER.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp12/diff_fuzz_PLACEHOLDER.md -------------------------------------------------------------------------------- /src/chp14/tactical_trust_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp14/tactical_trust_1.md -------------------------------------------------------------------------------- /src/chp14/tt_nonce_reuse.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp14/tt_nonce_reuse.svg -------------------------------------------------------------------------------- /src/chp14/tt_supplychain_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp14/tt_supplychain_1.svg -------------------------------------------------------------------------------- /src/chp14/tt_supplychain_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp14/tt_supplychain_2.svg -------------------------------------------------------------------------------- /src/chp16_appendix/_index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/_index.md -------------------------------------------------------------------------------- /src/chp16_appendix/books.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/books.md -------------------------------------------------------------------------------- /src/chp16_appendix/components.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/components.md -------------------------------------------------------------------------------- /src/chp16_appendix/crypto.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/crypto.md -------------------------------------------------------------------------------- /src/chp16_appendix/icfg.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/icfg.md -------------------------------------------------------------------------------- /src/chp16_appendix/icfg_iter.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/icfg_iter.svg -------------------------------------------------------------------------------- /src/chp16_appendix/icfg_mut_rec.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/icfg_mut_rec.svg -------------------------------------------------------------------------------- /src/chp16_appendix/icfg_rec.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/icfg_rec.svg -------------------------------------------------------------------------------- /src/chp16_appendix/mem_hierarch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/mem_hierarch.md -------------------------------------------------------------------------------- /src/chp16_appendix/mod_deep.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/mod_deep.svg -------------------------------------------------------------------------------- /src/chp16_appendix/mod_shallow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/mod_shallow.svg -------------------------------------------------------------------------------- /src/chp16_appendix/resources.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/resources.md -------------------------------------------------------------------------------- /src/chp16_appendix/stream_cipher.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/stream_cipher.svg -------------------------------------------------------------------------------- /src/chp16_appendix/tools.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/tools.md -------------------------------------------------------------------------------- /src/chp16_appendix/types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp16_appendix/types.md -------------------------------------------------------------------------------- /src/chp2/_hands_on.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/_hands_on.md -------------------------------------------------------------------------------- /src/chp2/_index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/_index.md -------------------------------------------------------------------------------- /src/chp2/cli.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/cli.md -------------------------------------------------------------------------------- /src/chp2/dynamic_assurance_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/dynamic_assurance_1.md -------------------------------------------------------------------------------- /src/chp2/dynamic_assurance_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/dynamic_assurance_2.md -------------------------------------------------------------------------------- /src/chp2/dynamic_assurance_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/dynamic_assurance_3.md -------------------------------------------------------------------------------- /src/chp2/incr_ptrs_alias.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/incr_ptrs_alias.svg -------------------------------------------------------------------------------- /src/chp2/incr_ptrs_bad.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/incr_ptrs_bad.svg -------------------------------------------------------------------------------- /src/chp2/incr_ptrs_ok.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/incr_ptrs_ok.svg -------------------------------------------------------------------------------- /src/chp2/incr_ptrs_ok_after.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/incr_ptrs_ok_after.svg -------------------------------------------------------------------------------- /src/chp2/limits.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/limits.md -------------------------------------------------------------------------------- /src/chp2/link_dynamic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/link_dynamic.svg -------------------------------------------------------------------------------- /src/chp2/link_static.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/link_static.svg -------------------------------------------------------------------------------- /src/chp2/operational_assurance_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/operational_assurance_1.md -------------------------------------------------------------------------------- /src/chp2/operational_assurance_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/operational_assurance_2.md -------------------------------------------------------------------------------- /src/chp2/rc4_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/rc4_1.svg -------------------------------------------------------------------------------- /src/chp2/rc4_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/rc4_2.svg -------------------------------------------------------------------------------- /src/chp2/rcli_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/rcli_model.svg -------------------------------------------------------------------------------- /src/chp2/static_assurance_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/static_assurance_1.md -------------------------------------------------------------------------------- /src/chp2/static_assurance_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/static_assurance_2.md -------------------------------------------------------------------------------- /src/chp2/static_vs_dynamic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/static_vs_dynamic.md -------------------------------------------------------------------------------- /src/chp2/tool_quad.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp2/tool_quad.svg -------------------------------------------------------------------------------- /src/chp3/_hands_on.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/_hands_on.md -------------------------------------------------------------------------------- /src/chp3/_index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/_index.md -------------------------------------------------------------------------------- /src/chp3/building_blocks.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/building_blocks.svg -------------------------------------------------------------------------------- /src/chp3/count_primes_doc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/count_primes_doc.png -------------------------------------------------------------------------------- /src/chp3/misra.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/misra.svg -------------------------------------------------------------------------------- /src/chp3/mod_single_file.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/mod_single_file.svg -------------------------------------------------------------------------------- /src/chp3/modules.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/modules.md -------------------------------------------------------------------------------- /src/chp3/own_move.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/own_move.svg -------------------------------------------------------------------------------- /src/chp3/own_move_copy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/own_move_copy.svg -------------------------------------------------------------------------------- /src/chp3/proc_own_no_child.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/proc_own_no_child.svg -------------------------------------------------------------------------------- /src/chp3/proc_own_one_child.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/proc_own_one_child.svg -------------------------------------------------------------------------------- /src/chp3/proc_ref_no_child.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/proc_ref_no_child.svg -------------------------------------------------------------------------------- /src/chp3/proc_ref_one_child.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/proc_ref_one_child.svg -------------------------------------------------------------------------------- /src/chp3/ref_venn_interior_mut.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/ref_venn_interior_mut.svg -------------------------------------------------------------------------------- /src/chp3/ref_venn_normal.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/ref_venn_normal.svg -------------------------------------------------------------------------------- /src/chp3/rust_1_low_data_rep.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/rust_1_low_data_rep.md -------------------------------------------------------------------------------- /src/chp3/rust_2_high_data_rep.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/rust_2_high_data_rep.md -------------------------------------------------------------------------------- /src/chp3/rust_3_ctrl_flow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/rust_3_ctrl_flow.md -------------------------------------------------------------------------------- /src/chp3/rust_4_own_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/rust_4_own_1.md -------------------------------------------------------------------------------- /src/chp3/rust_5_own_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/rust_5_own_2.md -------------------------------------------------------------------------------- /src/chp3/rust_6_error.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/rust_6_error.md -------------------------------------------------------------------------------- /src/chp3/tooling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/tooling.md -------------------------------------------------------------------------------- /src/chp3/undef.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp3/undef.md -------------------------------------------------------------------------------- /src/chp4/_index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/_index.md -------------------------------------------------------------------------------- /src/chp4/assure_stack_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/assure_stack_1.md -------------------------------------------------------------------------------- /src/chp4/attack_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/attack_1.md -------------------------------------------------------------------------------- /src/chp4/attack_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/attack_2.md -------------------------------------------------------------------------------- /src/chp4/behavior_concentric.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/behavior_concentric.svg -------------------------------------------------------------------------------- /src/chp4/cpu_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/cpu_model.svg -------------------------------------------------------------------------------- /src/chp4/exploit_jop_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/exploit_jop_model.svg -------------------------------------------------------------------------------- /src/chp4/exploit_rop_model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/exploit_rop_model.svg -------------------------------------------------------------------------------- /src/chp4/mem_safety_block.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/mem_safety_block.svg -------------------------------------------------------------------------------- /src/chp4/program_process.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/program_process.svg -------------------------------------------------------------------------------- /src/chp4/safe_rust_PLACEHOLDER.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/safe_rust_PLACEHOLDER.md -------------------------------------------------------------------------------- /src/chp4/safety_buffer_overflow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/safety_buffer_overflow.svg -------------------------------------------------------------------------------- /src/chp4/safety_spatial_grow_up.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/safety_spatial_grow_up.svg -------------------------------------------------------------------------------- /src/chp4/safety_temporal_grow_up.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/safety_temporal_grow_up.svg -------------------------------------------------------------------------------- /src/chp4/safety_type_grow_up.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/safety_type_grow_up.svg -------------------------------------------------------------------------------- /src/chp4/socket_state_machine.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/socket_state_machine.svg -------------------------------------------------------------------------------- /src/chp4/socket_weird_machine.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/socket_weird_machine.svg -------------------------------------------------------------------------------- /src/chp4/stack_example.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/stack_example.svg -------------------------------------------------------------------------------- /src/chp4/stack_scaling_1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/stack_scaling_1.svg -------------------------------------------------------------------------------- /src/chp4/stack_scaling_2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/stack_scaling_2.svg -------------------------------------------------------------------------------- /src/chp4/static_strings.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/static_strings.svg -------------------------------------------------------------------------------- /src/chp4/sw_stack_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp4/sw_stack_1.md -------------------------------------------------------------------------------- /src/chp7/traits.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/chp7/traits.md -------------------------------------------------------------------------------- /src/download.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/download.md -------------------------------------------------------------------------------- /src/engage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/engage.md -------------------------------------------------------------------------------- /src/faq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/faq.md -------------------------------------------------------------------------------- /src/img/book_topics.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/book_topics.svg -------------------------------------------------------------------------------- /src/img/faq_venn.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/faq_venn.svg -------------------------------------------------------------------------------- /src/img/har_logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/har_logo.svg -------------------------------------------------------------------------------- /src/img/har_logo_inkscape.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/har_logo_inkscape.svg -------------------------------------------------------------------------------- /src/img/har_logo_social.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/har_logo_social.png -------------------------------------------------------------------------------- /src/img/recommended_books/book_c.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/recommended_books/book_c.jpg -------------------------------------------------------------------------------- /src/img/recommended_books/book_crypto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/recommended_books/book_crypto.jpg -------------------------------------------------------------------------------- /src/img/recommended_books/book_csapp.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/recommended_books/book_csapp.jpg -------------------------------------------------------------------------------- /src/img/recommended_books/book_pba.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/recommended_books/book_pba.jpg -------------------------------------------------------------------------------- /src/img/recommended_books/book_phil.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/recommended_books/book_phil.jpg -------------------------------------------------------------------------------- /src/img/recommended_books/book_rust_1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/recommended_books/book_rust_1.jpg -------------------------------------------------------------------------------- /src/img/recommended_books/book_rust_2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/recommended_books/book_rust_2.jpg -------------------------------------------------------------------------------- /src/img/rust_foundation_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/img/rust_foundation_logo.png -------------------------------------------------------------------------------- /src/landing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/landing.md -------------------------------------------------------------------------------- /src/license.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/license.md -------------------------------------------------------------------------------- /src/templates/_hands_on.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/templates/_hands_on.md -------------------------------------------------------------------------------- /src/templates/_index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/templates/_index.md -------------------------------------------------------------------------------- /src/templates/placeholder_img.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/templates/placeholder_img.png -------------------------------------------------------------------------------- /src/templates/section.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/src/templates/section.md -------------------------------------------------------------------------------- /theme/css/variables.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tnballo/high-assurance-rust/HEAD/theme/css/variables.css --------------------------------------------------------------------------------