Garage4hackers Forum - Reverse Engineering and Application Cracking http://www.garage4hackers.com/ Discuss Reverse Engineering and Cracking Techniques en Wed, 19 Jun 2013 17:31:19 GMT vBulletin 60 http://www.garage4hackers.com/images/misc/rss.png Garage4hackers Forum - Reverse Engineering and Application Cracking http://www.garage4hackers.com/ Selective Symbolic Execution(S2E) http://www.garage4hackers.com/f24/selective-symbolic-execution-s2e-4533.html Sat, 25 May 2013 03:03:18 GMT i was looking into some academic research papers ,found this interesting Project S2E: Selective Symbolic Execution - Dependable Systems Lab...


i was looking into some academic research papers ,found this interesting Project

S2E: Selective Symbolic Execution - Dependable Systems Lab

Course Related
Syllabus - CS-617: Testing Software Systems

Rsearch paper (S2E Vs Recursive Decent(used by IDA Pro))

http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA559973 ]]> Reverse Engineering and Application Cracking Arunpreet Singh http://www.garage4hackers.com/f24/selective-symbolic-execution-s2e-4533.html