This file is indexed.

/usr/share/ is in frama-c-base 20151002+magnesium+dfsg-1build1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/frama-c/wp/ergo/ root:root 0o755
/usr/share/frama-c/ root:root 0o755
/usr/share/frama-c/frama-c.rc text/plain root:root 0o644 2.3 KB
/usr/share/frama-c/builtin.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/ root:root 0o755
/usr/share/frama-c/libc/strings.h text/x-c root:root 0o644 2.1 KB
/usr/share/frama-c/libc/__fc_machdep.h text/x-c root:root 0o644 5.7 KB
/usr/share/frama-c/libc/__fc_define_file.h text/x-c root:root 0o644 2.1 KB
/usr/share/frama-c/libc/assert.h text/x-c root:root 0o644 1.9 KB
/usr/share/frama-c/libc/__fc_define_sigset_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_null.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_fpos_t.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/wchar.h text/x-c root:root 0o644 3.3 KB
/usr/share/frama-c/libc/limits.h text/x-c root:root 0o644 3.3 KB
/usr/share/frama-c/libc/string.h text/x-c root:root 0o644 11.4 KB
/usr/share/frama-c/libc/features.h text/plain root:root 0o644 3.3 KB
/usr/share/frama-c/libc/__fc_define_size_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_select.h text/x-c root:root 0o644 2.3 KB
/usr/share/frama-c/libc/math.h text/x-c root:root 0o644 11.4 KB
/usr/share/frama-c/libc/net/ root:root 0o755
/usr/share/frama-c/libc/net/if.h text/x-c root:root 0o644 6.7 KB
/usr/share/frama-c/libc/__fc_define_ssize_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/libintl.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/__fc_define_fd_set_t.h text/x-c root:root 0o644 2.0 KB
/usr/share/frama-c/libc/setjmp.h text/x-c root:root 0o644 2.3 KB
/usr/share/frama-c/libc/__fc_define_ino_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_dev_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/iconv.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/__fc_define_blksize_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_machdep_linux_gcc_shared.h text/plain root:root 0o644 7.2 KB
/usr/share/frama-c/libc/__fc_define_sockaddr.h text/x-c root:root 0o644 1.9 KB
/usr/share/frama-c/libc/glob.h text/x-c root:root 0o644 3.3 KB
/usr/share/frama-c/libc/__fc_define_pid_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_useconds_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_wint_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/linux/ root:root 0o755
/usr/share/frama-c/libc/linux/if_addr.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/linux/if_netlink.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/linux/rtnetlink.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/linux/fs.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/linux/netlink.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/fcntl.h text/x-c root:root 0o644 6.3 KB
/usr/share/frama-c/libc/stdbool.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/iso646.h text/plain root:root 0o644 1.8 KB
/usr/share/frama-c/libc/errno.h text/x-c root:root 0o644 5.5 KB
/usr/share/frama-c/libc/nl_types.h text/x-c root:root 0o644 1.9 KB
/usr/share/frama-c/libc/stdarg.h text/x-c root:root 0o644 1.9 KB
/usr/share/frama-c/libc/complex.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/byteswap.h text/plain root:root 0o644 5.3 KB
/usr/share/frama-c/libc/__fc_builtin_for_normalization.i text/plain root:root 0o644 2.5 KB
/usr/share/frama-c/libc/wctype.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/dlfcn.h text/x-c root:root 0o644 1.9 KB
/usr/share/frama-c/libc/netinet/ root:root 0o755
/usr/share/frama-c/libc/netinet/ip_icmp.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/netinet/in.h text/x-c root:root 0o644 11.3 KB
/usr/share/frama-c/libc/netinet/in_systm.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/netinet/ip.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/__fc_string_axiomatic.h text/x-c root:root 0o644 8.9 KB
/usr/share/frama-c/libc/__fc_define_intptr_t.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/tgmath.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/syslog.h text/x-c root:root 0o644 5.4 KB
/usr/share/frama-c/libc/__fc_define_id_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/signal.h text/x-c root:root 0o644 4.1 KB
/usr/share/frama-c/libc/uchar.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/stdlib.h text/x-c root:root 0o644 10.0 KB
/usr/share/frama-c/libc/locale.h text/x-c root:root 0o644 5.1 KB
/usr/share/frama-c/libc/grp.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/arpa/ root:root 0o755
/usr/share/frama-c/libc/arpa/inet.h text/x-c root:root 0o644 2.5 KB
/usr/share/frama-c/libc/fenv.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/endian.h text/x-c root:root 0o644 2.6 KB
/usr/share/frama-c/libc/__fc_define_timespec.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/regex.h text/x-c root:root 0o644 2.6 KB
/usr/share/frama-c/libc/inttypes.h text/x-c root:root 0o644 8.4 KB
/usr/share/frama-c/libc/__fc_define_time_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_sa_family_t.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/__fc_define_iovec.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/__fc_define_wchar_t.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/__fc_define_off_t.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/__fc_define_stat.h text/x-c root:root 0o644 2.6 KB
/usr/share/frama-c/libc/libgen.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/netdb.h text/x-c root:root 0o644 5.6 KB
/usr/share/frama-c/libc/__fc_define_uid_and_gid.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/termios.h text/x-c root:root 0o644 5.0 KB
/usr/share/frama-c/libc/stdint.h text/x-c root:root 0o644 4.0 KB
/usr/share/frama-c/libc/__fc_define_seek_macros.h text/plain root:root 0o644 1.9 KB
/usr/share/frama-c/libc/__fc_define_nlink_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/sys/ root:root 0o755
/usr/share/frama-c/libc/sys/param.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/sys/sysctl.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/sys/un.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/sys/resource.h text/x-c root:root 0o644 2.9 KB
/usr/share/frama-c/libc/sys/types.h text/x-c root:root 0o644 2.3 KB
/usr/share/frama-c/libc/sys/ioctl.h text/plain root:root 0o644 5.0 KB
/usr/share/frama-c/libc/sys/stat.h text/x-c root:root 0o644 2.0 KB
/usr/share/frama-c/libc/sys/wait.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/sys/uio.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/sys/time.h text/x-c root:root 0o644 3.3 KB
/usr/share/frama-c/libc/sys/select.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/sys/socket.h text/x-c root:root 0o644 10.9 KB
/usr/share/frama-c/libc/stdio.h text/x-c root:root 0o644 9.7 KB
/usr/share/frama-c/libc/float.h text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/libc/time.h text/x-c root:root 0o644 4.1 KB
/usr/share/frama-c/libc/dirent.h text/x-c root:root 0o644 4.5 KB
/usr/share/frama-c/libc/__fc_builtin.h text/x-c root:root 0o644 6.6 KB
/usr/share/frama-c/libc/pwd.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/ifaddrs.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/unistd.h text/x-c root:root 0o644 29.8 KB
/usr/share/frama-c/libc/ctype.h text/x-c root:root 0o644 2.5 KB
/usr/share/frama-c/libc/getopt.h text/x-c root:root 0o644 2.7 KB
/usr/share/frama-c/libc/__fc_define_blkcnt_t.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_suseconds_t.h text/x-c root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_mode_t.h text/x-c root:root 0o644 2.8 KB
/usr/share/frama-c/libc/stddef.h text/x-c root:root 0o644 1.9 KB
/usr/share/frama-c/libc.c text/x-c root:root 0o644 5.7 KB
/usr/share/frama-c/unmark.png image/png root:root 0o644 101 bytes
/usr/share/frama-c/configure.ac text/plain root:root 0o644 19.5 KB
/usr/share/frama-c/wp/ root:root 0o755
/usr/share/frama-c/wp/why3/ root:root 0o755
/usr/share/frama-c/wp/why3/Cint.why text/plain root:root 0o644 6.0 KB
/usr/share/frama-c/wp/why3/Qed.v text/plain root:root 0o644 7.7 KB
/usr/share/frama-c/wp/why3/Cmath.why text/plain root:root 0o644 2.1 KB
/usr/share/frama-c/wp/why3/Cfloat.v text/plain root:root 0o644 4.9 KB
/usr/share/frama-c/wp/why3/Memory.v text/plain root:root 0o644 9.9 KB
/usr/share/frama-c/wp/why3/Cint.v text/plain root:root 0o644 23.4 KB
/usr/share/frama-c/wp/why3/Memory.why text/plain root:root 0o644 6.0 KB
/usr/share/frama-c/wp/why3/Qed.why text/plain root:root 0o644 4.8 KB
/usr/share/frama-c/wp/why3/Cbits.v text/plain root:root 0o644 49.5 KB
/usr/share/frama-c/wp/why3/Bits.v text/plain root:root 0o644 41.5 KB
/usr/share/frama-c/wp/why3/coq.drv text/plain root:root 0o644 2.1 KB
/usr/share/frama-c/wp/why3/Cmath.v text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/wp/why3/Cbits.why text/plain root:root 0o644 15.2 KB
/usr/share/frama-c/wp/why3/Vset.why text/plain root:root 0o644 3.7 KB
/usr/share/frama-c/wp/why3/Vset.v text/plain root:root 0o644 5.1 KB
/usr/share/frama-c/wp/why3/Zbits.v text/plain root:root 0o644 68.6 KB
/usr/share/frama-c/wp/why3/Qedlib.v text/plain root:root 0o644 10.1 KB
/usr/share/frama-c/wp/why3/Cfloat.why text/plain root:root 0o644 5.0 KB
/usr/share/frama-c/wp/why3/why3.conf text/x-lisp root:root 0o644 325 bytes
/usr/share/frama-c/wp/ergo/int.Abs.mlw text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/wp/ergo/Cbits.mlw text/plain root:root 0o644 17.6 KB
/usr/share/frama-c/wp/coqwp/ root:root 0o755
/usr/share/frama-c/wp/ergo/real.RealInfix.mlw text/plain root:root 0o644 1.2 KB
/usr/share/frama-c/wp/ergo/int.MinMax.mlw text/plain root:root 0o644 2.1 KB
/usr/share/frama-c/wp/ergo/Qed.mlw text/plain root:root 0o644 6.1 KB
/usr/share/frama-c/wp/ergo/map.Map.mlw text/plain root:root 0o644 1.1 KB
/usr/share/frama-c/wp/ergo/bool.Bool.mlw text/plain root:root 0o644 1.5 KB
/usr/share/frama-c/wp/ergo/Memory.mlw text/plain root:root 0o644 7.2 KB
/usr/share/frama-c/wp/ergo/real.Real.mlw text/plain root:root 0o644 1.9 KB
/usr/share/frama-c/wp/ergo/int.ComputerDivision.mlw text/plain root:root 0o644 2.4 KB
/usr/share/frama-c/wp/ergo/real.MinMax.mlw text/plain root:root 0o644 2.2 KB
/usr/share/frama-c/wp/ergo/Cint.mlw text/plain root:root 0o644 6.9 KB
/usr/share/frama-c/wp/ergo/Cfloat.mlw text/plain root:root 0o644 5.4 KB
/usr/share/frama-c/wp/ergo/real.Square.mlw text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/wp/ergo/real.Abs.mlw text/plain root:root 0o644 2.0 KB
/usr/share/frama-c/wp/ergo/real.FromInt.mlw text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/wp/ergo/Cmath.mlw text/plain root:root 0o644 2.4 KB
/usr/share/frama-c/wp/ergo/int.Int.mlw text/plain root:root 0o644 1.2 KB
/usr/share/frama-c/wp/ergo/Vset.mlw text/plain root:root 0o644 5.4 KB
/usr/share/frama-c/wp/coqwp/int/ root:root 0o755
/usr/share/frama-c/wp/coqwp/int/Abs.v text/plain root:root 0o644 1.5 KB
/usr/share/frama-c/wp/coqwp/int/ComputerDivision.v text/plain root:root 0o644 4.6 KB
/usr/share/frama-c/wp/coqwp/int/MinMax.v text/plain root:root 0o644 2.4 KB
/usr/share/frama-c/wp/coqwp/int/Int.v text/plain root:root 0o644 3.7 KB
/usr/share/frama-c/wp/coqwp/real/ root:root 0o755
/usr/share/frama-c/wp/coqwp/real/FromInt.v text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/wp/coqwp/real/Abs.v text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/wp/coqwp/real/RealInfix.v text/plain root:root 0o644 863 bytes
/usr/share/frama-c/wp/coqwp/real/Square.v text/plain root:root 0o644 1.9 KB
/usr/share/frama-c/wp/coqwp/real/Real.v text/plain root:root 0o644 5.1 KB
/usr/share/frama-c/wp/coqwp/real/MinMax.v text/plain root:root 0o644 3.4 KB
/usr/share/frama-c/wp/coqwp/Qed.v text/plain root:root 0o644 7.7 KB
/usr/share/frama-c/wp/coqwp/map/ root:root 0o755
/usr/share/frama-c/wp/coqwp/map/Map.v text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/wp/coqwp/Cfloat.v text/plain root:root 0o644 4.9 KB
/usr/share/frama-c/wp/coqwp/Memory.v text/plain root:root 0o644 9.9 KB
/usr/share/frama-c/wp/coqwp/Cint.v text/plain root:root 0o644 23.4 KB
/usr/share/frama-c/wp/coqwp/Cbits.v text/plain root:root 0o644 49.5 KB
/usr/share/frama-c/wp/coqwp/Bits.v text/plain root:root 0o644 41.5 KB
/usr/share/frama-c/wp/coqwp/Cmath.v text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/wp/coqwp/BuiltIn.v text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/wp/coqwp/bool/ root:root 0o755
/usr/share/frama-c/wp/coqwp/bool/Bool.v text/plain root:root 0o644 1.8 KB
/usr/share/frama-c/wp/coqwp/Vset.v text/plain root:root 0o644 5.1 KB
/usr/share/frama-c/wp/coqwp/Zbits.v text/plain root:root 0o644 68.6 KB
/usr/share/frama-c/wp/coqwp/Qedlib.v text/plain root:root 0o644 10.1 KB
/usr/share/frama-c/wp/wp.driver text/plain root:root 0o644 4.8 KB
/usr/share/frama-c/Makefile.dynamic text/plain root:root 0o644 9.7 KB
/usr/share/frama-c/frama-c.ico image/x-icon root:root 0o644 88.2 KB
/usr/share/frama-c/theme/ root:root 0o755
/usr/share/frama-c/theme/colorblind/ root:root 0o755
/usr/share/frama-c/theme/colorblind/switch-on.png image/png root:root 0o644 3.2 KB
/usr/share/frama-c/theme/colorblind/unknown_but_dead.png image/png root:root 0o644 128 bytes
/usr/share/frama-c/theme/colorblind/valid_under_hyp.png image/png root:root 0o644 127 bytes
/usr/share/frama-c/theme/colorblind/never_tried.png image/png root:root 0o644 92 bytes
/usr/share/frama-c/theme/colorblind/invalid_under_hyp.png image/png root:root 0o644 121 bytes
/usr/share/frama-c/theme/colorblind/surely_valid.png image/png root:root 0o644 125 bytes
/usr/share/frama-c/theme/colorblind/valid_but_dead.png image/png root:root 0o644 131 bytes
/usr/share/frama-c/theme/colorblind/considered_valid.png image/png root:root 0o644 132 bytes
/usr/share/frama-c/theme/colorblind/inconsistent.png image/png root:root 0o644 84 bytes
/usr/share/frama-c/theme/colorblind/switch-off.png image/png root:root 0o644 3.3 KB
/usr/share/frama-c/theme/colorblind/invalid_but_dead.png image/png root:root 0o644 128 bytes
/usr/share/frama-c/theme/colorblind/unknown.png image/png root:root 0o644 125 bytes
/usr/share/frama-c/theme/colorblind/surely_invalid.png image/png root:root 0o644 127 bytes
/usr/share/frama-c/theme/default/ root:root 0o755
/usr/share/frama-c/theme/default/switch-on.png image/png root:root 0o644 3.2 KB
/usr/share/frama-c/theme/default/unknown_but_dead.png image/png root:root 0o644 699 bytes
/usr/share/frama-c/theme/default/valid_under_hyp.png image/png root:root 0o644 753 bytes
/usr/share/frama-c/theme/default/never_tried.png image/png root:root 0o644 634 bytes
/usr/share/frama-c/theme/default/invalid_under_hyp.png image/png root:root 0o644 714 bytes
/usr/share/frama-c/theme/default/surely_valid.png image/png root:root 0o644 681 bytes
/usr/share/frama-c/theme/default/valid_but_dead.png image/png root:root 0o644 696 bytes
/usr/share/frama-c/theme/default/considered_valid.png image/png root:root 0o644 718 bytes
/usr/share/frama-c/theme/default/inconsistent.png image/png root:root 0o644 1.2 KB
/usr/share/frama-c/theme/default/switch-off.png image/png root:root 0o644 3.3 KB
/usr/share/frama-c/theme/default/invalid_but_dead.png image/png root:root 0o644 686 bytes
/usr/share/frama-c/theme/default/unknown.png image/png root:root 0o644 700 bytes
/usr/share/frama-c/theme/default/surely_invalid.png image/png root:root 0o644 651 bytes
/usr/share/frama-c/Makefile.dynamic_config text/plain root:root 0o644 2.0 KB
/usr/share/frama-c/Makefile.kernel text/plain root:root 0o644 39.9 KB
/usr/share/frama-c/Makefile.config text/plain root:root 0o644 5.7 KB
/usr/share/frama-c/doc/ root:root 0o755
/usr/share/frama-c/doc/code/ root:root 0o755
/usr/share/frama-c/doc/code/toc_tail.htm text/html root:root 0o644 1.8 KB
/usr/share/frama-c/doc/code/toc_head.htm text/html root:root 0o644 2.0 KB
/usr/share/frama-c/doc/code/style.css text/x-asm root:root 0o644 5.4 KB
/usr/share/frama-c/doc/code/intro_plugin_default.txt text/plain root:root 0o644 2.2 KB
/usr/share/frama-c/doc/code/docgen_ge400.ml text/x-ruby root:root 0o644 14.4 KB
/usr/share/frama-c/doc/code/intro_kernel_plugin.txt text/plain root:root 0o644 2.1 KB
/usr/share/frama-c/doc/code/intro_plugin.txt text/plain root:root 0o644 2.3 KB
/usr/share/frama-c/doc/code/docgen_lt400.ml text/x-c++ root:root 0o644 13.9 KB
/usr/share/frama-c/machdep.c text/x-c root:root 0o644 10.8 KB
/usr/share/frama-c/Makefile.plugin text/plain root:root 0o644 33.8 KB
/usr/share/frama-c/Makefile.common text/plain root:root 0o644 10.0 KB
/usr/share/frama-c/frama-c.gif image/gif root:root 0o644 6.8 KB
/usr/share/frama-c/Makefile.generic text/plain root:root 0o644 3.7 KB
/usr/share/frama-c/acsl.el text/x-lisp root:root 0o644 7.4 KB
/usr/share/doc/ root:root 0o755
/usr/share/doc/frama-c-base/ root:root 0o755
/usr/share/doc/frama-c-base/copyright text/plain root:root 0o644 35.5 KB
/usr/share/doc/frama-c-base/changelog.Debian.gz application/gzip root:root 0o644 1.6 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/frama-c.1.gz application/gzip root:root 0o644 5.6 KB
/usr/share/man/man1/frama-c.byte.1.gz root:root 0o777