package info (click to toggle)
frama-c 20161101%2Bsilicon%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 42,324 kB
  • ctags: 35,695
  • sloc: ml: 200,142; ansic: 31,465; makefile: 2,334; sh: 1,643; lisp: 259; python: 85; asm: 26

Folder: oracle

d .. (parent)
- - rw-r--r-- 0 alias.err.oracle
- - rw-r--r-- 1,563 alias.res.oracle
- - rw-r--r-- 0 call.0.err.oracle
- - rw-r--r-- 1,779 call.0.res.oracle
- - rw-r--r-- 0 call.1.err.oracle
- - rw-r--r-- 2,240 call.1.res.oracle
- - rw-r--r-- 0 call.2.err.oracle
- - rw-r--r-- 2,197 call.2.res.oracle
- - rw-r--r-- 0 called.0.err.oracle
- - rw-r--r-- 1,227 called.0.res.oracle
- - rw-r--r-- 0 called.1.err.oracle
- - rw-r--r-- 1,068 called.1.res.oracle
- - rw-r--r-- 0 depend1.err.oracle
- - rw-r--r-- 1,538 depend1.res.oracle
- - rw-r--r-- 0 depend2.err.oracle
- - rw-r--r-- 1,908 depend2.res.oracle
- - rw-r--r-- 0 depend3.err.oracle
- - rw-r--r-- 2,056 depend3.res.oracle
- - rw-r--r-- 0 depend4.err.oracle
- - rw-r--r-- 2,674 depend4.res.oracle
- - rw-r--r-- 0 depend5.err.oracle
- - rw-r--r-- 4,059 depend5.res.oracle
- - rw-r--r-- 0 first.err.oracle
- - rw-r--r-- 1,451 first.res.oracle
- - rw-r--r-- 0 initial.err.oracle
- - rw-r--r-- 4,748 initial.res.oracle
- - rw-r--r-- 0 loop.err.oracle
- - rw-r--r-- 1,246 loop.res.oracle
- - rw-r--r-- 0 loop2.err.oracle
- - rw-r--r-- 8,226 loop2.res.oracle
- - rw-r--r-- 0 slicing.err.oracle
- - rw-r--r-- 2,244 slicing.res.oracle
- - rw-r--r-- 0 topbot.err.oracle
- - rw-r--r-- 1,668 topbot.res.oracle
- - rw-r--r-- 0 undef_function.err.oracle
- - rw-r--r-- 1,113 undef_function.res.oracle
- - rw-r--r-- 0 variadic.err.oracle
- - rw-r--r-- 6,794 variadic.res.oracle