diff --git a/CR-TP4/.gitkeep b/CR-TP4/.gitkeep
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/README.md b/README.md
index d45efdc1d9661bcad0d40675f85cabae988cb0e7..ddb0a354fbedf9ca68307b38215a39cd42112999 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,2 @@
# M1 INFO FSI TP Template
-Dépôt à forker pour les TP de fiabilité logicielle en M1 informatique parcours FSI.
\ No newline at end of file
diff --git a/TP4/README.md b/TP4/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..e5f6b82079a8c7282c99284d7c8f170b497bacf5
--- /dev/null
+++ b/TP4/README.md
@@ -0,0 +1,8 @@
+# M1 INFO FSI TP 4
+
+Lancer PMD avec la commande suivante :
+
+```
+./gradlew pmdMain
+```
+
diff --git a/TP4/build.gradle.kts b/TP4/build.gradle.kts
new file mode 100644
index 0000000000000000000000000000000000000000..adcbf202343bf844e7df0cb50084db8edfd49b6a
--- /dev/null
+++ b/TP4/build.gradle.kts
@@ -0,0 +1,35 @@
+plugins {
+ id("java")
+ id("application")
+ id("pmd")
+}
+
+repositories {
+ mavenCentral()
+}
+
+dependencies {
+ testImplementation("org.junit.jupiter:junit-jupiter-api:5.11.4")
+ testRuntimeOnly("org.junit.jupiter:junit-jupiter-engine:5.11.4")
+ testRuntimeOnly("org.junit.platform:junit-platform-launcher")
+ testImplementation("org.assertj:assertj-core:3.27.0")
+}
+
+tasks.test {
+ useJUnitPlatform()
+}
+
+
+
+pmd {
+ isConsoleOutput = true
+ toolVersion = "7.0.0-rc1"
+ rulesMinimumPriority = 5
+ ruleSets = listOf("rulesets/java/quickstart.xml", "category/java/errorprone.xml", "category/java/bestpractices.xml")
+}
+
+
+
+application {
+ mainClass.set("Main")
+}
\ No newline at end of file
diff --git a/TP4/gradle/wrapper/gradle-wrapper.jar b/TP4/gradle/wrapper/gradle-wrapper.jar
new file mode 100644
index 0000000000000000000000000000000000000000..249e5832f090a2944b7473328c07c9755baa3196
Binary files /dev/null and b/TP4/gradle/wrapper/gradle-wrapper.jar differ
diff --git a/TP4/gradle/wrapper/gradle-wrapper.properties b/TP4/gradle/wrapper/gradle-wrapper.properties
new file mode 100644
index 0000000000000000000000000000000000000000..6cad6cda26cd7ba51db63aec97ff7128ec72f7c9
--- /dev/null
+++ b/TP4/gradle/wrapper/gradle-wrapper.properties
@@ -0,0 +1,6 @@
+#Tue Dec 05 18:16:17 CET 2023
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.12-bin.zip
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists
diff --git a/TP4/gradlew b/TP4/gradlew
new file mode 100755
index 0000000000000000000000000000000000000000..1b6c787337ffb79f0e3cf8b1e9f00f680a959de1
--- /dev/null
+++ b/TP4/gradlew
@@ -0,0 +1,234 @@
+#!/bin/sh
+
+#
+# Copyright © 2015-2021 the original authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+
+##############################################################################
+#
+# Gradle start up script for POSIX generated by Gradle.
+#
+# Important for running:
+#
+# (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is
+# noncompliant, but you have some other compliant shell such as ksh or
+# bash, then to run this script, type that shell name before the whole
+# command line, like:
+#
+# ksh Gradle
+#
+# Busybox and similar reduced shells will NOT work, because this script
+# requires all of these POSIX shell features:
+# * functions;
+# * expansions «$var», «${var}», «${var:-default}», «${var+SET}»,
+# «${var#prefix}», «${var%suffix}», and «$( cmd )»;
+# * compound commands having a testable exit status, especially «case»;
+# * various built-in commands including «command», «set», and «ulimit».
+#
+# Important for patching:
+#
+# (2) This script targets any POSIX shell, so it avoids extensions provided
+# by Bash, Ksh, etc; in particular arrays are avoided.
+#
+# The "traditional" practice of packing multiple parameters into a
+# space-separated string is a well documented source of bugs and security
+# problems, so this is (mostly) avoided, by progressively accumulating
+# options in "$@", and eventually passing that to Java.
+#
+# Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS,
+# and GRADLE_OPTS) rely on word-splitting, this is performed explicitly;
+# see the in-line comments for details.
+#
+# There are tweaks for specific operating systems such as AIX, CygWin,
+# Darwin, MinGW, and NonStop.
+#
+# (3) This script is generated from the Groovy template
+# https://github.com/gradle/gradle/blob/master/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
+# within the Gradle project.
+#
+# You can find Gradle at https://github.com/gradle/gradle/.
+#
+##############################################################################
+
+# Attempt to set APP_HOME
+
+# Resolve links: $0 may be a link
+app_path=$0
+
+# Need this for daisy-chained symlinks.
+while
+ APP_HOME=${app_path%"${app_path##*/}"} # leaves a trailing /; empty if no leading path
+ [ -h "$app_path" ]
+do
+ ls=$( ls -ld "$app_path" )
+ link=${ls#*' -> '}
+ case $link in #(
+ /*) app_path=$link ;; #(
+ *) app_path=$APP_HOME$link ;;
+ esac
+done
+
+APP_HOME=$( cd "${APP_HOME:-./}" && pwd -P ) || exit
+
+APP_NAME="Gradle"
+APP_BASE_NAME=${0##*/}
+
+# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"'
+
+# Use the maximum available, or set MAX_FD != -1 to use that value.
+MAX_FD=maximum
+
+warn () {
+ echo "$*"
+} >&2
+
+die () {
+ echo
+ echo "$*"
+ echo
+ exit 1
+} >&2
+
+# OS specific support (must be 'true' or 'false').
+cygwin=false
+msys=false
+darwin=false
+nonstop=false
+case "$( uname )" in #(
+ CYGWIN* ) cygwin=true ;; #(
+ Darwin* ) darwin=true ;; #(
+ MSYS* | MINGW* ) msys=true ;; #(
+ NONSTOP* ) nonstop=true ;;
+esac
+
+CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
+
+
+# Determine the Java command to use to start the JVM.
+if [ -n "$JAVA_HOME" ] ; then
+ if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
+ # IBM's JDK on AIX uses strange locations for the executables
+ JAVACMD=$JAVA_HOME/jre/sh/java
+ else
+ JAVACMD=$JAVA_HOME/bin/java
+ fi
+ if [ ! -x "$JAVACMD" ] ; then
+ die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+ fi
+else
+ JAVACMD=java
+ which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+fi
+
+# Increase the maximum file descriptors if we can.
+if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then
+ case $MAX_FD in #(
+ max*)
+ MAX_FD=$( ulimit -H -n ) ||
+ warn "Could not query maximum file descriptor limit"
+ esac
+ case $MAX_FD in #(
+ '' | soft) :;; #(
+ *)
+ ulimit -n "$MAX_FD" ||
+ warn "Could not set maximum file descriptor limit to $MAX_FD"
+ esac
+fi
+
+# Collect all arguments for the java command, stacking in reverse order:
+# * args from the command line
+# * the main class name
+# * -classpath
+# * -D...appname settings
+# * --module-path (only if needed)
+# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables.
+
+# For Cygwin or MSYS, switch paths to Windows format before running java
+if "$cygwin" || "$msys" ; then
+ APP_HOME=$( cygpath --path --mixed "$APP_HOME" )
+ CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" )
+
+ JAVACMD=$( cygpath --unix "$JAVACMD" )
+
+ # Now convert the arguments - kludge to limit ourselves to /bin/sh
+ for arg do
+ if
+ case $arg in #(
+ -*) false ;; # don't mess with options #(
+ /?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath
+ [ -e "$t" ] ;; #(
+ *) false ;;
+ esac
+ then
+ arg=$( cygpath --path --ignore --mixed "$arg" )
+ fi
+ # Roll the args list around exactly as many times as the number of
+ # args, so each arg winds up back in the position where it started, but
+ # possibly modified.
+ #
+ # NB: a `for` loop captures its iteration list before it begins, so
+ # changing the positional parameters here affects neither the number of
+ # iterations, nor the values presented in `arg`.
+ shift # remove old arg
+ set -- "$@" "$arg" # push replacement arg
+ done
+fi
+
+# Collect all arguments for the java command;
+# * $DEFAULT_JVM_OPTS, $JAVA_OPTS, and $GRADLE_OPTS can contain fragments of
+# shell script including quotes and variable substitutions, so put them in
+# double quotes to make sure that they get re-expanded; and
+# * put everything else in single quotes, so that it's not re-expanded.
+
+set -- \
+ "-Dorg.gradle.appname=$APP_BASE_NAME" \
+ -classpath "$CLASSPATH" \
+ org.gradle.wrapper.GradleWrapperMain \
+ "$@"
+
+# Use "xargs" to parse quoted args.
+#
+# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
+#
+# In Bash we could simply go:
+#
+# readarray ARGS < <( xargs -n1 <<<"$var" ) &&
+# set -- "${ARGS[@]}" "$@"
+#
+# but POSIX shell has neither arrays nor command substitution, so instead we
+# post-process each arg (as a line of input to sed) to backslash-escape any
+# character that might be a shell metacharacter, then use eval to reverse
+# that process (while maintaining the separation between arguments), and wrap
+# the whole thing up as a single "set" statement.
+#
+# This will of course break if any of these variables contains a newline or
+# an unmatched quote.
+#
+
+eval "set -- $(
+ printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" |
+ xargs -n1 |
+ sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' |
+ tr '\n' ' '
+ )" '"$@"'
+
+exec "$JAVACMD" "$@"
diff --git a/TP4/gradlew.bat b/TP4/gradlew.bat
new file mode 100644
index 0000000000000000000000000000000000000000..107acd32c4e687021ef32db511e8a206129b88ec
--- /dev/null
+++ b/TP4/gradlew.bat
@@ -0,0 +1,89 @@
+@rem
+@rem Copyright 2015 the original author or authors.
+@rem
+@rem Licensed under the Apache License, Version 2.0 (the "License");
+@rem you may not use this file except in compliance with the License.
+@rem You may obtain a copy of the License at
+@rem
+@rem https://www.apache.org/licenses/LICENSE-2.0
+@rem
+@rem Unless required by applicable law or agreed to in writing, software
+@rem distributed under the License is distributed on an "AS IS" BASIS,
+@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+@rem See the License for the specific language governing permissions and
+@rem limitations under the License.
+@rem
+
+@if "%DEBUG%" == "" @echo off
+@rem ##########################################################################
+@rem
+@rem Gradle startup script for Windows
+@rem
+@rem ##########################################################################
+
+@rem Set local scope for the variables with windows NT shell
+if "%OS%"=="Windows_NT" setlocal
+
+set DIRNAME=%~dp0
+if "%DIRNAME%" == "" set DIRNAME=.
+set APP_BASE_NAME=%~n0
+set APP_HOME=%DIRNAME%
+
+@rem Resolve any "." and ".." in APP_HOME to make it shorter.
+for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
+
+@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
+
+@rem Find java.exe
+if defined JAVA_HOME goto findJavaFromJavaHome
+
+set JAVA_EXE=java.exe
+%JAVA_EXE% -version >NUL 2>&1
+if "%ERRORLEVEL%" == "0" goto execute
+
+echo.
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:findJavaFromJavaHome
+set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+
+if exist "%JAVA_EXE%" goto execute
+
+echo.
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:execute
+@rem Setup the command line
+
+set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
+
+
+@rem Execute Gradle
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
+
+:end
+@rem End local scope for the variables with windows NT shell
+if "%ERRORLEVEL%"=="0" goto mainEnd
+
+:fail
+rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
+rem the _cmd.exe /c_ return code!
+if not "" == "%GRADLE_EXIT_CONSOLE%" exit 1
+exit /b 1
+
+:mainEnd
+if "%OS%"=="Windows_NT" endlocal
+
+:omega
diff --git a/TP4/settings.gradle b/TP4/settings.gradle
new file mode 100644
index 0000000000000000000000000000000000000000..4856d3a72f130c9e56650cf4873821c0a02a1fb9
--- /dev/null
+++ b/TP4/settings.gradle
@@ -0,0 +1,4 @@
+
+
+rootProject.name = 'tp_4_static_analysis'
+
diff --git a/TP4/src/main/java/Complex.java b/TP4/src/main/java/Complex.java
new file mode 100644
index 0000000000000000000000000000000000000000..54ffb1f6ea2e58d217f30337571db4bf8b7418c6
--- /dev/null
+++ b/TP4/src/main/java/Complex.java
@@ -0,0 +1,64 @@
+public class Complex {
+ float realPart = 0;
+ float imaginaryPart = 0;
+
+ public Complex() {
+ super();
+ }
+
+ public Complex(float a, float b) {
+ this.realPart = a;
+ this.imaginaryPart = b;
+ }
+
+
+ public boolean is_zero() {
+ return ((this.realPart == 0) && (this.imaginaryPart == 0));
+ }
+
+ public float getRealPart() {
+ return this.realPart;
+ }
+
+ public float getImaginaryPart() {
+ return this.imaginaryPart;
+ }
+
+ public void setRealPart(float a) {
+ this.realPart = a;
+ }
+
+ public void setImaginaryPart(float b) {
+ this.imaginaryPart = b;
+ }
+
+ public Complex sum(Complex c) {
+ return new Complex(this.realPart + c.getRealPart(), this.imaginaryPart + c.getImaginaryPart());
+ }
+
+
+ public Complex inverse() throws IllegalArgumentException {
+
+ float square_norm = (this.realPart * this.realPart + this.imaginaryPart * this.imaginaryPart);
+
+ if (is_zero()) throw new IllegalArgumentException();
+ else return new Complex(this.realPart / square_norm, -this.imaginaryPart / square_norm);
+ }
+
+ public boolean equals(Complex c){
+ if ((this == null) || (c == null)) return false;
+ return ((this.realPart == c.realPart) && (this.imaginaryPart == c.imaginaryPart));
+ }
+
+ @Override
+ public String toString() {
+ return realPart + "+i" + imaginaryPart;
+ }
+
+ public static void infinite()
+ {
+ infinite();
+ }
+}
+
+
diff --git a/TP4/src/main/java/Main.java b/TP4/src/main/java/Main.java
new file mode 100644
index 0000000000000000000000000000000000000000..ac5b194571e6e9a5853cd98500ca9abb3140ad8a
--- /dev/null
+++ b/TP4/src/main/java/Main.java
@@ -0,0 +1,47 @@
+
+public class Main {
+
+ public static class Point{
+ float abs = 0.0F;
+ float ord = 0.0F;
+
+ public Point(){
+ super();
+ }
+
+ public Point(float x, float y){
+ abs = x;
+ ord = y;
+ }
+ }
+
+ public static class Rectangle{
+ Point point1;
+ Point point2;
+
+ public Rectangle(Point P1, Point P2){
+ point1 = P1;
+ point2 = P2;
+ }
+ }
+
+
+ public static void main(String[] args) {
+
+ Point P1 = new Point(7,8);
+ Rectangle R1 = new Rectangle(P1, new Point());
+ Rectangle R2 = R1;
+ Rectangle R3 = new Rectangle(P1, new Point());
+
+ if (R1 == R2) System.out.println("equal_ref");
+
+ if (R1.point1 == R3.point1) System.out.println("equal_point1Field");
+
+
+ R3.point1.ord = 2;
+ R1.point1.ord = R3.point1.ord;
+ if (R1.point1.ord == R3.point1.ord) System.out.println("equal_point1Field_ordField");
+
+ }
+
+}
diff --git a/TP4/src/main/java/SpotBugsExample.java b/TP4/src/main/java/SpotBugsExample.java
new file mode 100644
index 0000000000000000000000000000000000000000..ecb83cb994585cf5eca1ed122221b069384997f2
--- /dev/null
+++ b/TP4/src/main/java/SpotBugsExample.java
@@ -0,0 +1,29 @@
+import java.io.*;
+
+public class SpotBugsExample {
+ private byte[] b;
+ private int length;
+
+ SpotBugsExample() {
+ length = 40;
+ b = new byte[length];
+ }
+
+
+ public void bar() {
+ int y;
+
+ try {
+ FileInputStream x = new FileInputStream("z");
+ x.read(b, 0, length);
+ x.close();
+ } catch (Exception e) {
+ System.out.println("Oopsie");
+ }
+
+ for (int i = 1; i <= length; i++) {
+ if (Integer.toString(50) == Byte.toString(b[i])) System.out.print(b[i] + " ");
+ }
+
+ }
+}