Add script file for target 3

Does not yet add target 3 to the test suite

demos/nov-2023/Makefile

@@ -148,7 +148,10 @@ target3: target3.original.so target3.patched.so
 		-s _ZN3ros22TransportPublisherLink15onMessageLengthERKN5boost10shared_ptrINS_10ConnectionEEERKNS1_12shared_arrayIhEEjb \
 		-s _ZN3ros22TransportPublisherLink16onHeaderReceivedERKN5boost10shared_ptrINS_10ConnectionEEERKNS_6HeaderE \
 		-s _ZN3ros22TransportPublisherLinkD2Ev \
-		--save-macaw-cfgs target1_CFGs
+		--save-macaw-cfgs target1_CFGs \
+		--ignore-warnings NonTotalBlockExits \
+		--ignore-warnings RequiresInvalidPointerOps \
+		--script target3.pate
 
 target3.diff: target3.original.so target3.patched.so
 	arm-none-eabi-objdump -M force-thumb-mode -d target3.original.so > target3.original.dump

demos/nov-2023/target3.pate

@@ -0,0 +1,40 @@
+Choose Entry Point
+    > Function Entry "onMessageLength"
+
+Function Entry "onMessageLength"
+    ...
+    Call to: "function4" (segment1+0x71980) Returns to: "onMessageLength" (segment1+0x1200b8) (original) vs. Jump to: "onMessageLength" (segment1+0x11ffc0)
+        ...
+            ...
+            > Choose desynchronization points
+
+            Choose a desynchronization point:
+                > segment1+0x11ffc0 (original)
+                > segment1+0x11ffc0 (patched)
+
+
+segment1+0x11ffc0 [ via: "onMessageLength" (segment1+0x11febc) ]
+    Block Exits
+        ...
+        ...
+        Control flow desynchronization found
+            > Align control flow in equivalence condition
+
+
+segment1+0x11ebe4
+    Block Exits
+        ...
+        ...
+        Control flow desynchronization found
+            > Align control flow in equivalence condition
+
+segment1+0x11ec7c
+    Block Exits
+        ...
+        ...
+        Control flow desynchronization found
+            > Align control flow in equivalence condition
+
+Verification Finished
+Continue verification?
+    > Finish and view final result