Analyzing applications with AppDNA