plast-lab/cclyzer
A tool for analyzing LLVM bitcode using Datalog.
Public repository discovered through GitHub real-time crawl.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A tool for analyzing LLVM bitcode using Datalog.
DelphJ is a Java-based OO language (MorphJ with delegation features) that eschews inheritance completely, in favor of a combination of class morphing and (deep) delegation.
Experimenting with mbrace
Public repository.