Print this page 
7029 want per-process exploit mitigation features (secflags)
7030 want basic address space layout randomization (aslr)
7031 noexec_user_stack should be a secflag
7032 want a means to forbid mappings around NULL.


  81 extern void     text_token(adr_t *, parse_context_t *);
  82 extern void     opaque_token(adr_t *, parse_context_t *);
  83 extern void     ip_addr_token();
  84 extern void     ip_token(adr_t *, parse_context_t *);
  85 extern void     iport_token(adr_t *, parse_context_t *);
  86 extern void     argument32_token();
  87 extern void     socket_token();
  88 extern void     sequence_token(adr_t *, parse_context_t *);
  89 
  90 /*
  91  * Modifier tokens
  92  */
  93 
  94 extern void     acl_token(adr_t *, parse_context_t *);
  95 extern void     attribute_token(adr_t *, parse_context_t *);
  96 extern void     s5_IPC_perm_token(adr_t *, parse_context_t *);
  97 extern void     group_token();
  98 extern void     label_token(adr_t *, parse_context_t *);
  99 extern void     privilege_token(adr_t *, parse_context_t *);
 100 extern void     useofpriv_token(adr_t *, parse_context_t *);

 101 extern void     zonename_token(adr_t *, parse_context_t *);
 102 extern void     liaison_token(adr_t *, parse_context_t *);
 103 extern void     newgroup_token(adr_t *, parse_context_t *);
 104 extern void     exec_args_token(adr_t *, parse_context_t *);
 105 extern void     exec_env_token(adr_t *, parse_context_t *);
 106 extern void     attribute32_token(adr_t *, parse_context_t *);
 107 extern void     useofauth_token(adr_t *, parse_context_t *);
 108 extern void     user_token(adr_t *, parse_context_t *);
 109 
 110 /*
 111  * X windows tokens
 112  */
 113 
 114 extern void     xatom_token(adr_t *, parse_context_t *);
 115 extern void     xselect_token(adr_t *, parse_context_t *);
 116 extern void     xcolormap_token(adr_t *, parse_context_t *);
 117 extern void     xcursor_token(adr_t *, parse_context_t *);
 118 extern void     xfont_token(adr_t *, parse_context_t *);
 119 extern void     xgc_token(adr_t *, parse_context_t *);
 120 extern void     xpixmap_token(adr_t *, parse_context_t *);




  81 extern void     text_token(adr_t *, parse_context_t *);
  82 extern void     opaque_token(adr_t *, parse_context_t *);
  83 extern void     ip_addr_token();
  84 extern void     ip_token(adr_t *, parse_context_t *);
  85 extern void     iport_token(adr_t *, parse_context_t *);
  86 extern void     argument32_token();
  87 extern void     socket_token();
  88 extern void     sequence_token(adr_t *, parse_context_t *);
  89 
  90 /*
  91  * Modifier tokens
  92  */
  93 
  94 extern void     acl_token(adr_t *, parse_context_t *);
  95 extern void     attribute_token(adr_t *, parse_context_t *);
  96 extern void     s5_IPC_perm_token(adr_t *, parse_context_t *);
  97 extern void     group_token();
  98 extern void     label_token(adr_t *, parse_context_t *);
  99 extern void     privilege_token(adr_t *, parse_context_t *);
 100 extern void     useofpriv_token(adr_t *, parse_context_t *);
 101 extern void     secflags_token(adr_t *, parse_context_t *);
 102 extern void     zonename_token(adr_t *, parse_context_t *);
 103 extern void     liaison_token(adr_t *, parse_context_t *);
 104 extern void     newgroup_token(adr_t *, parse_context_t *);
 105 extern void     exec_args_token(adr_t *, parse_context_t *);
 106 extern void     exec_env_token(adr_t *, parse_context_t *);
 107 extern void     attribute32_token(adr_t *, parse_context_t *);
 108 extern void     useofauth_token(adr_t *, parse_context_t *);
 109 extern void     user_token(adr_t *, parse_context_t *);
 110 
 111 /*
 112  * X windows tokens
 113  */
 114 
 115 extern void     xatom_token(adr_t *, parse_context_t *);
 116 extern void     xselect_token(adr_t *, parse_context_t *);
 117 extern void     xcolormap_token(adr_t *, parse_context_t *);
 118 extern void     xcursor_token(adr_t *, parse_context_t *);
 119 extern void     xfont_token(adr_t *, parse_context_t *);
 120 extern void     xgc_token(adr_t *, parse_context_t *);
 121 extern void     xpixmap_token(adr_t *, parse_context_t *);