report corrections

This commit is contained in:
Claudio Maggioni 2023-05-01 17:08:22 +02:00
parent 38ca002687
commit ae3d05fd7c
2 changed files with 2 additions and 2 deletions

Binary file not shown.

View file

@ -75,7 +75,7 @@ Given these requirements, I decide to analyze the Apache Commons Text project
in the GitHub repository
\href{https://github.com/apache/commons-text}{\textbf{apache/commons-text}}.
\subsection{The Apache Commons Lang Project}
\subsection{The Apache Commons Text Project}
The Apache Commons family of libraries is an Apache Software
Foundation\footnote{\url{https://apache.org/}} sponsored collection of Java
libraries designed to complement the standard libraries of Java. The Apache
@ -160,7 +160,7 @@ compilation output at that tag is stored in the file
No CheckerFramework checkers other than the index checker is used in this
analysis as the code in the project mainly manipulates strings and arrays and a
significant number of warnings are generated even by using this checker only..
significant number of warnings are generated even by using this checker only.
\section{Refactoring}