Welcome to the COSTA web site

COSTA is a Cost and Termination Analyzer for Java Bytecode programs. COSTA is a static analyzer which takes two inputs, the Java bytecode program you want to analyze and a selection of the cost model. The cost model describes some kind of resource consumption, such as:

  • the amount of memory allocated on the heap,
  • the number of bytecode instructions executed,
  • billable events, such as sending a text message from a mobile phone

With those inputs, COSTA tries to infer a symbolic bound of the program's resource consumption, with respect to the cost model.

You can use the web interface in order to try out the system on a set of representative examples or even with your own bytecode programs. As the behaviour of COSTA can be customized using a lot of options, the interface offers you two ways for doing so:

  • Automatic: you can choose different possibilities with increasing accuracy and overhead.
  • Manual: if you are an expert user and you want a fine-grained control over the analyzer, you can configure detailed options such as the processing of referenced Java libraries, the possibly thrown exceptions, etc.

You can take a look at the  COSTA Tutorial to get an overview of the features of the analyzer and its user interfaces. COSTA can analyze code for both Java SE and Java ME, in particular for the MIDP profile for mobile phones.

Enjoy!

The COSTA Team

The COSTA Team
Research Papers
Supporting Projects
Related Work
 COSTA Web Interface
 PUBS Web Interface
 PET Web Interface

COSTA integrates a subsystem, PUBS, that receives recurrence relations and produces upper bounds in closed form.

You can use COSTA through the  Web interface, or through the Eclipse Plugin.

And you might also be interested in The PET System, a Partial Evaluation-based Test Case Generator for Java Bytecode.

Contact

For further information, please contact us by email at the address  costa_@_fi.upm.es (after removing the underscores).

Developers Site

If you are a registered COSTA developer, you can visit the COSTA Developers site.

SSL Troubleshooting

If you browser warns you about the validity of the certificate of this website, please follow these instructions.