Under the following wiki page:
https://github.com/ftsrg/swsv-labs/wiki/1-Advanced-static-analysis-tools
Links to fbinfer are broken.

Solution: From the ends of all https://fbinfer.com/ links ".html" should be removed.
Example solution:
The original link: https://fbinfer.com/docs/getting-started.html
The replacement that works: https://fbinfer.com/docs/getting-started

Screencap of the an example issue:

In 1b-Source-code-analysis-tools.md:

• At the end of the 11th line, there should be an "it", right before the full stop
• The first "it" after the open parenthesis in line 80 shouldn't be there

Sidenote: It appears that pull requests can not be created for a Wiki page since forks do not include the Wiki. The Wiki repositories themselves can only be cloned (by appending .wiki.git to the end of the repository's name, e.g. https://github.com/FTSRG/swsv-labs.wiki.git).

There are a couple of new white-box test generation tools that are integrated with modern IDEs, and seem to have a (limited) free version also.

• DiffBlue Cover
• Symflower

In spaceship project the GT4500Tests.java class doesn't follow the default maven naming conventions.
By default Maven uses the following naming conventions when looking for tests to run:

• Test*
• *Test
• *TestCase

In spaceship project the test source directory is "src/main/test" but it should be "src/test/java".
@davidhonfi please check my suggestion before the lab.
See this link: https://maven.apache.org/guides/introduction/introduction-to-the-standard-directory-layout.html