Collaborated with:M.Z.0001 M.G.0001 J.Sun G.Chen Y.J.0001 X.Song
Talks about:analysi (2) tool (2) reachabl (1) determin (1) pointer (1) tsmart (1) static (1) memori (1) defect (1) optim (1)
Person: Yuexing Wang
DBLP: Wang:Yuexing
Contributed to:
20172019Wrote 2 papers:
- ASE-2017-WangZJS0S #optimisation #reachability #static analysis
- A static analysis tool with optimizations for reachability determination (YW, MZ0, YJ0, XS, MG0, JS), pp. 925–930.
- ASE-2019-WangC00S #analysis #fault #memory management #named #pointer
- TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis (YW, GC, MZ0, MG0, JS), pp. 1170–1173.