New roadmap for closures and function pointers. Replaces #30
For v0:
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
UnsafeCall effect to track this.
New roadmap for closures and function pointers. Replaces #30
For v0:
ClosureCreationandFnPointerCreationscanner.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:
UnsafeCalleffect to track this.