118 citations · 158 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 11 cited
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models
Haonan Li, Yu Hao, Yizhuo Zhai +1
Static analysis is a widely used technique in software engineering for identifying and mitigating bugs. However, a significant hurdle lies in achieving a delicate balance between p…
cs.CR2023★ 1 cited
PolyScope: Multi-Policy Access Control Analysis to Triage Android Scoped Storage
Yu-Tsung Lee, Haining Chen, William Enck +5
Android's filesystem access control is a crucial aspect of its system integrity. It utilizes a combination of mandatory access controls, such as SELinux, and discretionary access c…