JCard is a JavaCard front-end for Frama-C, based on JavaLib and Sawja. It is meant to transform Java bytecode into Frama-C’s internal C representation. After that, main analysis plug-ins can operate as usual.


Once installed, JCard will automatically consider any .java or .class file passed on the Frama-C command line as java input and attempt to parse them. JCard is not publicly released, and there is no guarantee that it is compatible with the current Frama-C version. It is usually made available as part of collaborative projects or through direct partnerships.