Added EVMLiSAExecutor and updated references

In addition:- Updated ABIManager to exclude global variables with state mutability view and pure.
- Introduced EVMLiSAExecutor for managing asynchronous task execution with enhanced logging and timeout handling.
- Added LiSAConfigurationManager methods to create configurations with specified paths.
- Refactored MyCache to include new warning types and improved thread safety.
- Expanded VulnerabilitiesObject to include randomness and possible randomness dependency scores.
- Implemented comprehensive tests for randomness dependency analysis.
- Updated logging configuration to include class names in log outputs.

Author: merendamattia

scripts/bash/evmlisa-job-cpu.sh

@@ -6,7 +6,7 @@
 #SBATCH --cpus-per-task=1
 #SBATCH --time=3-00:00:00
 #SBATCH --mem=64G
-#SBATCH --mail-user=[email protected] 
+#SBATCH --mail-user=<email>
 #SBATCH --mail-type=FAIL
 #SBATCH --partition=cpu
 #SBATCH --qos=cpu

scripts/bash/evmlisa-job-cpu_guest.sh

@@ -6,7 +6,7 @@
 #SBATCH --cpus-per-task=1
 #SBATCH --time=3-00:00:00
 #SBATCH --mem=64G
-#SBATCH --mail-user=[email protected] 
+#SBATCH --mail-user=<email>
 #SBATCH --mail-type=FAIL
 #SBATCH --partition=cpu_guest
 #SBATCH --qos=cpu_guest

scripts/bash/job-handler.sh

@@ -5,7 +5,7 @@
 #SBATCH --cpus-per-task=1
 #SBATCH --time=0-06:00:00
 #SBATCH --mem=16G
-#SBATCH --mail-user=[email protected] 
+#SBATCH --mail-user=<email>
 #SBATCH --mail-type=FAIL
 #SBATCH --partition=cpu
 #SBATCH --qos=cpu