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: rte

d .. (parent)
d d rwxr-xr-x 37 compute_annot
d d rwxr-xr-x 38 my_annot_proxy
d d rwxr-xr-x 37 my_annotation
d d rwxr-xr-x 4,096 oracle
d d rwxr-xr-x 29 rte_api
- - rw-r--r-- 565 addsub.c
- - rw-r--r-- 521 addsub_typedef.c
- - rw-r--r-- 428 addsub_unsigned.c
- - rw-r--r-- 448 addsub_unsigned_typedef.c
- - rw-r--r-- 658 array_index.c
- - rw-r--r-- 706 assign.c
- - rw-r--r-- 355 assign2.c
- - rw-r--r-- 242 assign3.c
- - rw-r--r-- 378 assign4.c
- - rw-r--r-- 638 assign5.c
- - rw-r--r-- 267 assign6.c
- - rw-r--r-- 621 assign7.c
- - rw-r--r-- 157 bts0567.c
- - rw-r--r-- 366 bts0576.c
- - rw-r--r-- 172 bts0580.i
- - rw-r--r-- 462 bts0580_2.c
- - rw-r--r-- 232 bts1052.c
- - rw-r--r-- 188 bts621.c
- - rw-r--r-- 560 castoncall.c
- - rw-r--r-- 812 divmod.c
- - rw-r--r-- 859 divmod_typedef.c
- - rw-r--r-- 531 downcast.c
- - rw-r--r-- 290 float_to_int.c
- - rw-r--r-- 329 fptr_assert.c
- - rw-r--r-- 299 malloc.c
- - rw-r--r-- 285 memaccess.c
- - rw-r--r-- 662 minus.c
- - rw-r--r-- 453 mul.c
- - rw-r--r-- 304 noresult.c
- - rw-r--r-- 618 postcond.c
- - rw-r--r-- 407 postcond2.c
- - rw-r--r-- 2,596 precond.c
- - rw-r--r-- 443 precond2.c
- - rw-r--r-- 173 reqlabl.c
- - rw-r--r-- 248 reqlabl2.c
- - rw-r--r-- 140 s64.c
- - rw-r--r-- 653 shift.c
- - rw-r--r-- 210 shift_machdep.c
- - rw-r--r-- 294 shift_unsigned.c
- - rw-r--r-- 211 sizeof.c
- - rw-r--r-- 377 tab.c
- - rw-r--r-- 461 threefunc.c
- - rw-r--r-- 412 twofunc.c
- - rw-r--r-- 451 twofunc3.c
- - rw-r--r-- 227 u64.i
- - rw-r--r-- 190 unspecified_sequence.i
- - rw-r--r-- 1,413 valid.c
- - rw-r--r-- 255 value_rte.c