A Compositional Deadlock Detector for Android Java
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)(2021)
摘要
We develop a static deadlock analysis for commercial Android Java applications, of sizes in the tens of millions of LoC, under active development at Facebook. The analysis runs primarily at code-review time, on only the modified code and its dependents; we aim at reporting to developers in under 15 minutes.To detect deadlocks in this setting, we first model the real language as an abstract languag...
更多查看译文
关键词
Java,Analytical models,Codes,Social networking (online),Instruction sets,Detectors,System recovery
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要