Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis
Corina S. Păsăreanu*; Rody Kersten†; Kasper Luckow‡; Quoc-Sang Phan§ * NASA Ames and Carnegie Mellon University, Mountain View, CA, United States† Synopsys, Inc., San Francisco, CA, United States‡ Amazon Web Services, San Francisco, CA, United States§ Fujitsu Laboratories of America, Sunnyvale, CA, United States
Abstract
Symbolic execution is a systematic program analysis technique which executes programs on symbolic inputs, representing multiple concrete inputs, and represents the program behavior using mathematical constraints over the symbolic inputs. Solving the constraints with off-the-shelf solvers yields inputs that ...