Home | Overview | Wasp for Java | Download | Support | Purchase | Research | Contact Us

What is the 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 statically. Wasp also produces detailed and precise method call graph.
The Wasp tool is available for Linux and Windows 95/98/NT/2000.
More ...

See current release Linux Wasp 3.2 for Java .
Lite version of Linux Wasp 3.2 for Java can be downloaded.

Four years ago Wasp for Modula-2 and Oberon-2 had been developed. The Wasp analyser was successfully applied to some embedded systems written in Modula-2.


April 5, 2016

Java, the programming language most commonly used in industry during 2015

After 20 years since its birth, Java is still the most popular programming language.Neither the boom languages ​​such as JavaScript or C # get unseat development tool created in 1955 by Sun Microsystems. So dictates the renowned ‘TIOBE index’, which based on calculations on the number of qualified programmers, the training offer or the preferences of third-party vendors has determined that during 2015, Java reigned.

A controversial foreign language

Years ago, after the demand for Oracle Java- owners -current to Google, for alleged patent infringement by using the code in Android, many predicted the demise of Java.But reality has shown that far from those forecasts, this language has a long way to go.

Google continued to bet on Java as a programming language default for its successful Android OS. The fear that -Interface programming APIs Java applications-, stop being free, he was slowed in later years. As much as I grow tax collection effort of Oracle, in practice, Java and its APIs continue to shape a system adapted to the philosophy of free software language: compiler, virtual machine and class library are available for free. We can develop our programs in Java, and even have superb professional development environments, without paying a single euro.

Learn Java, a safe value for administrators

The work team James Gosling was a revolution in programming languages ​​of the time.Creating a cross-platform code can be written once and thereafter run on any device, it got the language to position itself as the benchmark for many companies and programmers.

Today, Java is more than ever implemented. You can find programs PC, Android phones, or even appliances web applications. An upward trend is expected even more pronounced in the coming years, with the arrival of its latest and awaited revision, Java 9.

Training courses TOP Euroinnova April

The masters of java are one of the star formative itineraries online portal regarding education, training Euroinnova. They accompany the online courses approved oncatering and the manipulator course food palms . The Granada company remains the reference site for those looking to revitalize their career aspirations.

20 years of Java: What is the dream of programming?

Java turns 20 today . On May 23, 1995 he saw the light publicly, during the conference SunWorld What times! The company Sun Microsystems introduced the language in which he had been working for more than five years internally team James Gosling (the father of the child). A true modern language designed to run on any device, that was the idea.

To accompany the announcement of that date, the pitch was to be integrated with the Netscape browser , the birth of Applets Java. The web was beginning to show its potential and did turn the course of language. Giving him some popularity and ubiquity in any browser and operating system.


Java undoubtedly is one of the most popular languages ​​today . Since 2010 it is owned by Oracle, the technology giant that brings all its technology.His influence is tremendous in different areas of programming. Represents a fundamental part of the business of many companies because of its strong presence thanks to its numerous business tools, in front of the face more web applications on the client or server.

It is the main language in which his career has developed many programmers.Surely you are among them. So we have a lot to thank, though ever pissed us.

And as a user , do not think you do not play your part: Java has been that component present in many browsers until recently. Applets we discussed were “fashion” and many web pages you install time required to run certain functionality.Hitherto impossible otherwise. And, of course, countless desktop applications that need the JRE (the Java runtime environment to run), almost all as users have had to install to run any of these programs. It was also essential to enable the first applications in those mobile J2ME admitted. And , of course, it is the fundamental piece is based on Android, although some want to kill him hastily.

A birth full of anecdotes, even in the name

In 1991 , Sun Microsystem decided to invest in creating a new language that drink the best of each existing to date. He came to fill a need: to be executed on any platform, introducing the concept of virtual machine.

The team Jame Gosling , known as Green Team, worked 18 months in the offices of Menlo Park (California) to create what unnamed known as The Green Project.Later it was renamed Oak , although it was ruled to be a trademark. Finally camethe final name: Java .

There are different stories about the choice of this name. The most outrageous is the acronym that emerged from the name of its main creators: J ames Gosling, Arthur V an Hoff, and A ndy Bechtolsheim. Others, even limited to define it as a contrived acronym: Just Another Acronym Vague ( “just another acronym more ambiguous”). But it takes more strength, simply justified by the type of coffee available in the nearest coffee shop where they worked their creators. In fact, it is one of the most recognized Java in many applications and platforms symbols.

James Gosling Java

Write Once, Run Anywhere ( “Write it once, run it anywhere”)

This was the main leitmotif in his head James Gosling. Any application written in Java could run the same way on any hardware, regardless of platform.

Sometimes a headache due to various reasons: especially for implementations that virtual machine has undergone official JVM and derivatives on different operating systems. Microsoft was sued by Sun Microsystem itself because it did not respect implementations compatibility of certain components in its implementation for Windows, because that was won and the Redmond giant had to pay 20 million.

Sun from the beginning contributed its own JVM, HotSpot , as official reference of the specification but anyone was free to implement his. In theory platforms should be supported and are not 100%. In fact, until the release of Java code, the free software community, headed by Richard Stallman advocated the use of IcedTea as free platform to avoid falling into the trap of a language whose platform and APIswere not entirely free.

Finally, Java was re-licensed in 2006 with a GPL which ensured that no one owned the language . Which Sun Microsystem supported from the beginning, although not to date where it was ratified. Oracle had to assume, very reluctantly , in open proceedings in the trial against Google for the use of certain in- house components of internal libraries of Java .

Where does Java?


The part of the application server, perhaps one of the most popular parts. Many developers are dedicated to this aspect. Without going into very technical, its base is supported by the specification of Servlets and JSP .

The technologies on the server have served to popularize different framework like Struts or Spring Framework , in the latter also create a real ecosystem of platforms under the support of Pivotal. But undoubtedly the Apache Foundation has been one of the biggest contributors. And we can not forget application containers such as Tomcat , JBoss and Jetty have given the necessary support to run in web server applications. We can say that Java is present in countless server technologies.

Desktop applications . Today there are many applications created using the JRE(the runtime environment necessary). JAVA provided in addition to the platform itself, libraries like Swing or AWT for interfaces graphic creations

In the web browser , although less and less. Especially since browsers were put serious about allowing the execution of Applets on obsolete plugin with many security flaws. Yet there is still supplements in different browsers to use them.Since its inception, although it achieved great popularity, they did not become something really efficient because of its speed limits and large size at a time in which the bandwidth of the connections was limited.

Mobile applications both the first J2ME applications, as current applications developed for Android. Java is the main language of one of the most numerous operating systems on smartphones. Much of its implementation is based on Java and components of your virtual machine.

How has changed the way Java programming in these 20 years?


Remember what the programming world in 1995 is not an easy task. The OOP existed but was rarely used in applications we knew. But most striking was the issue of having to recompile and repackage the application that we almost any architecture, different versions of the operating system, for example the case of UNIX, generate the particular machine code, etc .. Java virtual machine came with his portable virtually any configuration without problems, and above all, without having to make changes to our code.

In these 20 years of history, Java has reached a figure of enormous popularity among the developer community. For some years already part of the Top TIOBE of the most used languages. More than 9 million programmers use it daily, according to various estimates.

His references were Smalltalk which acquired the character object – oriented, a collector of memory inspired by Lisp, multiple interfaces and unique heritage ofObjective-C , the online documentation cweb , primitive types and control structures C, object typing Ada . He acquired all the best and debugged some features.

Java introduced as yet unseen features, such as checking exceptions, the use ofUnicode . But their cornerstones were, above all, the idea that any program consisted of classes and reusable objects and incorporating a Garbage Collectionfacilitating the release of memory hitherto performed at lower levels of programming.

As mentioned at the beginning, Java poked her head unexpectedly and almost giving a twist to what was initially raised in the first browsers: Netscape was his push with the applet and newborn web world. Paradoxically never worked well, they were not even able to interact with the HTML or JavaScript at the time, but were necessary for certain features of the web pages of the time.

Tiobe Java

But where, no doubt, Java is popular is the server side where it has created a broad ecosystem-based programming Servlet and JSP. Based on Java Enterprise Edition has built a number of tools: framework like Spring or Struts, Tomcat servers as the use of databases Hibernate, JPA, etc .. All interface network connection, because Sun always had the idea that “The Network is The Computer”.

We also need to give thanks that Java were created the first tools to make unit testing JUnit hand as Kent Beck and Eric Gamma. TDD born there.

A generation of new languages ​​have grown under its JVM as Groovy or Scala and many more. Many of them completing what was missing from Java. Being honest, it’s been 20 years, and obviously there are things that are outdated and filled with syntactical bureaucracy.

Sun Microsystems was the creator of language but really was not the most benefit from it economically removed. It should be noted its influence in the world of programming was also seen in the software business. Companies like IBM or Oracle project have grown taking it. The latter ended up buying and taking Sun Java and other open source technologies (as previously bought MySQL).

Oracle Java Purchase

Criticism of Java

Performance has always been watched very closely. Java Virtual Machine was designed to abstract the hardware, without giving access to resources and generate bytecode platform independent. All this added latency, although the JVM has been tuned and adequate time to “warm up ” of resources can achieve truly effective values, Java siempe has taken with the tag slow language .

Perhaps most troubling was the famous Day-Zero security that led to a social alarm need to have Java installed on your browser with the large number of malicious software that could attack applets with compromised versions of Java.It has always been advisable to have the latest patched version, preventing experts not give excessive programming user permissions to a software signed by someone suspicious.

The language itself has been becoming obsolete over time. The leap in functionality between versions has not been as generous as we would like.Compatibility issues still make many continue programming in Java 7 , instead of the latest version as Java 8 . Cracked by the time I spend between one version and another, almost 8 years.

A future marked by the performance and true vocation multiplatform


The obvious future of Java is its next version ( Java 9) for exact date announced with the September 22, 2016 . With it come features to make it more flexible modularity. Today Java is enormous, if we use one of its APIs need to bring everything.

It will also incorporate new standards by integratingJSON Light Weight that many will appreciate when working with NoSQL databases, also incorporating future standard HTTP2 (especially in the server side language).And finally, optimization of both the cache JVM code as the compiler.

All these improvements are driven by their competitors in the field of performance and modularity. And one that is going strong is Node.js, creating a similar ecosystem JavaScript Java environment.

Java has a strong presence in the mobile world with Android. Google has much to say on that subject. And to was recently rumored Android departure for other languages, although it is too early to kill him: Go or Dart is still green.

His stumbling block is the performance and versatility. The future will be marked by the Internet of things. Several light languages ​​are positioned to be at the paradigmatic goal of being multiplatform, paradoxically, that was the approach that was born Java, perhaps get after these 20 years.

Oracle launches an urgent patch for Java on Windows 10

urgent patch for Java

There are already many known bugs and other security vulnerabilities that have the environment Java , with continuous updates that must be made ​​to address major problems. In the last hours Oracle has released an urgent security patch that fixes a major breakthrough in Java and advising that all users of Windows are installed.

Oracle has found a major security hole in its Java environment affecting Windows 10 and in general, the entire Windows environment. The security flaw exploits the vulnerability CVE-2016-0603 causing accessing a malicious site and then settling a particular version of Java, the system is compromised.

In itself, Oracle explains that fall into the vulnerability is not entirely straightforward. For that, previously, the user should have entered a dangerous place and have unknowingly installed malicious code on your system. This code could remain for months or years in the system until the user versions 6.7 or 8 of Java is installed . At that time, the code is activated in the process of installing these versions to compromise the entire system. Thus we should fulfill a number of actions before being infected.

Oracle recommends that all users of Windows 10 , and other versions, this new patch that disables that possibility of being infected in the future with any future update of Java installed.

Java infection is one of the most common on the Internet, and is well exploited by cyber -crooks to install malicious software on computers. It is advisable that always, we unload Java updates from the official website of Oracle itself , and never from third party sites, whether or not trusted, because they can be infected without those pages have evidence.

Oracle announces the end of Java Plugin

With a short message posted by a member of the strategy team of Java, Oracle announced the end of the plugin.

“Oracle plans to remove the Java plugin for browsers on your JDK 9. This technology will be removed from JDK (Java Development Kit) and JRE (Java Runtime Environment) in a future version of Java SE (Java Platform Standard Edition)”  shared Oracle in your plan.

JDK 9 is in beta and is available  for testing. It is planned that the final version is released in September this year.

For years, the Java plugin was the favorite among the attackers because of its widespread use and the fact that it was a hotbed of zero – day vulnerabilities.  The e xploits were well executed both groups APT (Advanced Persistent Threat) as cybercriminals sometimes as separate attack code and sometimes as code for sale.

Perhaps Oracle would not have given up the plugin but by the fact that browsers stopped support  for plugins  or announced that they would soon.

” At the end of 2015, many browser vendors had already been eliminated or announced the date of removal plugin support standards – based, eliminating the possibility of embedding Flash, Silverlight, Java and other technologies based on plugins” remarked Oracle.

“With manufacturers modern browsers working to restrict and reduce support plugins in their products, application developers who base their work on Java plugins need to consider alternative options such as migrating from Java Applets (based on a plugin browser) to the new web technology Java plugins free.

For those who still have to rely on Java (mostly companies), Oracle has developed a very conveniently compiled  detailed migration options.

3 July 2003 Linux Wasp 3.2 for Java released

  • Wasp 3.2 manual for Linux is accessible on-line
  • Servlet programs can be analyzed by Wasp 3.2
  • assert statements of Java 1.4 are properly processed by Wasp 3.2
  • command line interface for launching Java programs simplified
  • Wasp manual improved

3 April 2002 Linux Wasp 3.1 for Java released

05 October 2001 Wasp forum has appeared!
Now everyone can write topic which is of interest or ask a question in the Wasp forum.

04 September 2001 New service: Order Wasp message report for your Java software!

25 June 2001 Windows Wasp 3.0 for Java released

4 June 2001 Linux Wasp 3.0 for Java released

Your feedback and suggestions are welcome at wasp@waspsoft.com

Home | Overview | Wasp for Java | Download | Support | Purchase | Research | Contact Us

Scientific part of Wasp project was supported by grants "Program understanding"
97-01-00724, 0001-00820 of Russian Foundation of Fundamental Research
Copyright 2000, 2001 AcademSoft. All rights reserved.