Skip to content

Commit

Permalink
Generate site
Browse files Browse the repository at this point in the history
  • Loading branch information
@tnballo
tnballo committed Oct 15, 2023
1 parent 10f8df4 commit 10bd69f
Show file tree
Hide file tree
Showing 52 changed files with 1,233 additions and 105 deletions.
14 changes: 13 additions & 1 deletion docs/cfp.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="sponsor-call-for-proposals-cfp"><a class="header" href="#sponsor-call-for-proposals-cfp">Sponsor Call for Proposals (CFP)</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="sponsor-call-for-proposals-cfp"><a class="header" href="#sponsor-call-for-proposals-cfp">Sponsor Call for Proposals (CFP)</a></h1>
<hr />
<p>Readers of this book are likely interested in <strong>software careers</strong> and/or <strong>security products</strong>.
This is a <strong>discovery problem</strong> with two stakeholders:</p>
Expand Down
14 changes: 13 additions & 1 deletion docs/changelog.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="changelog"><a class="header" href="#changelog">Changelog</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="changelog"><a class="header" href="#changelog">Changelog</a></h1>
<hr />
<p><strong>Note:</strong> This book is a work in progress, and its contents (current or future) are subject to change.
If you've found an error, please <a href="./engage.html#submit-feedback-questions-issues-or-prs">get in touch</a>.</p>
Expand Down
14 changes: 13 additions & 1 deletion docs/chp1/_hands_on.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="warmup-environment-setup"><a class="header" href="#warmup-environment-setup">Warmup: Environment Setup</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="warmup-environment-setup"><a class="header" href="#warmup-environment-setup">Warmup: Environment Setup</a></h1>
<blockquote>
<p><strong>WARNING:</strong> The book's container is currently not functional, we'll fix and add it to CI at a later time. Please setup your toolchain via another means, like a local install.</p>
</blockquote>
Expand Down
14 changes: 13 additions & 1 deletion docs/chp1/about_the_team.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="about-the-team"><a class="header" href="#about-the-team">About the Team</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="about-the-team"><a class="header" href="#about-the-team">About the Team</a></h1>
<h2 id="core-team"><a class="header" href="#core-team">Core Team</a></h2>
<p><strong>Tiemoko Ballo, <em>Author</em></strong> (<a href="https://tiemoko.com">tiemoko.com</a>)</p>
<p>Tiemoko is a Senior Cybersecurity Researcher.
Expand Down
14 changes: 13 additions & 1 deletion docs/chp1/challenges.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="hands-on-learning"><a class="header" href="#hands-on-learning">Hands-on Learning</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="hands-on-learning"><a class="header" href="#hands-on-learning">Hands-on Learning</a></h1>
<p>Both software developers and security engineers are practitioners first, theoreticians second.
Understanding underlying concepts and situational context is critical, certainly.
But at the end of the day you write and run code.
Expand Down
14 changes: 13 additions & 1 deletion docs/chp1/how_is_this_book_structured.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="how-is-this-book-structured"><a class="header" href="#how-is-this-book-structured">How is this book structured?</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="how-is-this-book-structured"><a class="header" href="#how-is-this-book-structured">How is this book structured?</a></h1>
<p>Bottom line up front: this book will help you develop expertise by working through a large project in scaffolded stages.
So, for the majority of readers, it's best to read the whole book in order.</p>
<p>But, realistically, not everyone has the time or energy to read a textbook cover-to-cover.
Expand Down
14 changes: 13 additions & 1 deletion docs/chp1/why_this_book.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="why-this-book"><a class="header" href="#why-this-book">Why this book?</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="why-this-book"><a class="header" href="#why-this-book">Why this book?</a></h1>
<p>Rust's momentum has a constellation of factors.
The availability of free, high-quality learning resources<sup class="footnote-reference"><a href="#LearnRust">1</a></sup> is undoubtedly one of them.
Including <em>The Rust Programming Language</em><sup class="footnote-reference"><a href="#TRPL">2</a></sup>, an excellent official text.</p>
Expand Down
14 changes: 13 additions & 1 deletion docs/chp12/diff_fuzz_PLACEHOLDER.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="building-a-differential-fuzzing-harness"><a class="header" href="#building-a-differential-fuzzing-harness">Building a Differential Fuzzing Harness</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="building-a-differential-fuzzing-harness"><a class="header" href="#building-a-differential-fuzzing-harness">Building a Differential Fuzzing Harness</a></h1>
<blockquote>
<p><strong>Note:</strong> This section is a work-in-progress.
For a preview, please see this blog post:</p>
Expand Down
14 changes: 13 additions & 1 deletion docs/chp16_appendix/books.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="inventory-recommended-reading"><a class="header" href="#inventory-recommended-reading">Inventory: Recommended Reading</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="inventory-recommended-reading"><a class="header" href="#inventory-recommended-reading">Inventory: Recommended Reading</a></h1>
<p>This is a complete inventory of recommended reading, books that appear with the tag <em><strong>[PERSONAL FAVORITE]</strong></em> in footnotes.
We genuinely feel each book listed is either an essential read in its field or a reference worth keeping in arm's reach.</p>
<p>If you purchase a book using one of the affiliate links below, it helps support <em><strong>High Assurance Rust</strong></em> - in addition to the book you're buying!</p>
Expand Down
14 changes: 13 additions & 1 deletion docs/chp16_appendix/components.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="fundamentals-component-based-design"><a class="header" href="#fundamentals-component-based-design">Fundamentals: Component-Based Design</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="fundamentals-component-based-design"><a class="header" href="#fundamentals-component-based-design">Fundamentals: Component-Based Design</a></h1>
<p>Assume an Application Programming Interface (API) includes one or more of the below pieces:</p>
<ul>
<li>Data type definitions (structures, enums, etc)</li>
Expand Down
14 changes: 13 additions & 1 deletion docs/chp16_appendix/crypto.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="fundamentals-stream-ciphers"><a class="header" href="#fundamentals-stream-ciphers">Fundamentals: Stream Ciphers</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="fundamentals-stream-ciphers"><a class="header" href="#fundamentals-stream-ciphers">Fundamentals: Stream Ciphers</a></h1>
<p>Cryptography, the study of techniques to secure communication, is a field of mathematics predating Computer Science.
The majority of security engineers don't need to be experts in cryptography.
But every security engineer should have a healthy reverence for it.</p>
Expand Down
14 changes: 13 additions & 1 deletion docs/chp16_appendix/icfg.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="inter-procedural-control-flow-graphs-icfgs"><a class="header" href="#inter-procedural-control-flow-graphs-icfgs">Inter-procedural Control Flow Graphs (ICFGs)</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="inter-procedural-control-flow-graphs-icfgs"><a class="header" href="#inter-procedural-control-flow-graphs-icfgs">Inter-procedural Control Flow Graphs (ICFGs)</a></h1>
<p>When possible, eliminating a bug category with a pattern is ideal for static assurance.
We saw this when exploring stack safety and MISRA C 17.2<sup class="footnote-reference"><a href="#MISRA_2012">1</a></sup> (&quot;no recursion&quot;) in Chapter 4, Section 2.</p>
<p>What impact does recursion have on the more general case, arbitrary static analysis and/or verification tooling?</p>
Expand Down
14 changes: 13 additions & 1 deletion docs/chp16_appendix/mem_hierarch.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,19 @@ <h1 class="menu-title">High Assurance Rust: Developing Secure and Robust Softwar

<div id="content" class="content">
<main>
<h1 id="fundamentals-memory-hierarchy"><a class="header" href="#fundamentals-memory-hierarchy">Fundamentals: Memory Hierarchy</a></h1>
<meta name="title" content="High Assurance Rust">
<meta name="description" content="Developing Secure and Robust Software">
<meta property="og:title" content="High Assurance Rust">
<meta property="og:description" content="Developing Secure and Robust Software">
<meta property="og:type" content="article">
<meta property="og:url" content="https://highassurance.rs/">
<meta property="og:image" content="https://highassurance.rs/img/har_logo_social.png">
<meta name="twitter:title" content="High Assurance Rust">
<meta name="twitter:description" content="Developing Secure and Robust Software">
<meta name="twitter:url" content="https://highassurance.rs/">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://highassurance.rs/img/har_logo_social.png">
<h1 id="fundamentals-memory-hierarchy"><a class="header" href="#fundamentals-memory-hierarchy">Fundamentals: Memory Hierarchy</a></h1>
<p>Most programmers aren't aware of the gory details of interacting with the hardware beneath them.
That's by design.
It's the result of a multi-decade software-hardware co-evolution.</p>
Expand Down
Loading

0 comments on commit 10bd69f

Please sign in to comment.