JCard

_fc-plugins/jcard.html

+---
+layout: plugin
+title: JCard
+description: JavaCard Front-End for Frama-C
+key: front
+distrib_mode: obsolete
+---
+
+<dl class="defnitionList">
+  <dt class="subTitle">Overview</dt>
+  <dd><p>JCard is a JavaCard front-end for Frama-C, based on
+      <a href="http://javalib.gforge.inria.fr/">JavaLib and Sawja</a>.
+      It is meant to transform Java bytecode into Frama-C's internal C
+      representation. After that, main analysis plug-ins can operate as
+      usual.
+    </p>
+  </dd>
+  <dt class="subTitle">Use</dt>
+  <dd>
+    <p>Once installed, JCard will automatically consider any <tt>.java</tt>
+    or <tt>.class</tt> file passed on the Frama-C command line as java input
+    and attempt to parse them.</p>
+    <p>JCard is not publicly released, and there is no guarantee that it
+      is compatible with current Frama-C version. It is usually made available
+      as part of collaborative projects or through direct partnership.
+    </p>
+  </dd>
+</dl>