Feeds

DARPA seeks game players to join bug-hunt

No prize, but you get to play for free

3 Big data security analytics techniques

DARPA, which last week launched a multi-million-dollar bug hunt, is also trying out the notion of using games to help track down bugs in commercial software.

However, while last week's bounty is targeting hackers, the Crowd Sourced Formal Verification project is hoping to use mug punters to find bugs in commercial-style software – rather like every software vendor on earth, but instead of us having to suffer BSODs or crashing applications, DARPA wants to make it fun.

Hence Verigames, which the agency wants to use to translate the “hard math” of formal software verification into something that the untrained can accomplish by playing games.

As DARPA puts it: “The CSFV games translate players’ actions into program annotations and generate mathematical proofs to verify the absence of important classes of flaws in software written in the C and Java programming languages. CSFV aims to investigate whether large numbers of non-experts playing formal verification games can perform formal verification faster and more cost-effectively than conventional processes.”

DARPA program manager Drew Dean said: “We’re seeing if we can take really hard math problems and map them onto interesting, attractive puzzle games that online players will solve for fun.”

The program has been launched with five games – CircuitBot (run a team of robots), Flow Jam (adjusting a cable network to maximise its flow), Ghost Map (find a path through a brain network), StormBound (discover symbols in a windstorm) and Xylem (use maths to catalogue plant species).

Under the hood, the agency says, the games “translate players' actions into program annotations that help formal verification”. In this instance, the gameplay is testing C and Java code present in common open-source software.

If harmful bugs are discovered, DARPA says it will notify the organisation responsible for the software. ®

SANS - Survey on application security programs

More from The Register

next story
Android engineer: We DIDN'T copy Apple OR follow Samsung's orders
Veep testifies for Samsung during Apple patent trial
This time it's 'Personal': new Office 365 sub covers just two devices
Redmond also brings Office into Google's back yard
Batten down the hatches, Ubuntu 14.04 LTS due in TWO DAYS
Admins dab straining server brows in advance of Trusty Tahr's long-term support landing
Microsoft lobs pre-release Windows Phone 8.1 at devs who dare
App makers can load it before anyone else, but if they do they're stuck with it
Half of Twitter's 'active users' are SILENT STALKERS
Nearly 50% have NEVER tweeted a word
Windows XP still has 27 per cent market share on its deathbed
Windows 7 making some gains on XP Death Day
Internet-of-stuff startup dumps NoSQL for ... SQL?
NoSQL taste great at first but lacks proper nutrients, says startup cloud whiz
Windows 8.1, which you probably haven't upgraded to yet, ALREADY OBSOLETE
Pre-Update versions of new Windows version will no longer support patches
Microsoft TIER SMEAR changes app prices whether devs ask or not
Some go up, some go down, Redmond goes silent
Red Hat to ship RHEL 7 release candidate with a taste of container tech
Grab 'near-final' version of next Enterprise Linux next week
prev story

Whitepapers

Designing a defence for mobile apps
In this whitepaper learn the various considerations for defending mobile applications; from the mobile application architecture itself to the myriad testing technologies needed to properly assess mobile applications risk.
3 Big data security analytics techniques
Applying these Big Data security analytics techniques can help you make your business safer by detecting attacks early, before significant damage is done.
Five 3D headsets to be won!
We were so impressed by the Durovis Dive headset we’ve asked the company to give some away to Reg readers.
The benefits of software based PBX
Why you should break free from your proprietary PBX and how to leverage your existing server hardware.
Securing web applications made simple and scalable
In this whitepaper learn how automated security testing can provide a simple and scalable way to protect your web applications.