soft typing php with php - validator .
Valgrind: a framework for heavyweight dynamic binary instrumentation