4 citations · 5 across the 5 of their papers we have counts for
5 papers
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…
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…
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…
Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement
Yulei Sui, Jingling Xue
We present a new demand-driven flow- and context-sensitive pointer analysis with strong updates for C programs, called SUPA, that enables computing points-to information via value-…
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments
Yifei Zhang, Tian Tan, Yue Li +1
Despite its widespread use in Android apps, reflection poses graving problems for static security analysis. Currently, string inference is applied to handle reflection, resulting i…