Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree.

Hongliang Liang, Shirun Liu, Yini Zhang, Meilin Wang

Browse the full SNPD paper archive.