Caffeine is a system for the dynamic analysis of Java programs. Caffeine is made of a Prolog engine that analyzes the execution of a Java program on a remote virtual machine.

We implement Caffeine using the debug interface of the virtual machine and using a wonderful and freely available Prolog engine in Java: JIProlog.

So far, the people involved in Caffeine are:

• Rémi Douence, of the Objects, Components, and Models team.
  
• Yann-Gaël Guéhéneuc, Ph.D. student.
  
• Narendra Jussien, team leader of the Constraint team.
  

Caffeine is the subject of a paper and of a research report. More on Caffeine at www.ptidej.net.