Repository Overview

• crates: The source code of the various parts and tools that comprise Paralegal
  • paralegal-spdg: Definition of the Semantic Program Dependence Graph
  • paralegal-flow: Rustc plugin that extracts an SPDG by means of control and data flow analysis
  • paralegal-policy: Framework for defining policies as graph queries
  • paralegal-explore: Query and visualize parts of an SPDG
• props: Sample policies we wrote for Open Source Rust applications
  • websubmit: Policy for https://github.com/ms705/websubmit-rs, see also
  • lemmy: Policy for https://github.com/LemmyNet/lemmy
  • plume: Policy for https://github.com/Plume-org/Plume, see also Example: Plume Data Deletion
• guide: Example used in the Paralegal Step-by-Step guide
  • file-db-example: An project to test a toy-policy on
  • deletion-policy: A deletion policy for the example project
• scripts: Helper scripts for auxillary tasks. Currently only holds a script for counting lines in Forge files
• doc-src: Sources for building the documentation. that is hosted on GitHub pages