46 citations · 243 across the 107 of their papers we have counts for
1 paper · 2 filters
Min-je Choi, Sehun Jeong, Hakjoo Oh +1
Detecting buffer overruns from a source code is one of the most common and yet challenging tasks in program analysis. Current approaches have mainly relied on rigid rules and handc…