Tianxiao Gu

> [APE] >>>>>>>> SATA end step [644][10414526109924] > [APE] Internal error > java.lang.RuntimeException: Conflict: not implement yet! > at com.android.commands.monkey.ape.naming.StateNamingManager.updateNaming(StateNamingManager.java:142) > at com.android.commands.monkey.ape.naming.StateNamingManager.updateNaming(StateNamingManager.java:75) > at com.android.commands.monkey.ape.naming.StateNamingManager.updateNaming(StateNamingManager.java:126) > at com.android.commands.monkey.ape.naming.StateNamingManager.updateNaming(StateNamingManager.java:75) >...

> java.lang.RuntimeException: An unvisited state has non-empty transitions. > at com.android.commands.monkey.ape.agent.StatefulAgent.checkAndRefreshNewState(StatefulAgent.java:525) > at com.android.commands.monkey.ape.agent.StatefulAgent.preCheckTrivialNewState(StatefulAgent.java:565) > at com.android.commands.monkey.ape.agent.StatefulAgent.buildAndValidateNewState(StatefulAgent.java:574) > at com.android.commands.monkey.ape.agent.StatefulAgent.updateStateInternal(StatefulAgent.java:586) > at com.android.commands.monkey.ape.agent.ApeAgent.updateStateWrapper(ApeAgent.java:264) > at com.android.commands.monkey.ape.agent.ApeAgent.updateState(ApeAgent.java:251) > at com.android.commands.monkey.MonkeySourceApe.generateEvents(MonkeySourceApe.java:782) >...

Hi, could you share the app that triggered the crash? The refinement takes about 700s in the log. There must be something wrong. I have just disabled one kind of...

Recent changes to StateNamingManager and Naming have broken the Model evolution part.

Sorry, I have no idea how to debug the code. I have no experience of Android app development. Perhaps we could use the recorded GUI tree to implement a debugging...

This crash may be related to the compiler. When I build pngcp with plain clang-8, the crash disappeared. The output of the one released in Ubuntu 18.04 contains more info....

https://wiki.sei.cmu.edu/confluence/display/c/MSC22-C.+Use+the+setjmp%28%29%2C+longjmp%28%29+facility+securely The usage of `setjmp` seems to be an undefined behavior. https://github.com/glennrp/libpng/blob/a54a0562c53daf2d627f1631be0dd6531cca1694/contrib/tools/pngcp.c#L2277-L2302

Hi @safwatalikhan , thank you very much for reporting the issue. This issue may be because there is another testing tool (e.g., a zombie Ape process) running in your Android...

I got the same ZIP file opening error with GLIBC 2.5. The following flags are removed when linking `libjava.so` with `--enable-static-build=yes`. ``` -Xlinker -version-script=jdk/make/mapfiles/libjava/mapfile-vers ``` Then the function `canonicalize` defined...

The root cause may be the output of `asm2asm.py` contains many `pushq/popq` instructions but these instructions are encoded via `.byte/.word/.long` directives. The Go assembler uses a trivial algorithm to compute...