package info (click to toggle)
cbmc 5.10-5
  • links: PTS
  • area: main
  • in suites: buster
  • size: 73,416 kB
  • sloc: cpp: 264,330; ansic: 38,268; java: 19,025; python: 4,539; yacc: 4,275; makefile: 2,547; lex: 2,394; sh: 932; perl: 525; xml: 289; pascal: 169

Folder: goto-analyzer

d .. (parent)
d d rwxr-xr-x 47 approx-array-variable-const-fp
d d rwxr-xr-x 47 approx-const-fp-array-variable-cast-const-fp
d d rwxr-xr-x 47 approx-const-fp-array-variable-const-fp
d d rwxr-xr-x 47 approx-const-fp-array-variable-const-fp-with-null
d d rwxr-xr-x 35 approx-const-fp-array-variable-const-pointer-const-struct-non-const-fp
d d rwxr-xr-x 35 approx-const-fp-array-variable-const-struct-non-const-fp
d d rwxr-xr-x 47 approx-const-fp-array-variable-invalid-cast-const-fp
d d rwxr-xr-x 47 approx-const-fp-array-variable-struct-const-fp-with-zero
d d rwxr-xr-x 47 constant_propagation_01
d d rwxr-xr-x 47 constant_propagation_02
d d rwxr-xr-x 35 constant_propagation_03
d d rwxr-xr-x 35 constant_propagation_04
d d rwxr-xr-x 47 constant_propagation_05
d d rwxr-xr-x 47 constant_propagation_06
d d rwxr-xr-x 47 constant_propagation_07
d d rwxr-xr-x 47 constant_propagation_08
d d rwxr-xr-x 35 constant_propagation_09
d d rwxr-xr-x 35 constant_propagation_10
d d rwxr-xr-x 47 constant_propagation_11
d d rwxr-xr-x 47 constant_propagation_12
d d rwxr-xr-x 47 constant_propagation_13
d d rwxr-xr-x 47 constant_propagation_14
d d rwxr-xr-x 35 constant_propagation_15
d d rwxr-xr-x 35 constant_propagation_16
d d rwxr-xr-x 47 constant_propagation_17
d d rwxr-xr-x 47 constant_propagation_floating_point_div
d d rwxr-xr-x 47 constant_propagation_nondet_rounding_mode
d d rwxr-xr-x 47 constant_propagation_rounding_mode
d d rwxr-xr-x 35 dependence-graph10
d d rwxr-xr-x 35 dependence-graph11
d d rwxr-xr-x 47 dependence-graph12
d d rwxr-xr-x 47 dependence-graph14
d d rwxr-xr-x 47 dependence-graph4
d d rwxr-xr-x 83 dependence-graph6
d d rwxr-xr-x 35 dependence-graph7
d d rwxr-xr-x 35 dependence-graph8
d d rwxr-xr-x 47 dependence-graph9
d d rwxr-xr-x 47 intervals_01
d d rwxr-xr-x 47 intervals_02
d d rwxr-xr-x 47 intervals_03
d d rwxr-xr-x 35 intervals_04
d d rwxr-xr-x 35 intervals_05
d d rwxr-xr-x 47 intervals_06
d d rwxr-xr-x 47 intervals_07
d d rwxr-xr-x 47 intervals_08
d d rwxr-xr-x 47 intervals_09
d d rwxr-xr-x 35 intervals_10
d d rwxr-xr-x 35 intervals_11
d d rwxr-xr-x 47 intervals_12
d d rwxr-xr-x 47 intervals_13
d d rwxr-xr-x 47 intervals_14
d d rwxr-xr-x 47 intervals_15
d d rwxr-xr-x 35 intervals_16
d d rwxr-xr-x 35 no-match-array-literal-const-fp-null
d d rwxr-xr-x 47 no-match-const-array-const-pointer-const-fp-const-lost
d d rwxr-xr-x 47 no-match-const-fp-array-literal-const-fp-run-time
d d rwxr-xr-x 47 no-match-const-fp-array-literal-non-const-fp
d d rwxr-xr-x 47 no-match-const-fp-array-literal-non-const-fp-run-time
d d rwxr-xr-x 35 no-match-const-fp-array-non-const-fp
d d rwxr-xr-x 35 no-match-const-fp-binary-op-const-lost
d d rwxr-xr-x 47 no-match-const-fp-const-array-index-lost
d d rwxr-xr-x 47 no-match-const-fp-const-array-lost
d d rwxr-xr-x 47 no-match-const-fp-const-cast
d d rwxr-xr-x 47 no-match-const-fp-const-fp-null
d d rwxr-xr-x 35 no-match-const-fp-const-lost
d d rwxr-xr-x 35 no-match-const-fp-const-pointer-const-struct-const-fp-null
d d rwxr-xr-x 47 no-match-const-fp-const-pointer-non-const-struct-const-fp
d d rwxr-xr-x 47 no-match-const-fp-dereference-const-pointer-null
d d rwxr-xr-x 47 no-match-const-fp-dereference-non-const-pointer-const-fp
d d rwxr-xr-x 47 no-match-const-fp-dynamic-array-non-const-fp
d d rwxr-xr-x 35 no-match-const-fp-non-const-fp-direct-assignment
d d rwxr-xr-x 35 no-match-const-fp-non-const-pointer-non-const-struct-const-fp
d d rwxr-xr-x 47 no-match-const-fp-non-const-struct-const-fp
d d rwxr-xr-x 47 no-match-const-fp-non-const-struct-non-const-fp
d d rwxr-xr-x 47 no-match-const-fp-null
d d rwxr-xr-x 47 no-match-const-fp-ternerary-op-const-lost
d d rwxr-xr-x 35 no-match-const-pointer-const-struct-const-fp-const-cast
d d rwxr-xr-x 35 no-match-const-pointer-non-const-struct-const-fp
d d rwxr-xr-x 47 no-match-const-struct-non-const-fp-null
d d rwxr-xr-x 47 no-match-dereference-const-pointer-const-array-literal-pointer-const-fp
d d rwxr-xr-x 47 no-match-dereference-non-const-struct-const-pointer-const-fp
d d rwxr-xr-x 47 no-match-dereference-non-const-struct-non-const-pointer-const-fp
d d rwxr-xr-x 35 no-match-non-const-fp
d d rwxr-xr-x 35 no-match-non-const-fp-const-fp-direct-assignment
d d rwxr-xr-x 47 no-match-parameter-const-fp
d d rwxr-xr-x 47 no-match-parameter-fp
d d rwxr-xr-x 47 no-match-pointer-const-struct-array-literal-non-const-fp
d d rwxr-xr-x 47 precise-array-calculation-const-fp
d d rwxr-xr-x 35 precise-array-literal-const-fp
d d rwxr-xr-x 35 precise-const-fp
d d rwxr-xr-x 35 precise-const-fp-array-const-variable-const-fp
d d rwxr-xr-x 47 precise-const-fp-array-literal-const-fp
d d rwxr-xr-x 47 precise-const-fp-array-literal-const-fp-run-time
d d rwxr-xr-x 47 precise-const-fp-array-literal-const-struct-non-const-fp
d d rwxr-xr-x 47 precise-const-fp-array-variable-const-pointer-const-struct-non-const-fp
d d rwxr-xr-x 35 precise-const-fp-const-fp
d d rwxr-xr-x 35 precise-const-fp-const-struct-const-array-literal-fp
d d rwxr-xr-x 47 precise-const-fp-const-struct-non-const-array-literal-fp
d d rwxr-xr-x 47 precise-const-fp-const-struct-non-const-fp
d d rwxr-xr-x 47 precise-const-fp-dereference-const-pointer-const-fp
d d rwxr-xr-x 47 precise-const-fp-supurious-const-loss
d d rwxr-xr-x 35 precise-const-pointer-const-struct-fp
d d rwxr-xr-x 47 precise-const-struct-non-const-fp
d d rwxr-xr-x 47 precise-derefence
d d rwxr-xr-x 47 precise-derefence-const-pointer-const-fp
d d rwxr-xr-x 47 precise-dereference-address-pointer-const-fp
d d rwxr-xr-x 35 precise-dereference-const-struct-const-pointer-const-fp
d d rwxr-xr-x 35 precise-dereference-const-struct-const-pointer-const-struct-const-fp
d d rwxr-xr-x 47 precise-dereference-const-struct-pointer-const-fp
d d rwxr-xr-x 30 reachable-functions-basic-json
d d rwxr-xr-x 30 reachable-functions-basic-text
d d rwxr-xr-x 30 reachable-functions-domain-text
d d rwxr-xr-x 35 regenerate-entry-function
d d rwxr-xr-x 35 sensitivity-function-call-recursive
d d rwxr-xr-x 4,096 sensitivity-test-common-files
d d rwxr-xr-x 63 sensitivity-test-constants-array
d d rwxr-xr-x 94 sensitivity-test-constants-array-of-constants-array
d d rwxr-xr-x 96 sensitivity-test-constants-array-of-constants-pointer
d d rwxr-xr-x 96 sensitivity-test-constants-array-of-two-value-pointer
d d rwxr-xr-x 62 sensitivity-test-constants-char
d d rwxr-xr-x 75 sensitivity-test-constants-float
d d rwxr-xr-x 73 sensitivity-test-constants-int
d d rwxr-xr-x 77 sensitivity-test-constants-pointer
d d rwxr-xr-x 96 sensitivity-test-constants-pointer-to-constants-array
d d rwxr-xr-x 98 sensitivity-test-constants-pointer-to-constants-pointer
d d rwxr-xr-x 85 sensitivity-test-constants-pointer-to-constants-struct
d d rwxr-xr-x 84 sensitivity-test-constants-pointer-to-two-value-array
d d rwxr-xr-x 97 sensitivity-test-constants-pointer-to-two-value-struct
d d rwxr-xr-x 76 sensitivity-test-constants-struct
d d rwxr-xr-x 95 sensitivity-test-constants-struct-of-constants-array
d d rwxr-xr-x 97 sensitivity-test-constants-struct-of-constants-pointer
d d rwxr-xr-x 84 sensitivity-test-constants-struct-of-constants-struct
d d rwxr-xr-x 83 sensitivity-test-constants-struct-of-two-value-array
d d rwxr-xr-x 97 sensitivity-test-constants-struct-of-two-value-pointer
d d rwxr-xr-x 63 sensitivity-test-two-value-array
d d rwxr-xr-x 94 sensitivity-test-two-value-array-of-two-value-array
d d rwxr-xr-x 96 sensitivity-test-two-value-array-of-two-value-pointer
d d rwxr-xr-x 77 sensitivity-test-two-value-pointer
d d rwxr-xr-x 84 sensitivity-test-two-value-pointer-to-two-value-array
d d rwxr-xr-x 98 sensitivity-test-two-value-pointer-to-two-value-pointer
d d rwxr-xr-x 97 sensitivity-test-two-value-pointer-to-two-value-struct
d d rwxr-xr-x 76 sensitivity-test-two-value-struct
d d rwxr-xr-x 95 sensitivity-test-two-value-struct-of-two-value-array
d d rwxr-xr-x 85 sensitivity-test-two-value-struct-of-two-value-pointer
d d rwxr-xr-x 84 sensitivity-test-two-value-struct-of-two-value-struct
d d rwxr-xr-x 30 unreachable-functions-basic-json
d d rwxr-xr-x 30 unreachable-functions-basic-text
d d rwxr-xr-x 30 unreachable-functions-domain-text
d d rwxr-xr-x 22 unreachable-instructions-basic-json
d d rwxr-xr-x 42 unreachable-instructions-basic-text
d d rwxr-xr-x 30 unreachable-instructions-domain-text
- - rw-r--r-- 56 CMakeLists.txt
- - rw-r--r-- 392 Makefile