BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud
Citations Over TimeTop 14% of 2019 papers
Abstract
Static program analysis is widely used in various application areas to solve many practical problems. Although researchers have made significant achievements in static analysis, it is still too challenging to perform sophisticated interprocedural analysis on large-scale modern software. The underlying reason is that interprocedural analysis for large-scale modern software is highly computation- and memory-intensive, leading to poor scalability. We aim to tackle the scalability problem by proposing a novel big data solution for sophisticated static analysis. Specifically, we propose a data-parallel algorithm and a join-process-filter computation model for the CFL-reachability based interprocedural analysis and develop an efficient distributed static analysis engine in the cloud, called BigSpa. Our experiments validated that BigSpa running on a cluster scales greatly to perform precise interprocedural analyses on millions of lines of code, and runs an order of magnitude or more faster than the existing state-of-the-art analysis tools.
Related Papers
- → Opportunities and challenges of static code analysis of IEC 61131-3 programs(2012)49 cited
- → Generalized model of software code`s static analysis based on machine learning for vulnerabilitys search(2020)5 cited
- → Characterizing Static Analysis Alerts for Terraform Manifests: An Experience Report(2023)2 cited
- Design and Implementation of Malware Automated Analysis Tool Based on Behavior Analysis(2011)
- → Exploring the Potential of Frama-C in IoT Static Analysis(2023)