About Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violati…

Procid client

Shortens URLs in GMail composition area

VICPAM is a new interactive analysis tool that reduces the effort necessary to analyze and make sense of users' interaction data in Multiple Display Environments..

An interactive visualization tool which helps instructors to monitor students' progress

Watches and analyzes code edits in the Eclipse IDE non-invasively