ANNA: Analysis of Neural Network Applications