Problem: Calling a method `this.m()` means that `m` has accessed to every field of `this` and we cannot control which ones are accessed and how. Solution: Add a static analysis to prevent non-static method in spacetime modules. See also #3.
Problem: Calling a method
this.m()means thatmhas accessed to every field ofthisand we cannot control which ones are accessed and how.Solution: Add a static analysis to prevent non-static method in spacetime modules.
See also #3.