static/dynamic code analyser

A
Angr
L
P
PyEA
S
V
Viper