Analysis of the Software Testing Platform: S2E Netinfo Security . 2012, (7): 0 -0 .