Read on Twitter
๐๐ฎ๐ฐ๐ฒ๐ฏ๐ผ๐ผ๐ธ ๐ฐ๐ฟ๐ฒ๐ฎ๐๐ฒ๐ฑ ๐ฎ ๐๐ผ๐ผ๐น ๐๐ต๐ถ๐ฐ๐ต ๐ฑ๐ฒ๐๐ฒ๐ฐ๐ ๐ฎ๐ป๐ฑ ๐ฟ๐ฒ๐ฝ๐ฎ๐ถ๐ฟ ๐ฏ๐๐ด๐ ๐ฎ๐๐๐ผ๐บ๐ฎ๐๐ถ๐ฐ๐ฎ๐น๐น๐
The recent document by engineers from Facebook explains how they wrote a tool that can automatically fix bugs. In the paper, they introduced ๐ฆ๐๐ฃ๐๐๐ซ, an automated tool designed to detect and repair bugs in software. The tool has suggested fixes for six essential Android apps in the Facebook App Family: Facebook, Messenger, Instagram, FBLite, Workplace, and Workchat.
How Does It Work?
๐ฆ๐๐ฒ๐ฝ ๐ญ: Detect a Crash - Another tool, ๐ฆ๐ฎ๐ฝ๐ถ๐ฒ๐ป๐, finds app crashes. When Sapienz identifies a crash, it is logged into a database.
๐ฆ๐๐ฒ๐ฝ ๐ฎ: Identify the Problem - SAPFIX pinpoints the exact line of code causing the issue. It first checks if the crash is reproducible. If it's not reproducible, the crash is discarded. It uses a technique called "spectrum-based fault localization" to identify the most likely lines of code responsible for the crash.
๐ฆ๐๐ฒ๐ฝ ๐ฏ: Suggest a Fix - Using predefined templates or code mutations, SAPFIX proposes a solution. After identifying the fault location, SAPFIX attempts to generate a patch. It employs two strategies:
๐น ๐ง๐ฒ๐บ๐ฝ๐น๐ฎ๐๐ฒ-๐ฏ๐ฎ๐๐ฒ๐ฑ ๐๐ถ๐ ๐ถ๐ป๐ด: SAPFIX uses predefined templates to suggest fixes for common bugs. These templates are designed based on standard developer practices.
๐น ๐ ๐๐๐ฎ๐๐ถ๐ผ๐ป-๐ฏ๐ฎ๐๐ฒ๐ฑ ๐๐ถ๐ ๐ถ๐ป๐ด: SAPFIX resorts to a mutation-based system if the template-based approach fails. It systematically applies a series of code mutations to the fault location to generate potential fixes.
๐ฆ๐๐ฒ๐ฝ ๐ฐ: Test the Fix - The proposed solution is tested to ensure it's valid. It uses the test cases from ๐ฆ๐ฎ๐ฝ๐ถ๐ฒ๐ป๐ to check the validity of the patch. If the patch passes all tests, it's considered a good fix. After patch validation, SAPFIX uses ๐๐ป๐ณ๐ฒ๐ฟย (a static analysis tool) to analyze the proposed fix further. Infer checks if the patch introduces any new potential issues.
๐ฆ๐๐ฒ๐ฝ ๐ฑ: Review - Developers get the final say, reviewing and approving the fix.
Check the entire document in the comments.
Image credits: Facebook.
What do you think about this?
_______
If you like my posts, please follow me, @milan_milanovic, and hit the ๐ on my profile to get a notification for all my new posts.
Grow with me ๐!
#technology #softwareengineering #programming #techworldwithmilan #coding
The recent document by engineers from Facebook explains how they wrote a tool that can automatically fix bugs. In the paper, they introduced ๐ฆ๐๐ฃ๐๐๐ซ, an automated tool designed to detect and repair bugs in software. The tool has suggested fixes for six essential Android apps in the Facebook App Family: Facebook, Messenger, Instagram, FBLite, Workplace, and Workchat.
How Does It Work?
๐ฆ๐๐ฒ๐ฝ ๐ญ: Detect a Crash - Another tool, ๐ฆ๐ฎ๐ฝ๐ถ๐ฒ๐ป๐, finds app crashes. When Sapienz identifies a crash, it is logged into a database.
๐ฆ๐๐ฒ๐ฝ ๐ฎ: Identify the Problem - SAPFIX pinpoints the exact line of code causing the issue. It first checks if the crash is reproducible. If it's not reproducible, the crash is discarded. It uses a technique called "spectrum-based fault localization" to identify the most likely lines of code responsible for the crash.
๐ฆ๐๐ฒ๐ฝ ๐ฏ: Suggest a Fix - Using predefined templates or code mutations, SAPFIX proposes a solution. After identifying the fault location, SAPFIX attempts to generate a patch. It employs two strategies:
๐น ๐ง๐ฒ๐บ๐ฝ๐น๐ฎ๐๐ฒ-๐ฏ๐ฎ๐๐ฒ๐ฑ ๐๐ถ๐ ๐ถ๐ป๐ด: SAPFIX uses predefined templates to suggest fixes for common bugs. These templates are designed based on standard developer practices.
๐น ๐ ๐๐๐ฎ๐๐ถ๐ผ๐ป-๐ฏ๐ฎ๐๐ฒ๐ฑ ๐๐ถ๐ ๐ถ๐ป๐ด: SAPFIX resorts to a mutation-based system if the template-based approach fails. It systematically applies a series of code mutations to the fault location to generate potential fixes.
๐ฆ๐๐ฒ๐ฝ ๐ฐ: Test the Fix - The proposed solution is tested to ensure it's valid. It uses the test cases from ๐ฆ๐ฎ๐ฝ๐ถ๐ฒ๐ป๐ to check the validity of the patch. If the patch passes all tests, it's considered a good fix. After patch validation, SAPFIX uses ๐๐ป๐ณ๐ฒ๐ฟย (a static analysis tool) to analyze the proposed fix further. Infer checks if the patch introduces any new potential issues.
๐ฆ๐๐ฒ๐ฝ ๐ฑ: Review - Developers get the final say, reviewing and approving the fix.
Check the entire document in the comments.
Image credits: Facebook.
What do you think about this?
_______
If you like my posts, please follow me, @milan_milanovic, and hit the ๐ on my profile to get a notification for all my new posts.
Grow with me ๐!
#technology #softwareengineering #programming #techworldwithmilan #coding
Document: ieeexplore.ieee.org/document/88044โฆ
If you want to expand your knowledge and personal growth, subscribe to my free weekly newsletter with 16,000+ people: .newsletter.techworld-with-milan.com
โข โข โข
Missing some Tweet in this thread? You can try to
force a refresh
ใ
