File: example-7.xml

package info (click to toggle)
python-firehose 0.5-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 1,208 kB
  • sloc: python: 2,587; xml: 1,388; makefile: 150; ansic: 34
file content (85 lines) | stat: -rw-r--r-- 2,925 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
 
<?xml version="1.0" encoding="UTF-8"?>
<analysis>
   <metadata>
      <generator name="frama-c" />
   </metadata>
   <results>
      <issue>
         <message>Body of function foo falls-through. Adding a return statement</message>
         <location>
            <file given-path="new.c" />
            <point column="0" line="13" />
         </location>
      </issue>
      <issue>
         <message>def\'n of func main at new.c:3 (sum 1081) conflicts with the one at main.c:10 (sum 1879968716785197); keeping the one at main.c:10.</message>
         <location>
            <file given-path="new.c" />
            <point column="0" line="3" />
         </location>
      </issue>
      <issue>
         <message>accessing out of bounds index [0..64]. assert sq64 &amp;lt; 64;</message>
         <location>
            <file given-path="init.c" />
            <point column="0" line="96" />
         </location>
      </issue>
      <issue>
         <message>accessing out of bounds index [0..120]. assert Sq64ToSq120[index] &amp;lt; 120;</message>
         <location>
            <file given-path="board.c" />
            <point column="0" line="235" />
         </location>
      </issue>
      <issue>
         <message>accessing uninitialized left-value: assert \\initialized(&amp;table-&amp;gt;pTable);</message>
         <location>
            <file given-path="pvtable.c" />
            <point column="0" line="50" />
         </location>
      </issue>
      <issue>
         <message>completely indeterminate value in board with offsets {402400}.</message>
         <location>
            <file given-path="pvtable.c" />
            <point column="0" line="50" />
         </location>
      </issue>
      <issue>
         <message>no final state. Probably unreachable...</message>
         <location>
            <file given-path="main.c" />
            <point column="0" line="54" />
         </location>
      </issue>
      <issue>
         <message>no final state. Probably unreachable...</message>
         <location>
            <file given-path="pvtable.c" />
            <point column="0" line="56" />
         </location>
      </issue>
      <issue>
         <message>no final state. Probably unreachable...</message>
         <location>
            <file given-path="board.c" />
            <point column="0" line="223" />
         </location>
      </issue>
      <issue>
         <message>no final state. Probably unreachable...</message>
         <location>
            <file given-path="board.c" />
            <point column="0" line="268" />
         </location>
      </issue>
      <issue>
         <message>No code nor explicit assigns clause for function gettimeofday, generating default assigns from the specification</message>
         <location>
            <file given-path="new.c" />
            <point column="0" line="14" />
         </location>
      </issue>
   </results>
</analysis>