SMT solving

Path-Sensitive Sparse Analysis without Path Conditions
Sparse program analysis is fast as it propagates data flow facts via data dependence, skipping unnecessary control flows. However, when …
PDF 引用 DOI Paper Link