secure-software-engineering/vasco
An inter-procedural data flow analysis framework using value-based context-sensitivity
Public GitHub Catalog
Discovered Sep 26, 2026
secure-software-engineering / prm4j-sync
Parametric runtime monitoring for Java.
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.
#8141900GitHub System ID
secure-software-engineeringOrganization / User
PublicVisibility
ActiveCatalog Status
More from secure-software-engineering
secure-software-engineering/soot-infoflow-testgenerator
Test case generator for FlowDroid
secure-software-engineering/DroidForce
DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.
secure-software-engineering/denial-of-app-attack
Denial-Of-App Attack