Static Symbolic Execution in SVF

Guanqin Zhang. MPhil Thesis, UTS, 2022
Download Paper