Value and Allocation Sensitivities in Static Python Analyses
Sound static analyses for static programming languages such as C and Java are now widespread. The sound and precise analysis of increasingly popular dynamic programming languages like JavaScript and Python remains a challenge. This work studies the variation of static analyses of Python – in precision, time and memory usage – by adapting independent parameters: (i) the value sensitivity, (ii) the allocation sensitivity and (iii) the activation of an abstract garbage collector. It is not clear yet, for these languages, which level of sensitivity constitutes a sweet spot in terms of precision versus efficiency to achieve a meaningful analysis. We thus perform an experimental evaluation using a prototype static analyzer, on benchmarks a few thousand lines long.
Mon 15 JunDisplayed time zone: Pacific Time (US & Canada) change
06:20 - 07:40 | |||
06:20 26mTalk | Explaining Bug Provenance with Trace Witnesses SOAP Jixiang Shen The University of Sydney, Xi Wu The University of Sydney, Neville Grech University of Athens, Greece, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens, Greece Media Attached | ||
06:46 26mTalk | TACAI: An Intermediate Representation based on Abstract Interpretation SOAP Michael Reif TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Dominik Helm TU Darmstadt, Germany, Ben Hermann Paderborn University, Michael Eichberg TU Darmstadt, Germany, Mira Mezini Technische Universität Darmstadt Media Attached | ||
07:13 26mTalk | Value and Allocation Sensitivities in Static Python Analyses SOAP Raphaël Monat Sorbonne University — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Media Attached |