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 ...
Interpreter + LLVM 18 Codegen Dual Backend · Z3 Formal Verification · Typestate-Oriented · Flow State Machines · Protocol/Session Types · Actor Model ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results