Software Tools

Released Software (Code repository)
  • PolyCruise: A cross-language dynamic information flow analysis for multilingual software
  • FlowDist: A scalable dynamic information flow analyzer for distributed systems
  • Seads: A self-tuning cost-effective dynamic dependence analysis of distributed systems
  • DistFax: A toolkit for measuring IPC and quality of distributed systems
  • Dads: A dynamic program slicer for distributed systems
  • PCA: A static interprocedural data flow analyzer and memory leak detector for C programs
  • DistTaint: A dynamic taint analyzer for distributed systems
  • EvoTaint: An incremental static taint analyzer for Android apps
  • D2ABS: A framework for dynamic dependence analysis of distributed software
  • HPC-cruise: scalable whole-system data-flow analysis framework for HPC software
  • DroidCat: A robust dynamic Android malware detector and classifier
  • ICC-Inspect: A dynamic Android app understanding tool
  • DroidFax: A toolkit for systematic characterization of Android apps
  • DistIA: A simple impact analyzer for distributed systems
  • DiaPro: A dynamic impact analysis framework with customizable cost-effectiveness
  • Diver: Hybrid program dependence approximation and trace-based online impact prediction
  • MDG: A method-level static dependence abstraction
  • TracerJD: A fine-grained Java program tracer and dynamic dependence analyzer
  • DEAM: A toolkit for comprehensive study of predictive accuracy of dynamic impact analysis
  • SensA: Quantitative semantic dependence approximation and prioritized impact analysis