Author:
Ko Yoonseok,Rival Xavier,Ryu Sukyoung
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Precisely Extracting Complex Variable Values from Android Apps;ACM Transactions on Software Engineering and Methodology;2024-06-04
2. A Survey of Parametric Static Analysis;ACM Computing Surveys;2022-09-30
3. Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts;Proceedings of the ACM on Programming Languages;2021-10-20
4. Accelerating JavaScript static analysis via dynamic shortcuts;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
5. Static analysis with demand-driven value refinement;Proceedings of the ACM on Programming Languages;2019-10-10