13 citations · 14 across the 3 of their papers we have counts for
3 papers · 1 filter
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse
Seunghoon Woo, Sunghan Park, Seulbae Kim +2
Open-source software (OSS) is widely reused as it provides convenience and efficiency in software development. Despite evident benefits, unmanaged OSS components can introduce thre…
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…
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…