Libros — program analysis