Compare revisions

# 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

plugins {

    id("java")

    id("jacoco")

}

group = "fr.univ_amu.m1info"

    testImplementation("org.assertj:assertj-core:3.27.0")

}

tasks.test {

    useJUnitPlatform()

}

tasks.test {

    finalizedBy(tasks.jacocoTestReport) // report is always generated after tests run

}

tasks.jacocoTestReport {

    dependsOn(tasks.test) // tests are required to run before generating the report

}

.gradle

build/

!gradle/wrapper/gradle-wrapper.jar

!**/src/main/**/build/

!**/src/test/**/build/

### IntelliJ IDEA ###

.idea/

### VS Code ###

.vscode/

### Mac OS ###

.DS_Store

 No newline at end of file

# M1 INFO FSI TP 4

- 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

plugins {

    id("java")

    id("application")

    id("pmd")

    id("com.github.spotbugs") version "6.1.3"

    id ("name.remal.sonarlint") version "5.1.1"

}

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")

}

spotbugs {

    toolVersion = "4.9.0"

}

application {

    mainClass.set("Main")

}

#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

#!/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" "$@"

@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

rootProject.name = 'tp_4_static_analysis'

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();

    }

}

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");

    }

}

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] + " ");

        }

    }

}

#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

#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

/*Put your specification here.

*/

int max(int a, int b);

 No newline at end of file

#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

/*Put your specification here.

 */

int max(int a, int b, int c, int d, int e);

 No newline at end of file

#include "max.h"

int max(int a, int b)

{

	return a;

}

 No newline at end of file

#include "max.h"