diff --git a/Frontend/android/app/build.gradle.kts b/Frontend/android/app/build.gradle.kts
index ad4ac4c6..c96f5437 100644
--- a/Frontend/android/app/build.gradle.kts
+++ b/Frontend/android/app/build.gradle.kts
@@ -55,6 +55,11 @@ android {
             // TODO: Add your own signing config for the release build.
             // Signing with the debug keys for now, so `flutter run --release` works.
             signingConfig = signingConfigs.getByName("release")
+	    isMinifyEnabled = true
+            proguardFiles(
+            	getDefaultProguardFile("proguard-android-optimize.txt"), 
+            	"proguard-rules.pro"
+        	)
         }
     }
 }
diff --git a/Frontend/android/app/proguard-rules.pro b/Frontend/android/app/proguard-rules.pro
new file mode 100644
index 00000000..d216aea2
--- /dev/null
+++ b/Frontend/android/app/proguard-rules.pro
@@ -0,0 +1,5 @@
+# R8/ProGuard rules to prevent removal of necessary Facebook Infer annotations
+-keep class com.facebook.infer.annotation.** { *; }
+-keep interface com.facebook.infer.annotation.** { *; }
+-dontwarn com.facebook.infer.annotation.Nullsafe$Mode
+-dontwarn com.facebook.infer.annotation.Nullsafe
\ No newline at end of file
diff --git a/Frontend/pubspec.lock b/Frontend/pubspec.lock
index 83c03080..697e5b35 100644
--- a/Frontend/pubspec.lock
+++ b/Frontend/pubspec.lock
@@ -297,6 +297,14 @@ packages:
       url: "https://pub.dev"
     source: hosted
     version: "1.0.2"
+  cupertino_icons:
+    dependency: "direct main"
+    description:
+      name: cupertino_icons
+      sha256: ba631d1c7f7bef6b729a622b7b752645a2d076dba9976925b8f25725a30e1ee6
+      url: "https://pub.dev"
+    source: hosted
+    version: "1.0.8"
   custom_rating_bar:
     dependency: "direct main"
     description:
diff --git a/Frontend/pubspec.yaml b/Frontend/pubspec.yaml
index 0c1b30b9..16c88d91 100644
--- a/Frontend/pubspec.yaml
+++ b/Frontend/pubspec.yaml
@@ -13,6 +13,7 @@ dependencies:
   flutter_web_plugins:
     sdk: flutter
 
+  cupertino_icons: ^1.0.8
   font_awesome_flutter: ^10.7.0
   syncfusion_flutter_core: ^29.2.10
   syncfusion_flutter_pdfviewer: ^29.2.10