3 citations · 3 across the 1 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…