DEF CON 23 - Yan Shoshitaishvili - fish wang angry hacking

7. 2005 Hex-Rays was founded
2015 ???
2007 Hex-Rays Decompiler 1.0
2009 Hex-Rays IDA 5.5
2013 Hex-Rays IDA 6.4
2011 Hex-Rays IDA 6.1

10. ●
●
●
●
●
●

17. ❏
❏ …
❏
❏
❏
❏

19. ❏
❏

20. x = int(input())
if x >= 10:
if x < 100:
print "Two!"
else:
print "Lots!"
else:
print "One!"

21. x = int(input())
if x >= 10:
if x < 100:
print "Two!"
else:
print "Lots!"
else:
print "One!"
State A
Variables
x = ???
Constraints
------

22. x = int(input())
if x >= 10:
if x < 100:
print "Two!"
else:
print "Lots!"
else:
print "One!"
State A
Variables
x = ???
Constraints
------
State AA
Variables
x = ???
Constraints
x < 10
State AB
Variables
x = ???
Constraints
x >= 10

23. x = int(input())
if x >= 10:
if x < 100:
print "Two!"
else:
print "Lots!"
else:
print "One!"
State AA
Variables
x = ???
Constraints
x < 10
State AB
Variables
x = ???
Constraints
x >= 10

24. x = int(input())
if x >= 10:
if x < 100:
print "Two!"
else:
print "Lots!"
else:
print "One!"
State AA
Variables
x = ???
Constraints
x < 10
State AB
Variables
x = ???
Constraints
x >= 10
State ABA
Variables
x = ???
Constraints
x >= 10
x < 100
State ABB
Variables
x = ???
Constraints
x >= 10
x >= 100

25. x = int(input())
if x >= 10:
if x < 100:
print "Two!"
else:
print "Lots!"
else:
print "One!"
State ABA
Variables
x = ???
Constraints
x >= 10
x < 100
Concretized ABA
Variables
x = 99

36. Shellphish CRS

42. ➔
➔
➔

45. ●
○
…
○
○
●
○
○
○
●
○
○
■
○
■
○
■
●
○
○
○
●
○