A Practical Algorithm for Learning Disjunctive Abstraction Heuristics in Static Program Analysis
Donghoon Jeon, Minseok Jeon, and Hakjoo Oh Information and Software Technology Volume 135
[link]
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
Sunbeom So, Seongjoon Hong, and Hakjoo Oh Security 2021: 30th USENIX Security Symposium
[pdf] [tool] [media: ]
Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static Analyses
Kihong Heo, Hakjoo Oh, and Hongseok Yang FMSD: Formal Methods in System Design Invited Paper
[link]
Selective Conjunction of Context-Sensitivity and Octagon Domain toward Scalable and Precise Global Static Analysis
Kihong Heo, Hakjoo Oh, and Kwangkeun Yi SP&E: Software-Practice and Experience. 2017
[pdf]
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis
Kihong Heo, Hakjoo Oh, and Hongseok Yang SAS 2016: Static Analysis Symposium
[pdf]
Identifying Static Analysis Techniques for Finding Non-fix Hunks in Fix Revisions
Yungbum Jung, Hakjoo Oh, and Kwangkeun Yi
DSMM 2009: The ACM Workshop on Data-intensive Software Management and Mining
[pdf]