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
 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
0 |
bts324.0.err.oracle
|
|
- |
rw-r--r-- |
3,219 |
bts324.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts324.1.err.oracle
|
|
- |
rw-r--r-- |
3,522 |
bts324.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts324.2.err.oracle
|
|
- |
rw-r--r-- |
3,506 |
bts324.2.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts324_bis.0.err.oracle
|
|
- |
rw-r--r-- |
5,836 |
bts324_bis.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts324_bis.1.err.oracle
|
|
- |
rw-r--r-- |
5,026 |
bts324_bis.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts324_bis.2.err.oracle
|
|
- |
rw-r--r-- |
5,746 |
bts324_bis.2.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts334.0.err.oracle
|
|
- |
rw-r--r-- |
5,982 |
bts334.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts334.1.err.oracle
|
|
- |
rw-r--r-- |
5,951 |
bts334.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts334.2.err.oracle
|
|
- |
rw-r--r-- |
7,371 |
bts334.2.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts927.0.err.oracle
|
|
- |
rw-r--r-- |
1,793 |
bts927.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts927.1.err.oracle
|
|
- |
rw-r--r-- |
1,754 |
bts927.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
calls.0.err.oracle
|
|
- |
rw-r--r-- |
2,202 |
calls.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
calls.1.err.oracle
|
|
- |
rw-r--r-- |
1,850 |
calls.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
dead_code.0.err.oracle
|
|
- |
rw-r--r-- |
1,438 |
dead_code.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
dead_code.1.err.oracle
|
|
- |
rw-r--r-- |
1,156 |
dead_code.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
glob_decls.0.err.oracle
|
|
- |
rw-r--r-- |
3,073 |
glob_decls.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
glob_decls.1.err.oracle
|
|
- |
rw-r--r-- |
2,463 |
glob_decls.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
glob_decls.2.err.oracle
|
|
- |
rw-r--r-- |
1,059 |
glob_decls.2.res.oracle
|
|
- |
rw-r--r-- |
0 |
intra.0.err.oracle
|
|
- |
rw-r--r-- |
7,395 |
intra.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
intra.1.err.oracle
|
|
- |
rw-r--r-- |
5,588 |
intra.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
intra.2.err.oracle
|
|
- |
rw-r--r-- |
3,314 |
intra.2.res.oracle
|
|
- |
rw-r--r-- |
0 |
intra.3.err.oracle
|
|
- |
rw-r--r-- |
1,859 |
intra.3.res.oracle
|
|
- |
rw-r--r-- |
0 |
intra.4.err.oracle
|
|
- |
rw-r--r-- |
1,965 |
intra.4.res.oracle
|
|
- |
rw-r--r-- |
0 |
issue_157.err.oracle
|
|
- |
rw-r--r-- |
2,453 |
issue_157.res.oracle
|
|
- |
rw-r--r-- |
0 |
params.0.err.oracle
|
|
- |
rw-r--r-- |
1,900 |
params.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
params.1.err.oracle
|
|
- |
rw-r--r-- |
1,538 |
params.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
se.err.oracle
|
|
- |
rw-r--r-- |
1,826 |
se.res.oracle
|
|
- |
rw-r--r-- |
0 |
top.0.err.oracle
|
|
- |
rw-r--r-- |
1,682 |
top.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
top.1.err.oracle
|
|
- |
rw-r--r-- |
5,844 |
top.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
top.2.err.oracle
|
|
- |
rw-r--r-- |
1,807 |
top.2.res.oracle
|
