package info (click to toggle)
cbmc 6.6.0-4
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 153,852 kB
  • sloc: cpp: 386,459; ansic: 114,466; java: 28,405; python: 6,003; yacc: 4,552; makefile: 4,041; lex: 2,487; xml: 2,388; sh: 2,050; perl: 557; pascal: 184; javascript: 163; ada: 36

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 47 approx-const-fp-array-variable-const-pointer-const-struct-non-const-fp
d d rwxr-xr-x 47 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 51 bitvector-analysis
d d rwxr-xr-x 4,096 branching-ge
d d rwxr-xr-x 4,096 branching-gt
d d rwxr-xr-x 4,096 branching-le
d d rwxr-xr-x 4,096 branching-lt
d d rwxr-xr-x 84 branching_history_01
d d rwxr-xr-x 47 command_line_01
d d rwxr-xr-x 47 command_line_02
d d rwxr-xr-x 47 constant_assertions_01
d d rwxr-xr-x 47 constant_assertions_02
d d rwxr-xr-x 71 constant_propagation_01
d d rwxr-xr-x 71 constant_propagation_02
d d rwxr-xr-x 71 constant_propagation_03
d d rwxr-xr-x 71 constant_propagation_04
d d rwxr-xr-x 71 constant_propagation_05
d d rwxr-xr-x 71 constant_propagation_06
d d rwxr-xr-x 71 constant_propagation_07
d d rwxr-xr-x 71 constant_propagation_08
d d rwxr-xr-x 71 constant_propagation_09
d d rwxr-xr-x 71 constant_propagation_10
d d rwxr-xr-x 71 constant_propagation_11
d d rwxr-xr-x 71 constant_propagation_12
d d rwxr-xr-x 71 constant_propagation_13
d d rwxr-xr-x 71 constant_propagation_14
d d rwxr-xr-x 71 constant_propagation_15
d d rwxr-xr-x 71 constant_propagation_16
d d rwxr-xr-x 71 constant_propagation_17
d d rwxr-xr-x 71 constant_propagation_18
d d rwxr-xr-x 71 constant_propagation_19
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 47 constant_propagation_two_way_1
d d rwxr-xr-x 47 context_sensitivity_01
d d rwxr-xr-x 47 context_sensitivity_02
d d rwxr-xr-x 47 context_sensitivity_03
d d rwxr-xr-x 47 context_sensitivity_04
d d rwxr-xr-x 47 context_sensitivity_05
d d rwxr-xr-x 27 demo
d d rwxr-xr-x 47 dependence-graph10
d d rwxr-xr-x 47 dependence-graph11
d d rwxr-xr-x 47 dependence-graph12
d d rwxr-xr-x 47 dependence-graph13
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 47 dependence-graph7
d d rwxr-xr-x 47 dependence-graph8
d d rwxr-xr-x 47 dependence-graph9
d d rwxr-xr-x 47 flow-insensitive-function-call-recursive
d d rwxr-xr-x 47 flow-insensitive-if
d d rwxr-xr-x 47 flow-sensitive-function-call-recursive
d d rwxr-xr-x 47 flow-sensitive-if
d d rwxr-xr-x 143 heap-allocation
d d rwxr-xr-x 47 heap-allocation-nondet-1
d d rwxr-xr-x 47 heap-allocation-nondet-2
d d rwxr-xr-x 47 heap-allocation-nondet-3
d d rwxr-xr-x 47 heap-allocation-nondet-4
d d rwxr-xr-x 47 heap-allocation-nondet-5
d d rwxr-xr-x 47 heap-allocation-nondet-6
d d rwxr-xr-x 143 heap-allocation-write
d d rwxr-xr-x 143 heap-allocation-write-2
d d rwxr-xr-x 66 history-output
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 47 intervals_04
d d rwxr-xr-x 47 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 47 intervals_10
d d rwxr-xr-x 47 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 47 intervals_16
d d rwxr-xr-x 47 intervals_17
d d rwxr-xr-x 47 intervals_simple-loops
d d rwxr-xr-x 47 label
d d rwxr-xr-x 91 liveness
d d rwxr-xr-x 91 liveness-array
d d rwxr-xr-x 4,096 liveness-function-call
d d rwxr-xr-x 91 liveness-loop
d d rwxr-xr-x 91 liveness-pointer-write-through
d d rwxr-xr-x 91 liveness-struct
d d rwxr-xr-x 47 local_control_flow_history_01
d d rwxr-xr-x 47 local_control_flow_history_02
d d rwxr-xr-x 47 local_control_flow_history_03
d d rwxr-xr-x 47 local_control_flow_history_04
d d rwxr-xr-x 47 local_control_flow_history_05
d d rwxr-xr-x 47 local_control_flow_history_06
d d rwxr-xr-x 4,096 logging
d d rwxr-xr-x 118 loop-termination-eq
d d rwxr-xr-x 4,096 loop-termination-ne
d d rwxr-xr-x 80 minimal-reproducer-for-struct-problem
d d rwxr-xr-x 47 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 47 no-match-const-fp-array-non-const-fp
d d rwxr-xr-x 47 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 47 no-match-const-fp-const-lost
d d rwxr-xr-x 47 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 47 no-match-const-fp-non-const-fp-direct-assignment
d d rwxr-xr-x 47 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 47 no-match-const-pointer-const-struct-const-fp-const-cast
d d rwxr-xr-x 47 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 47 no-match-non-const-fp
d d rwxr-xr-x 47 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 118 nondet-bool
d d rwxr-xr-x 47 pointer-arithmetic-simple
d d rwxr-xr-x 47 pointer-comparison
d d rwxr-xr-x 118 pointer-comparison-equality-array-of-struct-members
d d rwxr-xr-x 118 pointer-comparison-equality-different-target
d d rwxr-xr-x 118 pointer-comparison-equality-same-target
d d rwxr-xr-x 118 pointer-comparison-equality-same-target-2
d d rwxr-xr-x 118 pointer-comparison-equality-struct-members
d d rwxr-xr-x 118 pointer-comparison-inequality-different-target
d d rwxr-xr-x 118 pointer-comparison-inequality-same-target
d d rwxr-xr-x 118 pointer-comparison-same-target-non-det
d d rwxr-xr-x 119 pointer-dereference
d d rwxr-xr-x 149 pointer-dereference-indeterminate-values
d d rwxr-xr-x 57 pointer-difference-after-decrement
d d rwxr-xr-x 57 pointer-difference-after-decrements
d d rwxr-xr-x 57 pointer-difference-after-increment
d d rwxr-xr-x 57 pointer-difference-after-increments
d d rwxr-xr-x 118 pointer-difference-simple
d d rwxr-xr-x 118 pointer-differences
d d rwxr-xr-x 4,096 pointer-differences-non-det
d d rwxr-xr-x 119 pointer-write-through
d d rwxr-xr-x 149 pointer-write-through-indeterminate
d d rwxr-xr-x 47 precise-array-calculation-const-fp
d d rwxr-xr-x 47 precise-array-literal-const-fp
d d rwxr-xr-x 47 precise-const-fp
d d rwxr-xr-x 47 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 47 precise-const-fp-const-fp
d d rwxr-xr-x 47 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 47 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 47 precise-dereference-const-struct-const-pointer-const-fp
d d rwxr-xr-x 47 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 118 pruning-eq
d d rwxr-xr-x 118 pruning-eq-nondet
d d rwxr-xr-x 118 pruning-gt
d d rwxr-xr-x 118 pruning-lt
d d rwxr-xr-x 118 pruning-lt-nondet
d d rwxr-xr-x 118 pruning-lt-nondet-2
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 47 regenerate-entry-function
d d rwxr-xr-x 47 sensitivity-function-call-array
d d rwxr-xr-x 47 sensitivity-function-call-opaque
d d rwxr-xr-x 47 sensitivity-function-call-pointer
d d rwxr-xr-x 47 sensitivity-function-call-primitive
d d rwxr-xr-x 47 sensitivity-function-call-recursive
d d rwxr-xr-x 47 sensitivity-function-call-varargs
d d rwxr-xr-x 72 sensitivity-last-written-locations-arrays
d d rwxr-xr-x 74 sensitivity-last-written-locations-pointers
d d rwxr-xr-x 73 sensitivity-last-written-locations-structs
d d rwxr-xr-x 75 sensitivity-last-written-locations-variables
d d rwxr-xr-x 4,096 sensitivity-test-common-files
d d rwxr-xr-x 75 sensitivity-test-constants-array
d d rwxr-xr-x 47 sensitivity-test-constants-array-loop
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 74 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 97 sensitivity-test-constants-pointer-to-constants-struct
d d rwxr-xr-x 96 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 96 sensitivity-test-constants-struct-of-constants-struct
d d rwxr-xr-x 95 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 66 sensitivity-test-data-dependency-context
d d rwxr-xr-x 64 sensitivity-test-struct-initialization
d d rwxr-xr-x 75 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 96 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 97 sensitivity-test-two-value-struct-of-two-value-pointer
d d rwxr-xr-x 96 sensitivity-test-two-value-struct-of-two-value-struct
d d rwxr-xr-x 47 show-on-source
d d rwxr-xr-x 48 simple-union-access
d d rwxr-xr-x 118 ternary-operator
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 30 unreachable-instructions-basic-json
d d rwxr-xr-x 54 unreachable-instructions-basic-text
d d rwxr-xr-x 30 unreachable-instructions-domain-text
d d rwxr-xr-x 47 unreachable_assertions_01
d d rwxr-xr-x 47 value-set-addition-01
d d rwxr-xr-x 47 value-set-addition-02
d d rwxr-xr-x 47 value-set-addition-03
d d rwxr-xr-x 47 value-set-addition-04
d d rwxr-xr-x 47 value-set-addition-05
d d rwxr-xr-x 47 value-set-addition-06
d d rwxr-xr-x 47 value-set-addition-07
d d rwxr-xr-x 47 value-set-addition-08
d d rwxr-xr-x 47 value-set-array-constant-access
d d rwxr-xr-x 47 value-set-compact-01
d d rwxr-xr-x 47 value-set-compact-02
d d rwxr-xr-x 47 value-set-compact-03
d d rwxr-xr-x 47 value-set-function-pointers-arrays
d d rwxr-xr-x 47 value-set-function-pointers-incremented-01
d d rwxr-xr-x 47 value-set-function-pointers-incremented-02
d d rwxr-xr-x 47 value-set-function-pointers-minimal
d d rwxr-xr-x 47 value-set-function-pointers-simple
d d rwxr-xr-x 47 value-set-function-pointers-structs
d d rwxr-xr-x 79 value-set-simple
d d rwxr-xr-x 79 value-set-structs
d d rwxr-xr-x 47 value-set-unary-minus-01
d d rwxr-xr-x 47 value-set-unary-minus-02
d d rwxr-xr-x 47 value-set-unary-not-01
d d rwxr-xr-x 47 value-set-unary-not-02
d d rwxr-xr-x 47 variable-sensitivity-annihiliator-test
d d rwxr-xr-x 4,096 variable-sensitivity-array-access
d d rwxr-xr-x 4,096 variable-sensitivity-array-nondet-access
d d rwxr-xr-x 47 variable-sensitivity-array-value-set-access-02
d d rwxr-xr-x 118 variable-sensitivity-asserts-01
d d rwxr-xr-x 118 variable-sensitivity-asserts-02
d d rwxr-xr-x 118 variable-sensitivity-asserts-03
d d rwxr-xr-x 118 variable-sensitivity-asserts-04
d d rwxr-xr-x 118 variable-sensitivity-asserts-05
d d rwxr-xr-x 118 variable-sensitivity-asserts-06
d d rwxr-xr-x 47 variable-sensitivity-assign-aware-merge-array
d d rwxr-xr-x 47 variable-sensitivity-assign-aware-merge-goto-after-function
d d rwxr-xr-x 47 variable-sensitivity-assign-aware-merge-non-terminating-function
d d rwxr-xr-x 47 variable-sensitivity-assign-aware-merge-simple
d d rwxr-xr-x 47 variable-sensitivity-assign-aware-merge-simple_2
d d rwxr-xr-x 47 variable-sensitivity-assign-aware-merge-simple_3
d d rwxr-xr-x 47 variable-sensitivity-assign-aware-merge-struct
d d rwxr-xr-x 47 variable-sensitivity-bit-field-constants
d d rwxr-xr-x 47 variable-sensitivity-bit-field-intervals
d d rwxr-xr-x 47 variable-sensitivity-bug-01
d d rwxr-xr-x 47 variable-sensitivity-bug-02
d d rwxr-xr-x 47 variable-sensitivity-bug-03
d d rwxr-xr-x 83 variable-sensitivity-dependence-graph
d d rwxr-xr-x 47 variable-sensitivity-dependence-graph-01
d d rwxr-xr-x 47 variable-sensitivity-dependence-graph-02
d d rwxr-xr-x 47 variable-sensitivity-dependence-graph-merge
d d rwxr-xr-x 73 variable-sensitivity-dependence-graph-simplified
d d rwxr-xr-x 83 variable-sensitivity-dependence-graph-toyota
d d rwxr-xr-x 47 variable-sensitivity-dependence-graph15
d d rwxr-xr-x 47 variable-sensitivity-dependence-graph16
d d rwxr-xr-x 47 variable-sensitivity-dependence-graph17
d d rwxr-xr-x 47 variable-sensitivity-floating-point-simplification
d d rwxr-xr-x 47 variable-sensitivity-function-call
d d rwxr-xr-x 47 variable-sensitivity-interval-values
d d rwxr-xr-x 47 variable-sensitivity-interval-values-arith-01
d d rwxr-xr-x 47 variable-sensitivity-interval-values-arith-02
d d rwxr-xr-x 47 variable-sensitivity-interval-values-arith-03
d d rwxr-xr-x 47 variable-sensitivity-interval-values-complex-structures
d d rwxr-xr-x 47 variable-sensitivity-interval-values-float
d d rwxr-xr-x 47 variable-sensitivity-interval-values-logical-01
d d rwxr-xr-x 47 variable-sensitivity-interval-values-mixed-float-bool
d d rwxr-xr-x 47 variable-sensitivity-interval-values-multiplication-01
d d rwxr-xr-x 47 variable-sensitivity-interval-values-multiplication-02
d d rwxr-xr-x 65 write-stack-types
- - rw-r--r-- 56 CMakeLists.txt
- - rw-r--r-- 289 Makefile