311 citations · 328 across the 3 of their papers we have counts for
1 paper · 1 filter
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…