-
Notifications
You must be signed in to change notification settings - Fork 4
Open
Labels
roadmap-v1Roadmap for v1.0Roadmap for v1.0
Description
New roadmap for closures and function pointers. Replaces #30
For v0:
- add two types of unsafe effect to our effect model:
ClosureCreationandFnPointerCreation - in
scanner.rs, whenever a closure or function pointer is created, add this to the list of effects associated with that function that need to be audited.
For v1, the plan is probably something like the following:
- add closures to the call graph
- for effects in a closure, we need a new audit model: effects can be caller-checked, creator-checked, safe, or unsafe.
- for each closure variable or function pointer variable, track which possible closures/function pointers it might refer to (an overapproximation). If we don't have enough information to identify, could add an
UnsafeCalleffect to track this.
Metadata
Metadata
Assignees
Labels
roadmap-v1Roadmap for v1.0Roadmap for v1.0