That's another story, but I agree. Usually temporal logic properties would want to talk about higher level things: such as method call / return sequences (after a thread accesses the internet it never writes any data to a persistent sink).
Kris On Thu, May 9, 2013 at 8:44 AM, Julian Schütte <[email protected]> wrote: > You probably do not want to alter the Android sources but rather the > application to monitor. Tracing registers at bytecode level is possible when > injecting tracing code into the applications byte code. Have a look at the > apkil tool to get started. However, I doubt that evaluating temporal logic > over registers will get you very far, when dealing with arrays, return > values etc. > Best regards, > Julian > > > > Emeric VIGIER <[email protected]> schrieb: > > >>Read and store each register after each processor instruction? Are you >>kidding? Can you imagine the overhead this could ever bring to the >>normal >>operation of the system? >> >>Emeric >>Le 8 mai 2013 12:59, "Zhazira" <[email protected]> a écrit : >> >>> I'm currently doing my master thesis. And my task is dynamically >>execute >>> Android apps and monitor temporal Logic properties. >>> >>> What I want is to try to read all current register's values and their >>tags >>> after every instruction execution and write to logs. Is it possible >>to >>> change source code of Android? If so can you please give directions >>in >>> which part of source code I should focus or how I can do it. I'm new >>in >>> this topic and I already tried to look at Android source code, but >>not able >>> to find out which part is responsible or handles each instruction >>execution. >>> >>> Please, could you help me with this? I would very much appreciate >>your >>> help. >>> >>> -- >>> -- >>> unsubscribe: [email protected] >>> website: http://groups.google.com/group/android-kernel >>> --- >>> You received this message because you are subscribed to the Google >>Groups >>> "Android Linux Kernel Development" group. >>> To unsubscribe from this group and stop receiving emails from it, >>send an >>> email to [email protected]. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >>> >>> >> >>-- >>-- >>unsubscribe: [email protected] >>website: http://groups.google.com/group/android-kernel >>--- >>You received this message because you are subscribed to the Google >>Groups "Android Linux Kernel Development" group. >>To unsubscribe from this group and stop receiving emails from it, send >>an email to [email protected]. >>For more options, visit https://groups.google.com/groups/opt_out. > > -- > Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail gesendet. > -- > Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail gesendet. > > -- > -- > unsubscribe: [email protected] > website: http://groups.google.com/group/android-kernel > --- > You received this message because you are subscribed to the Google Groups > "Android Linux Kernel Development" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. > > -- -- unsubscribe: [email protected] website: http://groups.google.com/group/android-kernel --- You received this message because you are subscribed to the Google Groups "Android Linux Kernel Development" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
