From be78e22dbe35fb64c0716d8ac473858566112a5e Mon Sep 17 00:00:00 2001 From: Dana Binkley Date: Fri, 8 Nov 2024 22:30:07 +0000 Subject: [PATCH 1/4] Formatting changes --- courses/gnatsas/010_course_overview.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/courses/gnatsas/010_course_overview.rst b/courses/gnatsas/010_course_overview.rst index 71ea9e791..33be42648 100644 --- a/courses/gnatsas/010_course_overview.rst +++ b/courses/gnatsas/010_course_overview.rst @@ -64,7 +64,7 @@ What Is Static Analysis? + *May* be exhaustive + All possible errors are reported - + No false negatives; there may be false positives + + No false negatives; there *may* be false positives + If the analyzer does not report a problem, there is no problem @@ -96,7 +96,7 @@ What Is GNAT SAS? + Numeric overflows + Numeric wraparounds + Improper use of Application Programming Interfaces (APIs) - + and more + + ...and more ------------------------ What Does GNAT SAS Do? From 55c76419953182ea689fdb989db543a75e5f8506 Mon Sep 17 00:00:00 2001 From: Dana Binkley Date: Fri, 8 Nov 2024 22:32:01 +0000 Subject: [PATCH 2/4] Update metric_010_overview.rst --- courses/gnatsas/metric_010_overview.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/gnatsas/metric_010_overview.rst b/courses/gnatsas/metric_010_overview.rst index f09e9e7fd..01c8926b6 100644 --- a/courses/gnatsas/metric_010_overview.rst +++ b/courses/gnatsas/metric_010_overview.rst @@ -713,7 +713,7 @@ Understanding McCabe Complexity v(G) = E - N + 2 * P -+ Aimed a measuring the complexity of execution paths ++ Aimed at measuring the complexity of execution paths + Needs to be adapted for each language ---------------- From 727c68b7d4ac30157036cff7ccc82b50719e7eb0 Mon Sep 17 00:00:00 2001 From: Dana Binkley Date: Fri, 8 Nov 2024 22:39:15 +0000 Subject: [PATCH 3/4] Changing spelling for consistency --- courses/gnatsas/sas_020_overview.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/gnatsas/sas_020_overview.rst b/courses/gnatsas/sas_020_overview.rst index 44bab4469..dca8942e7 100644 --- a/courses/gnatsas/sas_020_overview.rst +++ b/courses/gnatsas/sas_020_overview.rst @@ -159,7 +159,7 @@ Typical Users and Use Cases + Reviewers + **Annotate** code with analysis of potential problems - + **Analyse** specific CWE issues + + **Analyze** specific CWE issues + Project managers and quality engineers From 48df8b67e5ad2aa28351682fc2c3d397e2c71e3c Mon Sep 17 00:00:00 2001 From: Dana Binkley Date: Fri, 8 Nov 2024 22:40:51 +0000 Subject: [PATCH 4/4] Removing "." at end of bullet --- courses/gnatdas/cover_010_overview.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/gnatdas/cover_010_overview.rst b/courses/gnatdas/cover_010_overview.rst index aabc2ed1d..b28447b90 100644 --- a/courses/gnatdas/cover_010_overview.rst +++ b/courses/gnatdas/cover_010_overview.rst @@ -58,7 +58,7 @@ Coverage Data Gathering * :dfn:`Binary traces` - * Produced by instrumented execution environment with unmodifed version of program. + * Produced by instrumented execution environment with unmodifed version of program * Traces contain low level information about executed blocks of machine instructions * :dfn:`Source traces`