Semmle launches bug scanner for Eclipse



Email    print   
March 1, 2009 —  False positives are the bane of all code scanners. But Semmle, a small company and tool that has emerged from research at Oxford University, is betting that a simple query language can take the sting out of code scanners. The company today has released SemmleCode, an Eclipse plug-in that brings bug-scanning capabilities into the open-source IDE.

Oege de Moor, CEO of Semmle, said that SemmleCode can ferret out many coding issues within Eclipse. The tool was originally developed in Oxford University's computer science department, where de Moor is a professor. De Moor also belongs to a programming tools research team at the university, and he focuses on aspect-oriented programming and refactoring as well.

“The idea here is that you take the entire source of a software system and store it in a relational format," said de Moor. "Then you do analysis. The kinds of things you can compute are all the usual quality matrices. It finds typical bugs, unmarked dependencies and all these things."

De Moor said that SemmleCode is “similar to FindBugs … But with [FindBugs] you have to be an expert. Tweaking analysis is really difficult.” But de Moor said that SemmleCode includes a simpler object-oriented query language that can make tweaking and customizing code searches easier.

“If you get false positives, it's typically because of the characteristics of your own codebase,” said de Moor. “These queries are written in an object-oriented query language, .QL. It's a modern variant of a query language called Datalog. It makes it possible to phrase the queries in familiar terms.”

SemmleCode costs US$499 per user, and it is targeted at both Eclipse users and software consultants. Currently, SemmleCode can scan Java and XML files, but de Moor said that new languages, such as C++, will be added over time.

“These days, if you have a big Java project, it's using Spring, [and there are] lots of configuration files. If you want to talk about dependencies you have to check XML. But the technology is not tied to Java,” said de Moor.

Aside from adding more languages, de Moor said that SemmleCode should gain new report and graphical capabilities in future releases.

“We always get more requests for different ways of visualizing. You can look at the results as heat maps or as problems in the Eclipse problems view. But people always want more ways of visualizing it,” said de Moor.





Related Search Term(s): Eclipse, Semmle


Share this link: http://sdt.bz/33298
 
Most Read Latest News Blog Resources

Add comment


Name*
Email*  
Country     


  • Comment
Loading




close
NEXT ARTICLE
From the Editors: Seeing through an Eclipse
Eclipse has made it through 10 years, and we salute it; Google did right by unforking Android Read More...
 
 
 
 
News on Monday
more>>
SharePoint Tech Report
more>>


   

 
 

Download Current Issue
FEBRUARY 2012 PDF ISSUE

Need Back Issues?
DOWNLOAD HERE

Want to subscribe?


 
blogs tab
Are you at risk for burnout?
Burnout is a severe problem and it can strike at any time. Here's how to tell if you are nearing the edge.
02/09/2012 02:16 PM EST

Agility, mom, and apple pie
If we're to evaluate the state-of-the-art in software development, we should start with the values espoused in the Agile Manifesto.
02/07/2012 11:57 AM EST

RIM woos developers with free tablet
How do you get more apps ported to the BlackBerry PlayBook? By giving every developer a free tablet, of course!
02/04/2012 01:57 PM EST

GitHire: Use Headhunters to Find Your Perfect Programmer
Are you a hiring manager tired of scouring the job boards? Check out this new service that will find 5 people interested in your jobs.
02/03/2012 12:17 PM EST

Facebook claims hacker cred
Facebook's SEC S-1 filing form includes a short essay on the Hacker Way by Mark Zuckerberg himself.
02/02/2012 08:26 AM EST

Ryan Dahl steps down
Ryan Dahl, creator of Node.js, steps back from his position as gatekeeper for the project.
02/01/2012 04:58 PM EST

 
Events calendar tab
2/13/2012 to 2/16/2012
Santa Clara
TechWeb

2/26/2012 to 2/29/2012
San Francisco
BZ Media

2/27/2012 to 3/2/2012
San Francisco
RSA

3/4/2012 to 3/7/2012
Las Vegas
IBM Tivoli

3/5/2012 to 3/9/2012
San Francisco
TechWeb