A Brief Survey of Specification Inference in Static Program Analysis

DOI

10.2991/ameii-16.2016.153How to use a DOI?

Keywords

Survey, Specification Inference, Static Analysis

Abstract

Nowadays, many applications are too big to keep their own security. Static analysis is a technique which can be used for ensure the safety of large programs. However, frequent calls to libraries and frameworks bring a lot of difficulties to the analysis. Researchers propose the specification inference to solve the problem. We survey the recent advances in specification inference techniques and divide them into three groups by the methods they adopt which are domain specific language (DSL), data mining and abductive inference, respectively. Then we take a detailed look at the representative results in each category. It is our hope that we can see more creative achievements in this field by doing this work.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Chuansen Chai
AU  - Xuexiong Yan
AU  - Qingxian Wang
AU  - Shukai Liu
AU  - Yajing Sun
AU  - Shuai Yi
PY  - 2016/04
DA  - 2016/04
TI  - A Brief Survey of Specification Inference in Static Program Analysis
BT  - Proceedings of the 2nd International Conference on Advances in Mechanical Engineering and Industrial Informatics (AMEII 2016)
PB  - Atlantis Press
SP  - 783
EP  - 787
SN  - 2352-5401
UR  - https://doi.org/10.2991/ameii-16.2016.153
DO  - 10.2991/ameii-16.2016.153
ID  - Chai2016/04
ER  -