The Community for Technology Leaders
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (2017)
Urbana, IL, USA
Oct. 30, 2017 to Nov. 3, 2017
ISBN: 978-1-5386-3976-4
pp: 925-930
Yuexing Wang , Key Laboratory for Information System Security, Ministry of Education, China
Min Zhou , Key Laboratory for Information System Security, Ministry of Education, China
Yu Jiang , Key Laboratory for Information System Security, Ministry of Education, China
Xiaoyu Song , Electrical and Computer Engineering, Portland State University, USA
Ming Gu , Key Laboratory for Information System Security, Ministry of Education, China
Jiaguang Sun , Key Laboratory for Information System Security, Ministry of Education, China
ABSTRACT
To reduce the false positives of static analysis, many tools collect path constraints and integrate SMT solvers to filter unreachable execution paths. However, the accumulated calling and computing of SMT solvers are time and resource consuming. This paper presents TsmartLW, an alternate static analysis tool in which we implement a path constraint solving engine to speed up reachability determination. Within the engine, typical types of constraint-patterns are firstly defined based on an empirical study of a large number of code repositories. For each pattern, a constraint solving algorithm is designed and implemented. For each program, the engine predicts the most suitable strategy and then applies the strategy to solve path constraints. The experimental results on some well-known benchmarks and real-world applications show that TsmartLW is faster than some state-of-the-art static analysis tools. For example, it is 1.32× faster than CPAchecker and our engine is 369× faster than SMT solvers in solving path constraints. The demo video is available at https://www.youtube.com/watch?v=5c3ARhFclHA&t=2s.
INDEX TERMS
Tools, Algorithm design and analysis, Engines, Benchmark testing, Visualization, Optimization
CITATION

Y. Wang, M. Zhou, Y. Jiang, X. Song, M. Gu and J. Sun, "A static analysis tool with optimizations for reachability determination," 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Urbana, IL, USA, 2017, pp. 925-930.
doi:10.1109/ASE.2017.8115706
255 ms
(Ver 3.3 (11022016))