10. TODO

• TOE:FPT_AMT.1
• TOE:FPT_TST.1
• OUT-1 system() -> write()
• VAL-1 : trim -> reject
• VLA VAL-3
• include AMA in assurance
• put in ITENV.something
  • The python interpreter underlying the TOE memory maps some shared libraries belonging to the underlying operating system and pyton interpreter. The TOE does not modify these shared libraries or the corresponding memory areas.
  • The python interpreter underlying the TOE uses its root directory as root directory, its working directory as working directory, and the program text of the python interpreter. The TOE does not modify these.
  • There are several files under /proc/"pid" corresponding to the TOE, managed by the underlying operating system. The TOE does not directly do anything with these files.