checker

Simple Model Checker Tool

Is there a simple Model Checker tool. I am planning to implement a model checker tool which will analyze the code for some of the predefined properties. ...

Link Checker (Spider Crawler)

I am looking for a link checker to spider my website and log invalid links, the problem is that I have a Login page at the start which is required. What i want is a link checker to run through the command post login details then spider the rest of the website. Any ideas guys will be appreciated. ...

CSS Redundancy checker for GWT

In my project i have a lot of css styles. Some of them are never used (not anymore). I check this manually with eclipse: i select text and then with "Search -> Text -> Project" i can find, if this style occurs only in the stylesheet or also in java files. Is there better way to check, which styles are currently used in my GWT project? e...

hunspell spell checker

Hi, Is there any spell checker with suggestions also for asp.Net with: Dictionary should be a file (not online spell check) Dictionary can be updated by downloading latest file from internet. ...

How to detect a bad way of re-throwing a C# Exception using StyleCop or VS2010?

My colleagues are seasoned C++ hackers switching to .Net. One of the mistakes that they make unintentionally is writing code like this: catch(ArgumentExcepttion ae) { // Code here logs the exception message // And this is supposed to re-throw the exeception throw ae; // as opposed to throw; // But, as we all know, doing ...

online encoding checker tool

hi, I am looking for a tool buy which i can identify the exact encoding of input file. please suggest any online encoding checker tool, Thanks ...

What Vim script you recommend for checking Python syntax on the fly ?

I have visited Vim website , script section and found several synthax checkers for python. But which one to choose ? I would prefer something that supports python 3 as well, even though I code in python 2.6 currently. Do all these checkers need a module like pychecker and pyflakes ? I could install the most popular from scripts datab...