LLVMbased Impact Analysis on Program Concerns

Abstract

Abstract:

Abstract: At LLVM intermediate representation level, we obtained program snippets that have influences on special program concerns and pruned those unrelated parts. By building accurate call graphs based on Andersen’s pointsto analysis, we got the basic blocks that reach the specific program node during execution; with the help of call graph and the modification information, we generated slices affecting the program point. Experimental result shows that this applied approach can compute subset that has impact on the program point efficiently and correctly.

Key words:

Key words: LLVM IR, impact analysis, reachability analysis, program slicing

CLC Number:

TP311

CHEN Hongxu. LLVMbased Impact Analysis on Program Concerns[J]. Computer and Modernization, 2014, 0(4): 203-207.

References

［1］

Cadar C, Dunbar D, Englar D R. KLEE: Unassisted and automatic generation of highcoverage tests for complex system programs［C］// Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. 2008:209224.

［2］ Chipounov V, Kuznetsov V, Candea G. S2E: A platform for invivo multipath analysis of software systems［C］// Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems. 2011:265278.

［3］ Cui H, Hu G, Wu J, et al. Verifying system rules using ruledirected symbolic execution［C］// Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems. 2013:329342. 

［4］ LLVM. The LLVM Compiler Infrastructure［EB/OL］. http://llvm.org/, 20131212.

［5］ Andersen L O. Program Analysis and Specialization for the C Programming Language［D］. University of Copenhagen, DIKU, 1994.

［6］ Steensgaard B. Pointsto analysis in almost linear time［C］// Proceedings of the 23rd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages. 1996:3241.

［7］ Openrefactory. Openrefactory Homepage［EB/OL］. http://openrefactory.org/， 20131212.

［8］ Weiser M. Program slicing［C］// Proceedings of the 5th International Conference on Software Engineering. 1981:439449.

［9］ GNU. GNU Coreutils［EB/OL］. http://www.gnu.org/software/coreutils/, 20131212.

［10］Munawar Hafiz, Auburn A L. OpenRefactory/C: An infrastructure for developing program transformations for C programs［C］// Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity. 2012:2728.

［11］Chris Lattner. LLVM: An Infrastructure for MultiStage Optimization［D］. University of Illinois at UrbanaChampaign. 2002.

［12］Susan Horwitz, Thomas Reps, David Binkley. Interprocedural slicing using dependence Graphs［C］// Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation. 1988:3546.

［13］Frank Tip. A survey of program slicing techniques［J］. Journal of Programming Languages, 1995,3(3):121189.

［14］Agrawal H, Horgan J. Dynamic program slicing［C］//Proceedings of PLDI’90. 1990:246256.

［15］Sridharan M, Fink S J, Bodik R. Thin slicing［C］// Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2007:112122.

[1]	LI Deyou1, 2, YU Jinsongdi1, 2, WEI Dandan1, 2, LUO Yuan1, 2, TONG Ruiju3. Abstract Tree Model for Gridded Cube Metadata [J]. Computer and Modernization, 2024, 0(11): 1-6.
[2]	WANG Zi-chen, QU You-li. A Partition Inverted Index Compression Algorithm Based on CRF [J]. Computer and Modernization, 2024, 0(02): 36-42.
[3]	LIN Wei. Incremental News Recommendation Method Based on Self-supervised Learning and Data Replay [J]. Computer and Modernization, 2023, 0(12): 1-6.
[4]	WANG Chong-yang, ZHUANG Yi. Load Balancing Algorithm of Multi-job Cluster Based on SDN and Improved CSA Algorithm [J]. Computer and Modernization, 2023, 0(11): 28-35.
[5]	MAO Ming-yang, XU Sheng-chao. Continuous Attribute Discretization Algorithm of Rough Sets for BP Neural Networks Based on Particle Swarm Optimization#br# [J]. Computer and Modernization, 2023, 0(09): 115-119.
[6]	JIANG Na1, ZHANG Lei2. Oximeter Client Software Based on Android [J]. Computer and Modernization, 2014, 0(4): 130-132.