A problem occurs with method calls such as this.m() since m has accessed to every field of this (see #2).
To allow non-static methods in a spacetime module, we can etiher:
Analyse the Java method to check for read and write accesses (seems very complex since we must parse and understand the full Java syntax).
Annotate the call on this with the permissions of the variables accessed.
Allow possible causality holes when calling external functions (i.e. Java methods).
A problem occurs with method calls such as
this.m()sincemhas accessed to every field ofthis(see #2). To allow non-static methods in a spacetime module, we can etiher:thiswith the permissions of the variables accessed.