4 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Tian Tan, Yue Li
Static analysis is a mature field with applications to bug detection, security analysis, and code optimization, etc. To facilitate these applications, static analysis frameworks pl…