Skip to content

Training/2024 11 07 tools #431

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
dm-at-ada wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Training/2024 11 07 tools #431

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
be78e22
Formatting changes
dm-at-ada Nov 8, 2024
55c7641
Update metric_010_overview.rst
dm-at-ada Nov 8, 2024
727c68b
Changing spelling for consistency
dm-at-ada Nov 8, 2024
48df8b6
Removing "." at end of bullet
dm-at-ada Nov 8, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion courses/gnatdas/cover_010_overview.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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`
Expand Down
4 changes: 2 additions & 2 deletions courses/gnatsas/010_course_overview.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down Expand Up @@ -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?
Expand Down
2 changes: 1 addition & 1 deletion courses/gnatsas/metric_010_overview.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

----------------
Expand Down
2 changes: 1 addition & 1 deletion courses/gnatsas/sas_020_overview.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down