1 Hit in 10.5 sec

Symbolic Execution Game Semantics [article]

Yu-Yang Lin, Nikos Tzevelekos
2020 arXiv   pre-print
We prove the symbolic semantics to be sound and complete. This yields a bounded technique by imposing bounds on the depth of recursion and callbacks.  ...  We provide an implementation of our technique in the K framework and showcase its performance on a custom benchmark based on higher-order coding errors such as reentrancy bugs.  ...  Dwyer, editors, Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October  ... 
arXiv:2002.09115v1 fatcat:jfrcxjiamra4hllh6euhyhuv2a