如果我想为Android应用程序开发静态分析,我应该使用哪些切入点?我有两种选择:
ActivityThread.main() from ./frameworks/base/core/java/android/app/ActivityThread.java (或Looper.loop() from ./frameworks/base/core/java/android/os/Looper.java)作为条目onPause()、onResume()等H 212G 213的代码的合成main()。是否有正确的选择?你认为还有其他更合适的选择吗?
发布于 2012-08-13 04:03:53
第二种方法似乎更合理,但仍然不完整。如何对事件处理程序(通常为onXXX())建模是一个困难的问题。应该提供一种形式化来描述GUI,事件驱动的程序。当收集到更多细节时,将更新答案。
https://stackoverflow.com/questions/10057762
复制相似问题