Postprocessing of static analysis alarms Citation for published version (APA): Muske, T. B. (2020). Postprocessing of static analysis alarms. Eindhoven University of Technology. Document status and date: Published: 07/07/2020 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, please follow below link for the End User Agreement: www.tue.nl/taverne Take down policy If you believe that this document breaches copyright please contact us at: [email protected] providing details and we will investigate your claim. Download date: 30. Sep. 2021 Postprocessing of Static Analysis Alarms PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Technische Universiteit Eindhoven, op gezag van de rector magnificus prof.dr.ir. F.P.T. Baaijens, voor een commissie aangewezen door het College voor Promoties, in het openbaar te verdedigen op dinsdag 7 juli 2020 om 13:30 uur door Tukaram Bhagwat Muske geboren te Hipparsoga, Maharashtra, India Dit proefschrift is goedgekeurd door de promotoren en de amenstelling van de promotiecommissie is als volgt: voorzitter: prof.dr. J.J. Lukkien 1e promotor: dr. A. Serebrenik 2e promotor: prof.dr. M.G.J. van den Brand leden: prof.dr.ir. J.P.M. Voeten prof.dr. S. Schupp (Hamburg University of Technology) prof.dr. Y. Smaragdakis (University of Athens) adviseurs: dr.ir. T.A.C. Willemse MSc. R. Venkatesh (Tata Consultancy Services, India) Het onderzoek of ontwerp dat in dit proefschrift wordt beschreven is uitgevoerd in overeenstemming met de TU/e Gedragscode Wetenschapsbeoefening. Postprocessing of Static Analysis Alarms Tukaram Bhagwat Muske First promotor: Dr. A. Serebrenik (Eindhoven University of Technology) Second promotor: Prof. Dr. M.G.J. van den Brand (Eindhoven University of Technology) Additional members of the reading committee: Prof. Dr. S. Schupp (Hamburg University of Technology) Prof. Dr. Y. Smaragdakis (University of Athens) Prof. Dr. ir. J.P.M. Voeten (Eindhoven University of Technology) Dr. ir. T.A.C. Willemse (Eindhoven University of Technology) MSc. R. Venkatesh (TRDDC, Tata Consultancy Services) The work in this thesis has been fully funded by Tata Consultancy Services Limited, India. A catalogue record is available from the Eindhoven University of Technology Library ISBN: 978-90-386-5037-1 An electronic version of this dissertation is available at https://research.tue.nl/ and https://tmuske.github.io/phdThesis/ Cover design: Anushri Jana & Ankur Jana Printed by: ProefschriftMaken ll www.proefschriftmaken.nl Copyright © 2020 by Tukaram Bhagwat Muske. All rights are reserved. No part of this publica- tion may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronically, mechanically, photocopying, recording or otherwise, without prior permission of the author. Dedicated to... Vitthal Wangwad my grandfather, without whom my education would have not been possible. Acknowledgements And the time has come to express my deep gratitude and sincere thanks to all those who motivated me to undertake this journey for a PhD, who helped me along the journey, and who contributed in an invaluable way to the completion of the thesis. The list is very long! Taking the path for a PhD requires a lot of motivation and clarity. After having settled as an applied researcher in TRDDC, TCS, for about six years, I was still lacking these. Uday Sir (my mentor, and a professor at IIT Bombay), and Ulka and Venky (my supervisors at TCS), you were those who kept motivating me to do a PhD. The process, to motivate me, started sometime in 2011, and went on for almost five years. Without your constant push, I wouldn’t have taken this path. And not just for motivating, I am also grateful to you for being there always for me whenever I required any guidance and support. You have always given me more than what I have asked for, and the same support continues even now! You were instrumental in setting up the stage and ensuring I reach here. Venky and Ulka, I have always enjoyed being supervised by you, and am thankful to you for leading me in a fruitful direction and allowing me the freedom to explore them. Ananth (CTO at TCS) and RD (TRDDC Head), I can’t miss mentioning you! Your opinion and feedback was crucial in making my decision to go for the PhD. Towards the end of 2015, the decision was made. So, the time had arrived, but not the place! The place for my PhD arrived (rather, I arrived at the place) when I visited TU/e for ETAPS 2016. It was there that I met you both Mark and Alexander (from TU/e). The way you ex- plained the process and available options, and offered me the unique opportunity, the decision for the place was immediate! And the journey started. Since then, you both have been wonderful, friendly, and encouraging PhD supervisors (which, I later discovered, was a unanimous feeling among the PhD students at TU/e). You have helped me become a better person, both academ- ically and personally. Alexander, if I express my gratitude to you in words, the expression will not do justice to the support, mentoring, and guidance that I have received from you, because no words can express it. Mark, thank you so much for finding time from your busy schedules and providing valuable feedback from time to time. I have enjoyed discussions with you, and have always benefited from your insightful suggestions and vast experience. Also, I cannot forget the warm welcomes and send-offs you both gave whenever I visited TU/e. I could see the effort that you both put in, to make me feel at home and ensure that I get enough exposure and learning experience through interactions with the people from within and outside the group. Thank you both, again, for making my PhD journey a very smooth and joyful ride. Before I continue to thank everyone who helped me during the journey, I would like to pause and thank, sincerely, all the members of my thesis review committee. Prof. Lukkien, Prof. Voeten, Prof. Schupp, Prof. Smaragdakis, including Tim, Venky, Mark, and Alexander, your detailed and insightful comments have improved the thesis remarkably. Moreover, your comments helped me gain new insights into the work and look at it from different perspectives. I truly appreciate the time and effort you put in to review the thesis. ii Now its time to thank those who were there for me whenever I required anything officially or personally. Hari and Samina (from our HR team at TCS), I appreciate the way you helped me by taking care of so many formalities, including the ones necessary to arrange my visits to TU/e and Alexander’s visits to TRDDC. Shrawan (a senior from our group at TCS, and a close mentor), please accept my deepest thanks for guiding me in the implementation and evaluation of the techniques included in the thesis. Metta (a senior in my group at TCS), I don’t know how to express my gratitude to you, man! You have always been there as a friend, colleague, and personal mentor. Madhukar (my desk-mate at TCS and, more importantly, a friend), I am grateful to you for being there beside me all the time and helping me wherever I required your expertise in several things. Komal and Divyesh (my friends at TCS, and also cadets, like me, in PhD program), thanks to you as well! I loved and enjoyed the PhD related discussions, and appreciate your help whenever I asked for. Advaita, Bharti, Prasad, Priyanka, Anushri, Amey, Supriya, and everyone in the Foundations of Computing group at TRDDC, you all have been such amazing friends and have helped me in many ways. Avriti, thanks a lot for helping me to set up the tool chain required for evaluating the AFPE techniques. Shivayu, Rohith, Vishnu Priya, and Abhinav, thank you for making my PhD life a lot easier. Without you, the work in the thesis would not have been completed. Peeyush, Anushri Laddha, Nathan van Beusekom, and Prajkta, thanks for helping me with the implement- ations and evaluations of the techniques during your internships at TRDDC. Ankur and Anushri, I sincererly appreciate your help in designing the cover page of the book. Paddy (a close friend from Oracle Labs in Brisbane), I can’t miss this opportunity to thank you and appreciate your timely reviews of papers even at my last-hour requests.