TP4/README.md

 # M1 INFO FSI TP 4
 
-Lancer PMD avec la commande suivante :
+- Lancer PMD sur le code `main` avec la commande suivante :
 
     ```
     ./gradlew pmdMain
     ```
   
+- Lancer PMD sur le code `test` avec la commande suivante :
+
+    ```
+    ./gradlew pmdTest
+    ```
+
+- Lancer SpotBugs sur le code `main` avec la commande suivante :
+
+    ```
+    ./gradlew spotbugsMain
+    ```
+
+- Lancer SpotBugs sur le code `test` avec la commande suivante :
+
+    ```
+    ./gradlew spotbugsTest
+    ```
+
+- Lancer sonarlint sur le code `main` avec la commande suivante :
+
+    ```
+    ./gradlew sonarlintMain
+    ```
+
+- Lancer sonarlint sur le code `test` avec la commande suivante :
+
+    ```
+    ./gradlew sonarlintTest
+    ```
\ No newline at end of file

TP4/build.gradle.kts

@@ -2,6 +2,8 @@ plugins {
     id("java")
     id("application")
     id("pmd")
+    id("com.github.spotbugs") version "6.1.3"
+    id ("name.remal.sonarlint") version "5.1.1"
 }
 
 repositories {
@@ -19,8 +21,6 @@ tasks.test {
     useJUnitPlatform()
 }
 
-
-
 pmd {
     isConsoleOutput = true
     toolVersion = "7.0.0-rc1"
@@ -28,7 +28,9 @@ pmd {
     ruleSets = listOf("rulesets/java/quickstart.xml", "category/java/errorprone.xml", "category/java/bestpractices.xml")
 }
 
-
+spotbugs {
+    toolVersion = "4.9.0"
+}
 
 application {
     mainClass.set("Main")

TP5/Exo1/first-example.c

+#include <limits.h>
+#include "__fc_builtin.h"
+
+/*@
+  ensures \result >= 0;
+*/
+int abs(int val)
+{
+	if (val < 0)
+		return -val;
+	return val;
+}
+
+/*@ ensures \result == a + b;
+ */
+int add(int a, int b)
+{
+	return a + b;
+}
+
+/*@ ensures \result == a/b;
+ */
+int div(int a, int b)
+{
+	return a / b;
+}
+
+int main(void)
+{
+	int a = abs(42);
+	int b = abs(-42);
+	int c = abs(-74);
+	int d = add(a, c);
+	int e = add(d, d);
+	//	b = add(INT_MAX,42);	//cas d’erreur 1
+	//	a = abs(INT_MIN);		//cas d’erreur 2
+	a = div(4, 8);
+	b = div(17, -12);
+	//	c = div(15,0);			//cas d’erreur 3
+	a = div(-12, 54);
+}
\ No newline at end of file

TP5/Exo2/max.c

+#include "max.h"
+
+int max(int a, int b)
+{
+	int res = a;
+	if (res < b)
+		res = b;
+	return res;
+}
\ No newline at end of file

TP5/Exo2/max.h

+
+/*Put your specification here.
+*/
+int max(int a, int b);
\ No newline at end of file

TP5/Exo2/max_5.c

+#include "max_5.h"
+
+int max(int a, int b, int c, int d, int e)
+{
+    int res = a;
+    if (res < b)
+        res = b;
+    if (res < c)
+        res = c;
+    if (res < d)
+        res = d;
+    if (res < e)
+        res = e;
+    return res;
+}
\ No newline at end of file

TP5/Exo2/max_5.h

+
+/*Put your specification here.
+ */
+int max(int a, int b, int c, int d, int e);
\ No newline at end of file