Actual software:<p><a href="http:&#x2F;&#x2F;www.cs.berkeley.edu&#x2F;~jnear&#x2F;derailer&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.cs.berkeley.edu&#x2F;~jnear&#x2F;derailer&#x2F;</a><p>&quot;Derailer uses an automatic static analysis to produce a visual representation of the information flows within a Ruby on Rails web application. The visualization organizes the results of the analysis in a tree, with the goal of helping the user to quickly find the most sensitive information flows, and also allows the user to filter the set of flows based on the conditions under which they occur.&quot;<p><a href="http:&#x2F;&#x2F;www.cs.berkeley.edu&#x2F;~jnear&#x2F;rubicon&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.cs.berkeley.edu&#x2F;~jnear&#x2F;rubicon&#x2F;</a><p>&quot;Rubicon is a library for Ruby, Rails, and RSpec that lets you write formal specifications of the behavior of your web apps. In addition to the standard RSpec language, Rubicon gives you the quantifiers of first-order logic, so your specifications cover all possible objects of the given type, and mock objects are no longer needed. &quot;