Net-iocache - Analysis of networked software


Net-iocache is a JPF extension that allows JPF to communicate with other programs over the network, even if backtracking is involved. It has various features such as support for the API, check-pointing tools to run programs in a virtualization environment, and more. Currently, the JPF team requires certain tasks to be carried out. Firstly The JPF Team requires a coverage tool for their test suite. This is becoming a priority for supporting non-blocking I/O functions which are being recently implemented. Secondly, there are some features of JPF which are hard-coded momentarily, which need to be made configurable. The core task involves making JPF support User Datagram Protocol (UDP). Currently, the test suite assumes that the underlying network is always reliable and delivers data in order and without any losses, which is similar to TCP/IP based networks. However unreliable conditions have to be simulated to emulate real time systems, which requires modification to the JPF extensions.


student: Aadish Kotwal <kotwal.aadish AT>

mentor: Richard Potter

co-mentor: Cyrille Artho


The sources for this project are available from a Mercurial repository at Note: this project starts with a clone of the existing development repository of net-iocache, as existing code may require modification. Hence there is already a long history of commits prior to May 21 2012, when the GSoC coding phase starts.


Project documentation/wiki/blog are available at the project wiki on

Last modified 6 years ago Last modified on 05/21/2012 04:18:24 PM