search

codespecs / daikon-dot-net-front-end

Celeriac .NET Front-End for Daikon
Other
9 stars 1 forks source link

Integrate a purity analysis tool to determine which methods to visit #100

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Right now, Celeriac can either use auto-generated methods and methods marked as 
pure. Alternatively, the user can supply a list of methods to visit. The former 
misses a lot of methods, and the latter is tedious and error prone.

One tool that might work is Seal (Side effect analysis for .NET): 
https://seal.codeplex.com/

Original issue reported on code.google.com by Todd.Sch...@gmail.com on 8 Jun 2013 at 5:04