ROOT
author chunhan
Sun, 09 Jun 2013 14:28:58 +0800 (2013-06-09)
changeset 23 25e55731ed01
parent 11 3e7617baa6a3
child 34 e7f850d1e08e
permissions -rw-r--r--
locale of tainting for seeds when same shm/inode bugs
session "dynamic" = "HOL" +
  options [document = false]
  theories
    List_Prefix
    My_list_prefix
    File_renaming
    Flask_type
    OS_type_def
    Flask


session "alive" = "dynamic" + 
  options [document = false]
  theories
    Static_type
    Static
    Valid_prop
    Init_prop
    Current_files_prop
    Current_sockets_prop
    Alive_prop
    Proc_fd_of_file_prop
    Finite_current
    New_obj_prop