There is a newer version of the record available.

Published May 9, 2025 | Version v2
Software Open

Paralegal OSDI 2025 Artifact

Creators

  • 1. EDMO icon Brown University

Description

Welcome to the software artifact for the 2025 submission of the static Rust privacy and security analyzer "Paralegal". This artifact contains the analyzer, benchmark suite and plotting utilities for reproducing the graphs shown in the paper.

Files

README.md

Files (3.1 GB)

Name Size Download all
md5:30859f317383c417a59a608759014111
3.0 GB Download
md5:0043edf4d86004c60d272d3a5b3bc0c4
24.7 kB Preview Download
md5:d6cfb59e30291e24b0c03df72228c141
21.8 MB Download

Additional details

Software

Repository URL
https://github.com/brownsys/paralegal-osdi-2025-artifact
Programming language
Rust