Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation.
Rong GuZhiqiang ZuoXi JiangHan YinZhaokang WangLinzhang WangXuandong LiYihua HuangPublished in: IEEE Trans. Parallel Distributed Syst. (2021)
Keyphrases
- static analysis
- distributed data
- parallel computation
- dynamic analysis
- symbolic execution
- parallel algorithm
- source code
- data sharing
- communication cost
- data distribution
- parallel processing
- parallel implementation
- data mining algorithms
- real time
- file system
- test suite
- shared memory
- regular expressions
- computer systems
- open source
- high dimensional
- training data
- data sets