WebNov 1, 2016 · As the analysis budget increases, Supa achieves improved precision, with its single-stage flow-sensitive analysis reaching 97% of that achieved by whole-program flow- sensitive analysis by consuming about 0.19 seconds and 36KB of memory per query, on average (with a budget of at most 10000 value-flow edges per query). References Webstate-of-the-art inclusion-based pointer analysis algorithms, namely, HT, PKH, and BLQ. We find that HT is the fastest— 1.9 faster than PKH and 6.5 faster than BLQ. We …
The ant and the grasshopper: fast and accurate pointer analysis …
WebMay 27, 2024 · A crucial performance bottleneck in most interprocedural static analyses is solving pointer analysis constraints. We present Pus, a highly efficient solver for inclusion-based pointer analysis. At the heart of Pus is a new constraint solving algorithm that signifi-cantly advances the state-of-the-art. Unlike the existing algorithms (i.e., wave and deep … WebPointer analysis is just a prerequi-site to our pointer recoder. 2.1 Related Work The general problem of pointer analysis can be divided into two parts, Points-To and Alias analysis. Points-to analysis attempts to statically determine the memory lo-cations a pointer can point to. On the other hand, alias analysis attempts to determine if two ... grammarly installer for windows
Yulei Sui - GitHub Pages
WebJan 1, 2009 · Inclusion-Based Multi-level Pointer Analysis January 2009 DOI: 10.1109/AICI.2009.157 Authors: Yingxia Cui Longshu Li Sheng Yao Abstract A novel … WebNov 8, 2009 · Inclusion-Based Multi-level Pointer Analysis Abstract: A novel approach for points-to information analysis is presented, which can deal with not only the single dereferenced pointers, but also the multiple dereferenced pointers, arrays and … WebA crucial performance bottleneck in most interprocedural static analyses is solving pointer analysis constraints. We present Pus, a highly efficient solver for inclusion-based pointer analysis. At the heart of Pus is a new constraint solving algorithm that significantly … grammarly installer free download