Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects
College of Computer Science and Technology, China University of Petroleum, Qingdao 266580, China
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(12), 2076; https://doi.org/10.3390/sym12122076
Received: 22 November 2020
/
Revised: 6 December 2020
/
Accepted: 7 December 2020
/
Published: 14 December 2020
The alarms of the program-semantic defect-detection report based on static analysis include defects and false positives. The repair of defects and the elimination of false positives are time-consuming and laborious, and new defects may be introduced in the process. To solve these problems, the safe constraints interval of related variables and methods are proposed for the semantic defects in the program, and proposes a functionally equivalent no-side-effect program-semantic defect repair and false-positive elimination strategy based on the test-equivalence theory. This paper realizes the automatic repair of the typical semantic defects of Java programs and the automatic elimination of false positives by adding safe constraint patches. After the repair, the program functions are equivalent and the status of each program point is within the safety range, so that the functions before and after the defect repair are consistent, and the functions and semantics before and after the false positives are eliminated. We have evaluated our approach by repairing 5 projects; our results show that the repair strategy does not require manual confirmation of alarms, automated repair of the program effectively, shortened the repair time greatly, and ensured the correctness of the program after the repair.
View Full-Text
▼
Show Figures
Figure 1
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited
MDPI and ACS Style
Dong, Y.; Wu, M.; Pang, S.; Zhang, L.; Yin, W.; Wu, M.; Li, H. Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects. Symmetry 2020, 12, 2076. https://doi.org/10.3390/sym12122076
AMA Style
Dong Y, Wu M, Pang S, Zhang L, Yin W, Wu M, Li H. Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects. Symmetry. 2020; 12(12):2076. https://doi.org/10.3390/sym12122076
Chicago/Turabian StyleDong, Yukun, Mengying Wu, Shanchen Pang, Li Zhang, Wenjing Yin, Meng Wu, and Haojie Li. 2020. "Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects" Symmetry 12, no. 12: 2076. https://doi.org/10.3390/sym12122076
Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.
