updated DNS module and fixed a bug in IPv6 header creation when libpcap header is not present.

[bhudson33]

updated DNS module and fixed a bug in IPv6 header creation when libpcap header is not present.

[sonatype-lift]

Persistent Bugs or Warnings (81)

Infer

1. DEAD_STORE
   • At src/dhcp.c(950,5)
   • The value written to &pkt_ptr (type unsigned char const *) is never used.
2. DEAD_STORE
   • At src/ipfix.c(456,5)
   • The value written to &ptr (type void*) is never used.
3. DEAD_STORE
   • At src/joy.c(1093,9)
   • The value written to &fc_cnt (type int) is never used.
4. DEAD_STORE
   • At src/p2f.c(1528,13)
   • The value written to &compact_array (type unsigned int const *) is never used.
5. DEAD_STORE
   • At src/p2f.c(1054,17)
   • The value written to &comma (type unsigned char) is never used.
6. DEAD_STORE
   • At src/parson.c(1104,5)
   • The value written to &written (type int) is never used.
7. DEAD_STORE
   • At src/parson.c(1826,5)
   • The value written to &status (type int) is never used.
8. DEAD_STORE
   • At src/parson.c(1041,5)
   • The value written to &written (type int) is never used.
9. DEAD_STORE
   • At src/parson.c(1529,5)
   • The value written to &written (type int) is never used.
10. DEAD_STORE
    • At src/parson.c(1589,5)
    • The value written to &written (type int) is never used.
11. DEAD_STORE
    • At src/parson.c(1024,17)
    • The value written to &buf (type char*) is never used.
12. DEAD_STORE
    • At src/parson.c(910,5)
    • The value written to &written (type int) is never used.
13. DEAD_STORE
    • At src/parson.c(1564,5)
    • The value written to &serialization_result (type int) is never used.
14. DEAD_STORE
    • At src/parson.c(1624,5)
    • The value written to &serialization_result (type int) is never used.
15. DEAD_STORE
    • At src/parson.c(1941,5)
    • The value written to &schema_type (type int) is never used.

[sonatype-lift]

Muse Analysis Complete

Analysis tools: [ Infer ] run on commits [ 73c81bc .. 89c6d90 ]

[sonatype-lift]

Persistent Bugs or Warnings (81)

Infer

1. DEAD_STORE
   • At src/dhcp.c(950,5)
   • The value written to &pkt_ptr (type unsigned char const *) is never used.
2. DEAD_STORE
   • At src/ipfix.c(456,5)
   • The value written to &ptr (type void*) is never used.
3. DEAD_STORE
   • At src/joy.c(1093,9)
   • The value written to &fc_cnt (type int) is never used.
4. DEAD_STORE
   • At src/p2f.c(1528,13)
   • The value written to &compact_array (type unsigned int const *) is never used.
5. DEAD_STORE
   • At src/p2f.c(1054,17)
   • The value written to &comma (type unsigned char) is never used.
6. DEAD_STORE
   • At src/parson.c(1104,5)
   • The value written to &written (type int) is never used.
7. DEAD_STORE
   • At src/parson.c(1826,5)
   • The value written to &status (type int) is never used.
8. DEAD_STORE
   • At src/parson.c(1041,5)
   • The value written to &written (type int) is never used.
9. DEAD_STORE
   • At src/parson.c(1529,5)
   • The value written to &written (type int) is never used.
10. DEAD_STORE
    • At src/parson.c(1589,5)
    • The value written to &written (type int) is never used.
11. DEAD_STORE
    • At src/parson.c(1024,17)
    • The value written to &buf (type char*) is never used.
12. DEAD_STORE
    • At src/parson.c(910,5)
    • The value written to &written (type int) is never used.
13. DEAD_STORE
    • At src/parson.c(1564,5)
    • The value written to &serialization_result (type int) is never used.
14. DEAD_STORE
    • At src/parson.c(1624,5)
    • The value written to &serialization_result (type int) is never used.
15. DEAD_STORE
    • At src/parson.c(1941,5)
    • The value written to &schema_type (type int) is never used.

[sonatype-lift]

Muse Analysis Complete

Analysis tools: [ Infer ] run on commits [ bcc60c6 .. 89c6d90 ]