Property-guided algorithm

build.gradle

@@ -31,4 +31,4 @@ allprojects {
 
 tasks.register('clean', Delete) {
     delete rootProject.buildDir
-}
+}

build_c++.sh

@@ -0,0 +1,19 @@
+
+cd "native"
+
+rm -r  CMakeFiles/
+cmake -DCMAKE_TOOLCHAIN_FILE="D:\Android\Sdk\ndk\25.2.9519653\build\cmake\android.toolchain.cmake" -DANDROID_ABI=armeabi-v7a -DCMAKE_BUILD_TYPE=Release
+nmake
+rm -r  CMakeFiles/
+
+cmake -DCMAKE_TOOLCHAIN_FILE="D:\Android\Sdk\ndk\25.2.9519653\build\cmake\android.toolchain.cmake" -DANDROID_ABI=arm64-v8a -DCMAKE_BUILD_TYPE=Release
+nmake
+rm -r  CMakeFiles/
+
+cmake -DCMAKE_TOOLCHAIN_FILE="D:\Android\Sdk\ndk\25.2.9519653\build\cmake\android.toolchain.cmake" -DANDROID_ABI=x86  -DCMAKE_BUILD_TYPE=Release
+nmake
+rm -r  CMakeFiles/
+
+cmake -DCMAKE_TOOLCHAIN_FILE="D:\Android\Sdk\ndk\25.2.9519653\build\cmake\android.toolchain.cmake" -DANDROID_ABI=x86_64  -DCMAKE_BUILD_TYPE=Release
+nmake
+rm -r  CMakeFiles/

monkey/build.gradle

@@ -130,4 +130,4 @@ task makeThirdPartJar(type: Jar) {
     destinationDirectory = file("$buildDir/libs")
 }
 
-tasks.assemble.finalizedBy makeThirdPartJar
+tasks.assemble.finalizedBy makeThirdPartJar

monkey/src/main/java/com/android/commands/monkey/source/MonkeySourceApeU2.java

@@ -632,7 +632,7 @@ public Element getRootElement(Document tree) {
             String cur_package;
             if (node.getNodeType() == Node.ELEMENT_NODE) {
                 cur_package = ((Element) node).getAttribute("package");
-                if (!"com.android.systemui".equals(cur_package) && !cur_package.contains("inputmethod") && !"android".equals(cur_package)) {
+                if (!"com.android.systemui".equals(cur_package) && !cur_package.contains("inputmethod") && !"android".equals(cur_package) && !cur_package.contains("gesture") && !cur_package.contains("com.hihonor.android.FloatTasks")) {
                     if (mVerbose > 3){
                         Logger.println("[MonkeySourceApeU2] RootElement:"+cur_package);
                     }
@@ -826,7 +826,7 @@ protected void generateEvents() {
 
                 generateEventsForAction(modelAction);
 
-                // check if could select next fuzz action from full fuzz-able action options.
+                // check if could select next fuzz action from full fuzzing list or simplified fuzzing list.
                 switch (type) {
                     case RESTART:
                     case CLEAN_RESTART:
@@ -1587,4 +1587,46 @@ public void tearDown() {
         printCoverage();
     }
 
+    /**
+     * Ensure current stringOfGuiTree is available and send it to native layer as precondition.
+     * This centralizes the native call so ProxyServer can simply delegate here and reuse
+     * the exact same pageDesc formatting as used by getAction(...).
+     */
+    public boolean sendCurrentPageAsPrecondition() {
+        Logger.println("[MonkeySourceApeU2] sendCurrentPageAsPrecondition: enter");
+        try {
+            // Always refresh hierarchy first (do not use cached stringOfGuiTree at the beginning)
+            Logger.println("[MonkeySourceApeU2] forcing dumpHierarchy() to refresh latest GUI tree");
+            try {
+                this.dumpHierarchy();
+                Logger.println("[MonkeySourceApeU2] dumpHierarchy completed, stringOfGuiTree length=" + (this.stringOfGuiTree == null ? 0 : this.stringOfGuiTree.length()));
+            } catch (Exception ex) {
+                Logger.errorPrintln("[MonkeySourceApeU2] dumpHierarchy failed before sending precondition: " + ex.getMessage());
+            }
+
+            if (this.stringOfGuiTree != null && !this.stringOfGuiTree.isEmpty()) {
+                Logger.println("[MonkeySourceApeU2] calling native addCurrentPageAsPreconditionSync...");
+                boolean ok = AiClient.addCurrentPageAsPreconditionSyncOk(this.stringOfGuiTree);
+                if (ok) {
+                    Logger.println("[MonkeySourceApeU2] Sent current page as precondition to native");
+                    Logger.println("[MonkeySourceApeU2] Precondition XML length: " + this.stringOfGuiTree.length());
+                    Logger.println("[MonkeySourceApeU2] Precondition XML start ---");
+                    Logger.println(this.stringOfGuiTree);
+                    Logger.println("[MonkeySourceApeU2] Precondition XML end ---");
+                    return true;
+                } else {
+                    Logger.errorPrintln("[MonkeySourceApeU2] Native failed to process precondition");
+                    return false;
+                }
+            } else {
+                Logger.errorPrintln("[MonkeySourceApeU2] stringOfGuiTree is empty after forced dump, abort sending precondition");
+                return false;
+            }
+        } catch (Throwable t) {
+            Logger.errorPrintln("[MonkeySourceApeU2] sendCurrentPageAsPrecondition failed: " + t.getMessage());
+            t.printStackTrace();
+            return false;
+        }
+    }
+
 }

monkey/src/main/java/com/android/commands/monkey/utils/ProxyServer.java

@@ -27,7 +27,6 @@
 import org.json.JSONException;
 import org.json.JSONObject;
 
-
 public class ProxyServer extends NanoHTTPD {
 
     private final OkHttpClient client;
@@ -112,6 +111,10 @@ public Response serve(IHTTPSession session) {
             );
         }
 
+        if (session.getMethod() == Method.GET && uri.equals("/propertyFirstSatisfied")) {
+            return handlePropertyFirstSatisfied();
+        }
+
         // parse the request body data
         Map<String, String> data = new HashMap<>();
         String requestBody = "";
@@ -255,6 +258,9 @@ public Response serve(IHTTPSession session) {
         return forward(uri, method, requestBody);
     }
 
+
+
+
     public File getDeviceOutputDir(){
         return outputDir;
     }
@@ -562,4 +568,50 @@ public void recordMonkeyStep(Action action){
         }
         recordLog(action, screenshot_file);
     }
-}
+
+    private Response handlePropertyFirstSatisfied() {
+        // Use a synchronous call with timeout: call sendCurrentPageAsPrecondition and wait for up to TIMEOUT_MS.
+        final int TIMEOUT_MS = 8000; // 8 seconds timeout, tunable
+        if (this.eventSource == null) {
+            Logger.errorPrintln("[ProxyServer] eventSource is null, cannot send precondition");
+            return newFixedLengthResponse(Response.Status.INTERNAL_ERROR, "text/plain", "{\"status\":\"error\",\"message\":\"eventSource not available\"}");
+        }
+
+        java.util.concurrent.ExecutorService ex = java.util.concurrent.Executors.newSingleThreadExecutor();
+        java.util.concurrent.Future<Boolean> f = ex.submit(new java.util.concurrent.Callable<Boolean>() {
+            @Override
+            public Boolean call() throws Exception {
+                try {
+                    return ProxyServer.this.eventSource.sendCurrentPageAsPrecondition();
+                } catch (Throwable t) {
+                    Logger.errorPrintln("[ProxyServer] sendCurrentPageAsPrecondition threw: " + t.getMessage());
+                    return false;
+                }
+            }
+        });
+
+        boolean success = false;
+        try {
+            success = f.get(TIMEOUT_MS, java.util.concurrent.TimeUnit.MILLISECONDS);
+        } catch (java.util.concurrent.TimeoutException te) {
+            f.cancel(true);
+            Logger.errorPrintln("[ProxyServer] sendCurrentPageAsPrecondition timed out after " + TIMEOUT_MS + "ms");
+            ex.shutdownNow();
+            return newFixedLengthResponse(Response.Status.INTERNAL_ERROR, "text/plain", "{\"status\":\"error\",\"message\":\"timeout\"}");
+        } catch (Exception e) {
+            Logger.errorPrintln("[ProxyServer] Exception when waiting for sendCurrentPageAsPrecondition: " + e.getMessage());
+            ex.shutdownNow();
+            return newFixedLengthResponse(Response.Status.INTERNAL_ERROR, "text/plain", "{\"status\":\"error\",\"message\":\"exception\"}");
+        } finally {
+            ex.shutdownNow();
+        }
+
+        if (success) {
+            Logger.println("[ProxyServer] sendCurrentPageAsPrecondition succeeded");
+            return newFixedLengthResponse(Response.Status.OK, "text/plain", "{\"status\":\"ok\"}");
+        } else {
+            Logger.errorPrintln("[ProxyServer] sendCurrentPageAsPrecondition reported failure");
+            return newFixedLengthResponse(Response.Status.INTERNAL_ERROR, "text/plain", "{\"status\":\"error\",\"message\":\"native failed\"}");
+        }
+    }
+}

monkey/src/main/java/com/bytedance/fastbot/AiClient.java

@@ -164,4 +164,15 @@ public Operate b1bhkadf(String activity, String pageDesc) {
         return Operate.fromJson(operateStr);
     }
 
+    public static native void addCurrentPageAsPrecondition(String xml);
+
+    // Native sync method: returns 0 on success, non-zero on error
+    private static native int addCurrentPageAsPreconditionSync(String xml);
+
+    // Java wrapper that returns boolean for success
+    public static boolean addCurrentPageAsPreconditionSyncOk(String xml) {
+        int status = addCurrentPageAsPreconditionSync(xml);
+        return status == 0;
+    }
+
 }