Static Analysis door Manuel Hermenegildo