Auditor for Differential Privacy Guarantees

Interactive examples: click Run to perform quick static checks on example snippets

This interactive playground performs lightweight static checks on JavaScript/Python-like snippets to illustrate how automated analyzers can spot common DP issues: high epsilon values, missing bounds/sensitivity, and unchecked composition.

How it works (brief)

The checks run simple pattern matching and numeric extraction. They are not a substitute for formal verification — but they surface easy-to-find mistakes that static analyzers should flag.

Example 1 — Insecure usage (no bounds, large epsilon)

Example 2 — Better usage (bounds and reasonable epsilon)

Example 3 — Composition tracking

Custom snippet

Limitations

This client-side checker demonstrates concepts only. For CI/PR enforcement, integrate server-side analysis that builds ASTs, performs taint analysis, and tracks symbolic budgets.