46 citations · 150 across the 66 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…