From the University of Gothenburg comes an extension for the Java programming language to help close security holes. The greatest risk to information on a computer being leaked is not poor network security or weak encryption but poor programming. As software becomes more complex there are more places for holes to occur, which can then be exploited. This is such a large problem code reviewers are used to find the holes by reading through a program’s code manually.
To speed things up a bit, Paragon has been created. By inputting the specifications desired a programmer can use Paragon to monitor security holes in the software as they write it, or later when it is being compiled. Thus far the analysis power of Paragon proving to be greater than earlier attempts in the field.