Program state optimal method based on variable symbolic relation analysis
Program analysis is the prime method to program property analysis,which is widely used in the domain of parameter dependent relation,path coverage and test case generation,and a lot of progress has been made.Current program analysis is based on the method of symbolic execution,but symbolic execution...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2018-06-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018094/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841539437850263552 |
|---|---|
| author | Xi GUO Pan WANG |
| author_facet | Xi GUO Pan WANG |
| author_sort | Xi GUO |
| collection | DOAJ |
| description | Program analysis is the prime method to program property analysis,which is widely used in the domain of parameter dependent relation,path coverage and test case generation,and a lot of progress has been made.Current program analysis is based on the method of symbolic execution,but symbolic execution is usually tackled with the problems of logic expression generation of path condition and low efficiency of constrain solver,which will affect the results of program analysis.Aiming at enhancing the path analysis efficiency,the path conditions of different paths were collected,the common symbolic expression was extracted and the efficiency of symbolic analysis was enhanced,then the logic expression set was generated,the dependent relation algorithm was used to enhance the efficiency of symbolic analysis.Experimental results demonstrate that the proposed method has the advantages of accurate time complexity and better analysis efficiency compare to traditional program analysis method. |
| format | Article |
| id | doaj-art-8727c7a9f1f2489c8f2ea10b4d742d2c |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2018-06-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-8727c7a9f1f2489c8f2ea10b4d742d2c2025-01-14T07:14:55ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2018-06-0139818859718767Program state optimal method based on variable symbolic relation analysisXi GUOPan WANGProgram analysis is the prime method to program property analysis,which is widely used in the domain of parameter dependent relation,path coverage and test case generation,and a lot of progress has been made.Current program analysis is based on the method of symbolic execution,but symbolic execution is usually tackled with the problems of logic expression generation of path condition and low efficiency of constrain solver,which will affect the results of program analysis.Aiming at enhancing the path analysis efficiency,the path conditions of different paths were collected,the common symbolic expression was extracted and the efficiency of symbolic analysis was enhanced,then the logic expression set was generated,the dependent relation algorithm was used to enhance the efficiency of symbolic analysis.Experimental results demonstrate that the proposed method has the advantages of accurate time complexity and better analysis efficiency compare to traditional program analysis method.http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018094/program analysissymbolic executionconstrain solversymbolic analysis |
| spellingShingle | Xi GUO Pan WANG Program state optimal method based on variable symbolic relation analysis Tongxin xuebao program analysis symbolic execution constrain solver symbolic analysis |
| title | Program state optimal method based on variable symbolic relation analysis |
| title_full | Program state optimal method based on variable symbolic relation analysis |
| title_fullStr | Program state optimal method based on variable symbolic relation analysis |
| title_full_unstemmed | Program state optimal method based on variable symbolic relation analysis |
| title_short | Program state optimal method based on variable symbolic relation analysis |
| title_sort | program state optimal method based on variable symbolic relation analysis |
| topic | program analysis symbolic execution constrain solver symbolic analysis |
| url | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018094/ |
| work_keys_str_mv | AT xiguo programstateoptimalmethodbasedonvariablesymbolicrelationanalysis AT panwang programstateoptimalmethodbasedonvariablesymbolicrelationanalysis |