v0.1.0

What's Changed

• Merge updates from the eurosys experiments by @JustusAdam in #13
• Updating to toolchain Nightly 2023 04 12 by @JustusAdam in #14
• Debugging the CI by @JustusAdam in #15
• Add an integration test setup and workflow by @JustusAdam in #16
• Try adding a build cache by @JustusAdam in #17
• Add format checks to workflow by @JustusAdam in #18
• Debugging the testing setup by @JustusAdam in #21
• Ran missing formatting by @JustusAdam in #20
• Add a clippy job by @JustusAdam in #19
• Fixing Inline Elision (Tests) by @JustusAdam in #23
• Clean up dump mechanism and add an all option by @JustusAdam in #24
• Improvements and changes from experimentations with a potential user by @JustusAdam in #25
• Explorer Refactoring by @JustusAdam in #26
• Add a Pull Request Template by @JustusAdam in #27
• An automated update for the online hosted documentation on every push to main by @JustusAdam in #28
• Clean up the scripts by @JustusAdam in #29
• Only cache return state, not entire FlowResults by @willcrichton in #30
• Independence from the user toolchain by @JustusAdam in #32
• A much simpler way to set the sysroot. by @JustusAdam in #34
• Refactor repo into Cargo workspace with scaffolding for Rust-based queries by @willcrichton in #31
• Make the PR template descriptions not comments by @JustusAdam in #35
• Fix refs on Identifier by @JustusAdam in #36
• Always-happens-before property by @JustusAdam in #37
• Fix the Short Hash Representation by @JustusAdam in #39
• Rename label to marker, adjust documentation by @JustusAdam in #40
• Portable rustc Exports by @JustusAdam in #41
• A proposal for a more comprehensive CLI property interface by @JustusAdam in #38
• Fix Diagnostic Assertion Macros by @JustusAdam in #43
• Build test policies in CI by @JustusAdam in #46
• Rename crates to use a common paralegal prefix by @JustusAdam in #44
• Emergency path fixes by @JustusAdam in #48
• Fixing minor paths for consistency by @JustusAdam in #49
• Improve landing page and Readme by @JustusAdam in #50
• Change the ProgramDescription graph representation to use our portable DefIds by @JustusAdam in #45
• Fix the names of env variables by @JustusAdam in #51
• Allow for dependency-specific build configuration by @JustusAdam in #52
• Serialization Fix by @JustusAdam in #55
• Additional Marker Configuration by @JustusAdam in #56
• Add signup form to README by @JustusAdam in #67
• Plume policy in Rust engine by @JustusAdam in #57
• Adds a CI action that tries to build the documentation by @JustusAdam in #68
• License under MIT by @JustusAdam in #53
• A mechanism for diagnostics with context by @JustusAdam in #42
• User guide examples by @JustusAdam in #73
• Bug Fixes found in Experimentation by @JustusAdam in #71
• Add data+ctrl flow to flow_to relation by @livia01px2019 in #74
• Marker unsoundness warnings by @JustusAdam in #72
• Turn the index page of the documentation into a redirect to the user guide. by @JustusAdam in #79
• Doc redirect emergency fix by @JustusAdam in #81
• Update flows_to primitive to take an EdgeType parameter enum of Data, Ctrl, or DataOrControl by @livia01px2019 in #80
• Remove the marked_callsites function by @livia01px2019 in #82
• New Context API that uses CtrlNodes by @livia01px2019 in #85
• Remove Laziness for Markers by @JustusAdam in #89
• Fully implement the has_marker function by @livia01px2019 in #87
• Implement Websubmit scoped storage by @livia01px2019 in #86
• Change always_happens_before to not take in ctrl id and work over multiple controllers by @livia01px2019 in #88
• Bugfixes and minor improvements by @JustusAdam in #93
• Introducing the Paralegal proc-macro library by @JustusAdam in #96
• Update dependencies by @JustusAdam in #99
• Add influencers/influencees primitives by @livia01px2019 in #92
• Create CI and companion scripts by @JustusAdam in #100
• Minor improvements to policy framework by @JustusAdam in #97
• Update deletion property for Websubmit by @livia01px2019 in #98
• Don't crash for dyn anymore by @JustusAdam in #101
• Caller-independent scripts by @JustusAdam in #104
• Emit data flows from a CallArgument to its CallSite in flows_to, influencers, and influencees by @livia01px2019 in #102
• Implement Websubmit authorized disclosure property by @livia01px2019 in #103
• Use instances in marker reachability. by @JustusAdam in #106
• Add test normalization to prevent hard errors in function resolution by @JustusAdam in #107
• Add graph location output path argument by @livia01px2019 in #110
• Create new emit_diagnostics that does not exit by @livia01px2019 in #111
• Fix up Websubmit props so that they pass/fail like Forge by @livia01px2019 in #109
• Marker propagation from trait to impl by @JustusAdam in #116
• Add has_ctrl_influence primitive to Context by @livia01px2019 in #113
• Make NodeTypes own their info by @livia01px2019 in #120
• Remove data and control flow index from CtrlFlowsTo. by @livia01px2019 in #118
• Implement selection of analysis target via command line. by @JustusAdam in #121
• Integrate PDGs created by Flowistry by @JustusAdam in #119
• Use cargo make instead of lots of scripts by @JustusAdam in #122
• Docs via make by @JustusAdam in #124
• Documentation, refactoring and convenience by @JustusAdam in #123
• Type export fix by @JustusAdam in #126
• Pretty printing of source code locations by @JustusAdam in #131
• Merge the pdg construction from flowistry into this repo by @JustusAdam in #140
• Clear dir before installing rustc docs by @JustusAdam in #146
• Remove props by @JustusAdam in #147
• SOSP improvements by @JustusAdam in #149
• Optimize graph construction by @JustusAdam in #150
• Support for CodeLLDB debugger by @JustusAdam in #156
• Treat boxes as owned pointers by @JustusAdam in #154
• Enable plugin profiling via environment variable by @JustusAdam in #157
• Single-compile testing framework by @JustusAdam in #158
• Migrate auxiliary changes from cross crate by @JustusAdam in #160
• Enable all cargo tests in CI by @JustusAdam in #151
• Fix handling for `poll...

Euro/SYS 2023 Submission

This release preserves the state of our tool at the time of running the experiments for our EURO/SYS 2023 submission.