Home

Yichen__Xie


ARCHER: Using symbolic, path-sensitive analysis to detect memory access errors

Using redundancies to find errors