Wasp Static Error Checker 3.1 |
| Publisher: | AcademSoft | ||
| Screenshots: | View Screenshots | ||
| Size: | 1.22 MB | ||
| Platform: | Linux | ||
| License: | Shareware - $299 to buy | ||
| Updated: | 26 Feb, 2007 | ||
| User Reviews: | 0 User Review(s) / Add Review | ||
| Share: | |||
| Editors' Rating: |
|
||
| User Rating: | |||
| Downloads: 1,022 |
Wasp Static Error Checker Publisher's Description
If your Java program has been thoroughly tested but still error-prone, the Wasp analyser can help to detect subtle run-time errors and weak points in your program.
The following kinds of errors may be statically detected: null pointer exception, impermissible cast, array index out of bounds, division by zero, etc. The following kinds of weak points may be detected: uninitialised variable, unreachable branch in conditional or switch statement, unreachable loop body or catch clause, assignment of variable whose value is never used, unreachable main exit of method, etc.
Wasp produces detailed and precise method call graph. The method call graph of a program helps to know for each method what actual methods are called in its body. Additionally, for each method you may know where this method may be called.
In comparison with other static error analysers, Wasp has two important advantages. Wasp is able to distinguish between a definite error, a possible error (warning), and a potentially erroneous situation. In the latter case, Wasp produces a message called conditional error that in practice appear to indicate an error in approximately one case from five. Wasp performs context-sensitive data flow analysis, so it is able to recognize an error that appears only for some calls of the method containing it, but does not for other ones.
All known to us static analysers (e.g. QStudio Java, MetaMata Audit, etc) that statically detect run-time errors may produce only long lists of warnings because they can not recognize definite errors in a program due to weak analyses applied. A user has to waste much time to analyse all warnings.
Wasp has proven its ability to find subtle bugs in programs even after debugging and testing stages of development because Wasp detects situations of real complexity.
| Boyer 1.5 Fast Boyer-Moore String search. |
|
1/293 | ||||||
| Spinner 1.0 hex and dollar input for Java JSpinner. |
|
1/503 | ||||||
| JavaScript FadeNews 1.0 Create scrolling text on Web pages. |
|
1/164 | ||||||
| JavaScript Menu Builder Titanium Plus 1.4 Create menus for web pages in minutes! |
|
1/327 | ||||||
| ABCCodingLibrary 1.0 Customizable code library, with built in sta |
|
1/367 | ||||||
| Encoding Recogniser 1.1 Help determine a file's encoding. |
|
1/376 | ||||||
| NAVi 1.1 Creates dymanic draws for java applications. |
|
21/1020 | ||||||
| Advanced Treeview Java Tree Menu 4.2 Easily add a dynamic Tree Menu to your site |
|
7/1312 | ||||||
| IDAutomation Java Barcode Package 6.10 JavaBean, Applet and Servlet for Barcoding |
|
1/159 | ||||||
| JXHTMLEDIT - WYSIWYG XHTML Editor 4.0.005 WYSIWYG XHTML content authoring tool |
|
2/153 |
| How To: Start an embedded YouTube video at a certain timestamp
You can embed any YouTube video from a certain timestamp, with ease using the start parameter. The time accepted by this parameter is in seconds only, so you need to do a little math if you want to play the movie from the minute 2:20 (60*2+20). The code looks like this: <object width=”640″ height=”385″><param name=”movie” value=”http://www.youtube.com/v/BoQ0bqsJSJ8&hl=en_US&start=113“></param><param name=”allowscriptaccess” value=”always”></param><embed src=”http://www.youtube.com/v/BoQ0bqsJSJ8&hl=en_US&start=113” type=”application/x-shockwave-flash” allowscriptaccess=”always” width=”640″ [...] |
| How To: Analyze your website page speed and optimize it Google style
As a webmaster, you need to constantly optimize your website for the search engines and most importantly for your users and their on-site experience. Google created a Firefox plugin that analyzes your page speed, gives it a ranking and offers some advices regarding the loaded elements from that site. Don’t get too hasty, few sites get high scores, but your [...] |
| TestDisk: Powerful free data recovery software (with PhotoRec)
TestDisk is a very powerful data recovery application aimed primarily in recovering lost partitions or repairing non-bootable disks. Partitions can be damaged by multiple factors, such as faulty software, viruses or even human errors (such as accidentally deleting a partition). TestDisk can repair almost any lost partition within clicks, easy and remarkable fast. The application is aimed towards both beginners and advanced users, offering a rich array [...] |
| Auto Mute: Turn your computer into silent mode
Here’s another nifty utility that some of you may use, need or cry for it. Auto Mute turns your computer into silent mode, muting all the system sounds, from entering windows, receiving message to the closing sound. This can come in handy when at a conference, public library or simply, at home, late at night not wantingt any stress sounds [...] |
| Apple sues HTC for iPhone patent infringement
It seems that Apple decided to sue one of its strong competitors, HTC, for several patent infringements, related to the iPhone’s user interface and hardware. Apple CEO, Steve Jobs, stated: ”We can sit by and watch competitors steal our patented inventions, or we can do something about it. We’ve decided to do something about it. We think competition is healthy, [...] |
| Get our free WordPress premium themes
We finally decided that we should use our design skills to create some quality WordPress themes. With that in mind, we are proud to announce that the first versions of our themes are ready to download. What can we say about our themes, well, they’re stylish, clean, widget ready and customizable. We have added some web 2.0ish touch and the [...] |
| Amazon launches Kindle for BlackBerry, free download
It seems that Amazon decided to port their e-book reader application to BlackBerry. Even in its Beta stage, Kindle for BlackBerry allows the users to read over 400,000 e-books on their BlackBerry devices. The application uses Amazon’s Whispersync technology that allows full bookmark syncronization across all devices including Apple’s iPad, PC, Kindle, BlackBerry and iPhone. Of course, the application will [...] |
| Killing Me Softly: Automatic shutdown/restart scheduler
I think even Roberta Flack will agree that frozen or runaway processes are a pain in the chip for every computer user. And no, we won’t kill them with “his song”, we will kill them directly with Killing Me Softly. The application practically allows you to schedule an automatic restart or shutdown also killing all the unresponsive processes. This comes [...] |
| LookInMyPC: Free comprehensive system profiler
LookInMyPC is a system profiler that gives you accurate informations about your software and hardware installed. Unlike many system informations tools, LookInMyPC also displayes relevant information regarding your active Windows processes, services, start-up applications, network and traffic details and a few more. Of course, this tools isn’t aimed only at professionals, LookInMyPC can be handled by most computer users. What’s also [...] |
| How To: Cut your mp3 files online
There are many software alternatives for cutting mp3 files, some free like Audacity, some a little bit expensive, such as Sound Forge. However, there are some online tools that allow you to cut your mp3 files, free and fast. Want to create a ringtone fast? You wanan trim your favorite song? mp3cut.net will allow you to cut any mp3 file with ease, in a [...] |




