Static Analysis by Manuel Hermenegildo