Programs used for benchmarking the PDG construction
| name | path to... | main class | more information |
|---|---|---|---|
| wallet | [bytecode] | javacard.framework.JCMain | |
| clientserver | [source code] | [source code] | |
| battleship | [bytecode] | Main | |
| corporatecard | [bytecode] | javacard.framework.JCMainCorporateCard | |
| safeapplet | [bytecode] | javacard.framework.JCMainSafeApplet | |
| hybrid | [source code] | [source code] | |
| cloudstorage | [source code] | [source code] | |
| j2mesafe | [bytecode] | MainEmulator | |
| purse | [bytecode] | javacard.framework.JCMainPurse | |
| barcode | [bytecode] | MainEmulator | |
| onetimepass | [bytecode] | MainEmulator | |
| bexplore | [bytecode] | MainEmulator | |
| keepass | [bytecode] | MainEmulator | |
| freecs | [bytecode] | freecs.Server | [project page at sourceforge] |
| hsqldb | [bytecode] | org.hsqldb.Server | [project page at sourceforge] |
Programs used for the performance comparison of LSOD/Giffhorn's criterion/RLSOD
| name | path to... | main class | more information |
|---|---|---|---|
| barrierbench | [bytecode] | def.JGFBarrierBench | |
| battleship | [bytecode] | Main | |
| evoting | [source code] | [source code] | |
| barcode | [bytecode] | MainEmulator | |
| freecs | [bytecode] | freecs.Server | [project page at sourceforge] |
| hsqldb | [bytecode] | org.hsqldb.Server | [project page at sourceforge] |