chubbymaggie/jcute
Java Concolic Unit Testing Engine
Public GitHub Catalog
Discovered Oct 2, 2026
chubbymaggie / smc
Source code of SMC, the first string model counter. The paper of this work appears in PLDI 2014.
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.
#24911007GitHub System ID
chubbymaggieOrganization / User
PublicVisibility
ActiveCatalog Status
More from chubbymaggie
chubbymaggie/janala2
a concolic testing engine for Java
chubbymaggie/ivre
A Python network recon framework, based on Nmap, Bro & p0f with MongoDB backend.
chubbymaggie/NoSuchCon2014
A few scripts for solving NoSuchCon 2014 challenge