13 citations · 28 across the 6 of their papers we have counts for
6 papers
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…
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Sunbeom So, Myungho Lee, Jisu Park +2
We present VeriSmart, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically i…
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…
Synthesizing Imperative Programs from Examples Guided by Static Analysis
Sunbeom So, Hakjoo Oh
We present a novel algorithm that synthesizes imperative programs for introductory programming courses. Given a set of input-output examples and a partial program, our algorithm ge…
Automatically generating features for learning program analysis heuristics
Kwonsoo Chae, Hakjoo Oh, Kihong Heo +1
We present a technique for automatically generating features for data-driven program analyses. Recently data-driven approaches for building a program analysis have been proposed, w…