Proceedings of the 2nd International Conference on Advances in Mechanical Engineering and Industrial Informatics (AMEII 2016)

A Brief Survey of Specification Inference in Static Program Analysis

Authors
Chuansen Chai, Xuexiong Yan, Qingxian Wang, Shukai Liu, Yajing Sun, Shuai Yi
Corresponding Author
Chuansen Chai
Available Online April 2016.
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)

Volume Title
Proceedings of the 2nd International Conference on Advances in Mechanical Engineering and Industrial Informatics (AMEII 2016)
Series
Advances in Engineering Research
Publication Date
April 2016
ISBN
10.2991/ameii-16.2016.153
ISSN
2352-5401
DOI
10.2991/ameii-16.2016.153How to use a DOI?
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/).

Cite this article

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  -