Static analysis on the Javacard bytecode | Hacker News Reader