Dolomiti

Current Projects

Past Projects

  • IntelliJ with Bazel - Bazel plugin for IntelliJ
  • ACTARUS - Taint analysis for JavaScript
  • Gulfstream - An incremental points-to Analysis for JavaScript
  • Gatekeeper - A points-to analysis for JavaScript to help content providers ensure they are hosting safe JavaScript
  • PHPrevent - Add fine-grained taint tracking and checking to PHP to detect injection attacks

Publications

Talks