13 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2019★ 1 cited
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
Sooyoung Cha, Seongjoon Hong, Jingyoung Kim +2
We present a technique to automatically generate search heuristics for dynamic symbolic execution. A key challenge in dynamic symbolic execution is how to effectively explore the p…
cs.SE2017★ 13 cited
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks
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…