Polymalys est un outil d'analyse statique de code binaire qui découvre des relations linéaires entre les données du code. L'analyse repose sur l'interprétation abstraite utilisant un domaine abstrait basé sur des polyèdres. L'implémentation actuelle exploite les relations linéaires découvertes pour calculer des bornes supérieures aux itérations de boucles.