Bandera is a framework and set of tools that provides automated support for the extraction of safe, compact, finite-state models that are suitable for verification from Java source code.

News

Bandera 1.0a1 Released to Research Partners

A very alpha version of Bandera 1.0 is now released to select research partners. This release contains a simple command line interface to drive the new framework and tools including the amazing Bogor model checker. There will be very little support provided since we are still deep in development and performing experimentation with better Java examples. There is a README file in the distribution but it is very little help with anything beyond starting the command line interface. We still have great plans for Bandera 1.0 that are in development but we are trying to keep them hush-hush so nobody steals our ideas :).

Bandera 1.0a1 running

A very alpha version of Bandera 1.0 is running. This is already a big improvement on Bandera 0.3. However, we are not releasing anything at this time because a great deal of time would need to be spent supporting it and documenting it. An alpha release should be available sometime this semester that will allow users to start playing with Bandera 1.0.

SAnToS Welcomes another new Member

The SAnToS lab has another new ugrad student working for us. Ben Dolezal will provide graphic artist expertise for the web, for our applications, and for many other types of media. He will be starting by creating some graphics and logos for the Bandera site as well as the other sites (Bogor and Cadena) and eventually start helping to create icons and animations for use in our applications. He will be working 1/2 time for us an sitting in the cubicle area with Jason Web and Jason Tholstrup. Introduce yourself when you get a second.

Bugzilla Bugs Moved

The Bugzilla bugs have been sucessfully (and partially) moved to GForge. The script works fairly well but doesn't include dependencies or attachments.

IR Posted: Soot 2.0

The Bandera 1.0 release will be based upon the Soot 2.0 API as the intermediate representation. The IR that is required will always be posted on the Bandera site. When it changes, a new version will be posted and all (critical) plug-in owners will be notified.

Bandera 1.0 Meeting

A meeting has been scheduled for Tuesday, June 17th at 2:00pm to discuss the status of Bandera 1.0. Agenda: 1) Bandera 1.0 Core Status 2) Jimple-to-BIR Status 3) Slicer Status 4) Bogor Status

SAnToS Welcomes another new Member

The SAnToS Lab now has 1 more student working for us. Jason Weber has started work for us. He will be getting his feet wet with the Cadena project. He will be working in the cubicule in 324 so make sure to stop by an introduce yourself to him!

SAnTos Welcomes a new Member

The SAnToS Lab now has 1 more student working for us. Jason Tholstrup has started work for us today. He will be getting his feet wet with the Bandera project. He will be working in the cubicule in 324 so make sure to stop by an introduce yourself to him!

CVS Repository Moved and Ready

The CVS repository has been moved from hadar to it's new home on projects. If you have committed to hadar in the last 3 days, please move those changes over. Otherwise, everyone should now be working off the Bandera project's CVS repository on projects.cis.ksu.edu. If you don't know how to switch, take a look at the project page and take the CVS repository link. If that doesn't suffice, talk to Todd or Jesse.

Presentations posted

Some of the talks and presentations that were posted on the Bandera website have been posted in the Doc Manager in this project. Many more need to be moved and all members of Bandera should learn how to up

FAQ Up and Ready

The FAQ forum has been populated with questions that were posted on the old Bandera website.

Bandera Project Started

The Bandera project has now been started on the Santos Labs Projects web site. The site will slowly evolve as things are moved from other servers into this centralized repository for the project.