| |
|
|
Wasp Static Error Checker 3.2 |
|
|
975KB |
 |
|
|
Shareware |
|
|
299 |
|
|
Internet / Others |
|
|
Win95,Win98,WinNT 4.x,WinXP,Windows2000,Linux |
|
|
AcademSoft |
|
|
|
|
|
 |
|
|
|
|
|
![Wasp Static Error Checker]() 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.
|
| |
|
|
| Top Internet / Others softs |
|
1)
Satellite Tv For Pc Elite 2007
SATELLITE TV for PC - Over 3000 LIVE worldwide channels on your PC. 100% Legal
License:Commercial,
49.95 to buy Size:
4608KB
![hopster]()
2)
hopster 1.0.16
Bypass firewalls to chat with your friends and download files.
License:Freeware,
to buy Size:
1100KB
3)
Globe 7 4.0.0.0
Globe7 is a SIP based VoIP soft phone integrating SIP stack, Java and JMF.
License:Freeware,
0 to buy Size:
20480KB
![Microsoft SMS Sender]()
4)
Microsoft SMS Sender 1.0
SMS Sender is an add-on for Microsoft Windows XP that will create and send SMS
License:Freeware,
0 to buy Size:
0.61 MB
![Yahoo Auto Answer System]()
5)
Yahoo Auto Answer System 1
A Answering machine for your yahoo instant messenger
License:Freeware,
0 to buy Size:
4068KB
![SecureCRT]()
6)
SecureCRT 5.2
Rock-solid terminal emulator for encrypted Secure Shell (SSH1 & SSH2) sessions
License:Shareware,
99.00 to buy Size:
7622KB
![! Fanta Morph]()
7)
! Fanta Morph 1.0
morphing software for the creation of fantastic image morphing pictures and soph
License:Freeware,
0 to buy Size:
5100KB
![Tradetouch SkypeKey Driver]()
8)
Tradetouch SkypeKey Driver 3.0
Analog phone adapter for dialing Skype with analog wired/cordless or DECT line!
License:Freeware,
0.01 to buy Size:
546KB
![Etymonix MPEG-2 Video Codec]()
9)
Etymonix MPEG-2 Video Codec 1.10
Professional-quality MPEG-2 I-frame software-only Video for Windows codec.
License:Shareware,
50.00 to buy Size:
812KB
![X-Ray Image Maker]()
10)
X-Ray Image Maker V 1.0
Create Interactive Xray Images for the Web with this MultiMedia Development Tool
License:Shareware,
37.50 to buy Size:
1,133KB
|
|
|
| New Internet / Others softs |
|
![Net Profile Switch]()
1)
Net Profile Switch 4.72
Switch your laptop between multiple network configurations (profiles).
License:Shareware,
27 to buy Size:
1393KB
2)
H264 WebCam Pro 2.01
16-ch H264 web camera surveillance software.Unique method to manage dynamic ip.
License:Shareware,
45.95 to buy Size:
5399KB
3)
2X ApplicationServer 4.1
Tunnel Windows apps on remote desktops, eliminate management & security issues
License:Shareware,
395 to buy Size:
5038KB
![CRT]()
4)
CRT 5.2
Rock-solid terminal emulator with tabbed UI and advanced session management
License:Shareware,
59.95 to buy Size:
3672KB
![SecureFX]()
5)
SecureFX 4.0
Secure file transfer client with advanced automation and configuration options.
License:Shareware,
59.95 to buy Size:
7530KB
![SecureCRT]()
6)
SecureCRT 5.2
Rock-solid terminal emulator for encrypted Secure Shell (SSH1 & SSH2) sessions
License:Shareware,
99.00 to buy Size:
7622KB
7)
CallClerk 3.0.10
Caller id, picture, email, ans. machine, fax, reverse lookup, voice, hangup,dial
License:Shareware,
25.00 to buy Size:
8012KB
![Total HTML Converter]()
8)
Total HTML Converter 1.1
A versatily utility that converts html files to doc, pdf, xls, jpg, or txt files
License:Shareware,
39.90 to buy Size:
1818KB
9)
Coin Op Internet Cafe Kiosk Timer Demo 1.0
Weavefuture Coin Op Internet Cafe Kiosk Timer for Weavefuture Coin Acceptor AK5
License:Freeware,
to buy Size:
1918KB
![LanDiscovery]()
10)
LanDiscovery 1.01
LanDiscovery is a free utility for browsing large local area networks.
License:Freeware,
0 to buy Size:
152KB
|
|
|
|
|
|
|
