Usually, I don't write such things on this blog, but I just read an article in an ACM journal and started to laugh. I think that this is really amazing, as most of the time scientific publications are boring, sometimes interesting, and rarely ironical.
The article is called: "A few billion lines of code later: using static analysis to find bugs in the real world" and it describes the experience of bringing a static analysis tool successful in the academic setups into the industrial world. The authors Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler describe many-many issues that they encountered. While this is can be interesting to people working with a static analysis I just want to share a couple of paragraphs that made me laugh:
We got the following support call from a large customer:“Why is it when I run your tool, I have to reinstall my Linux distribution from CD?”This was indeed a puzzling ques- tion. Some poking around exposed the following chain of events: the compa- ny’s make used a novel format to print out the absolute path of the directory in which the compiler ran; our script misparsed this path, producing the empty string that we gave as the desti- nation to the Unix “cd” (change direc- tory) command, causing it to change to the top level of the system; it ran "rm -rf *" (recursive delete) during compilation to clean up temporary files; and the build process ran as root. Summing these points produces the removal of all files on the system.
And I find this absolutely hilarious. Because you know, the industry does not care about having a common protocol, or a concept of a "path" that can tell you what is its value without the last segment, etc… No, you have to get a string and then parse it, and then something will give you another string, because why not? And I am not blaming the authors because they did an amazing job. I'm blaming the humanity, in particular, the informatics part. Because instead of creating something useful for programmers, software engineers are told that strings are the way to go… But this rant is for another time.
I really suggest the article, because it is interesting. Both static analysis developers and addopters can leanr from it:
Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler. 2010. A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53, 2 (February 2010), 66-75. DOI: https://doi.org/10.1145/1646353.1646374
When you need dependable mobile tyre help in Melbourne, 24/7 Mobile Tyre Service Melbourne is a trusted option for quick and professional support. Their mobile technicians travel directly to your location, providing tyre repairs, replacements, and emergency roadside assistance whenever you need it. Whether your vehicle has a flat tyre, a puncture, or requires a new tyre installation, their experienced team ensures the job is handled efficiently on-site. Available day and night, they focus on convenience, high-quality tyres, and prompt service so drivers across Melbourne can return to the road safely and without delay. 🚗
ReplyDeletehttps://247mobiletyreservicemelbourne.com.au/
If you are seeking reliable healthcare in Balgowlah, Balgowlah Village Medical Practice is a trusted choice for comprehensive medical care. The practice provides a variety of health services such as general medical consultations, skin cancer checks, vaccinations, chronic disease management, and preventive healthcare support. With a team of experienced doctors and a strong focus on patient wellbeing, the clinic aims to deliver professional and compassionate care to individuals and families. By offering personalised treatment and a comfortable clinical environment, the practice helps patients maintain better health and long-term wellness. 🩺
ReplyDeletehttps://balgowlahvillagemedicalpractice.com.au/
For elegant and unforgettable celebrations in Melbourne, Boujee By Ashtons is known for delivering stylish event décor and creative party styling. Their team designs beautiful setups for a wide range of occasions including birthdays, baby showers, weddings, corporate functions, and other special events. From sophisticated balloon displays to customised themes and decorative styling, they focus on turning creative ideas into visually stunning event spaces. With careful attention to detail and premium-quality decorations, they help clients create celebrations that feel unique, vibrant, and truly memorable. 🎉✨
ReplyDeletehttps://boujeebyashtons.com.au/
For dependable swimming pool care in Adelaide, Adelaide Aqua Boys is a reliable choice for professional pool cleaning and maintenance. Their skilled team offers a variety of services such as routine pool cleaning, water quality testing, equipment inspections, pool leak detection, and supply of essential pool products. The team is dedicated to keeping pools hygienic, safe, and ready for use all year round. With efficient service, modern tools, and a strong focus on customer satisfaction, they help homeowners across Adelaide enjoy clean, clear, and properly maintained swimming pools. 🏊♂️✨
ReplyDeletehttps://adelaideaquaboys.com.au/
If you are searching for dependable mortgage assistance, Kandid Loans is a trusted mortgage brokerage helping individuals and families find suitable home loan options. Their knowledgeable team offers personalised support for first-home buyers, refinancing needs, property investors, and anyone seeking more competitive loan rates. With access to a broad panel of lenders and a focus on clear, honest advice, Kandid Loans makes the borrowing process smoother and easier to understand. Their goal is to help clients secure mortgage solutions that align with their financial plans and long-term property goals. 🏡💼
ReplyDeletehttps://kandidloans.com.au/
If you are looking for a reliable dentist in Baulkham Hills, Prodental Clinic is well known for providing professional and patient-focused dental services. The clinic combines experienced dental professionals with modern equipment to deliver effective and comfortable treatments. From routine dental examinations and thorough teeth cleaning to cosmetic and restorative procedures, the team offers a wide range of solutions to support long-term oral health. With a welcoming environment and personalised care plans, patients can feel confident that their dental needs are managed with attention, comfort, and high clinical standards. 🦷✨
ReplyDeletehttps://prodentalclinic.com.au/