1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework
Jiangchao Liu, Jierui Liu, Peng Di +4
Context sensitivity is essential for achieving the precision in inter-procedural static analysis. To be (fully) context sensitive, top-down analysis needs to fully inline all state…
cs.SE2019
A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing
Xiaogang Zhu, Xiaotao Feng, Tengyun Jiao +4
Fuzzing is a promising technique for detecting security vulnerabilities. Newly developed fuzzers are typically evaluated in terms of the number of bugs found on vulnerable programs…
cs.PL2017
Understanding and Analyzing Java Reflection
Yue Li, Tian Tan, Jingling Xue
Java reflection has been increasingly used in a wide range of software. It allows a software system to inspect and/or modify the behaviour of its classes, interfaces, methods and f…