Project 1 — Pointer Analysis (project1-pointer-analysis/): an Andersen-style, field-sensitive, interprocedural pointer-analysis system for Java, built on SOOT. It reads a benchmark whose allocation ...
Mimi is evolving fast and we'd love your feedback. Whether you're a programming language enthusiast, a systems software developer, or just curious about contract-driven development, there's a place ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results