jgf/bytecode_counter
An jvm agent library that counts the number of executed java bytecode instructions during a program run.
Public GitHub Catalog
Discovered Sep 25, 2026
jgf / crypto-client-ifc
This project contains the non-interference check for the client server encryption example in the paper "A Framework for the Cryptographic Verification of Java-like Programs" at CSF 2012
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5065679GitHub System ID
jgfOrganization / User
PublicVisibility
ActiveCatalog Status
More from jgf
jgf/smali-analysis
An extended version (for program analysis) of the smali assembler/disassembler for Android's dex format. See Wiki for example code.
jgf/wala-mirror
Fork of WALA's repository, the original is at: