Skip to content

[CHERI CSA] Multiple pointer alignment warnings in dns.cc #73

New issue
New issue
Open
Open
[CHERI CSA] Multiple pointer alignment warnings in dns.cc#73
@resistor

Description

@resistor
resistor
opened on Jul 31, 2025

These could be false positives!

---
MainSourceFile:  '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
Diagnostics:
  - DiagnosticName:  clang-analyzer-optin.portability.PointerAlignment
    DiagnosticMessage:
      Message:         'Pointer value aligned to a 1 byte boundary cast to type ''uint16_t * __capability'' with 2-byte alignment'
      FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
      FileOffset:      24971
      Replacements:    []
    Notes:
      - Message:         'Original allocation of type ''unsigned char[16]'' has an alignment requirement 1 byte'
        FilePath:        'include/NetAPI.h'
        FileOffset:      517
        Replacements:    []
        Ranges:
          - FilePath:        'include/NetAPI.h'
            FileOffset:      517
            Length:          4
      - Message:         Assuming the condition is true
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      29082
        Replacements:    []
        Ranges:
          - FilePath:        ''
            FileOffset:      0
            Length:          0
      - Message:         'expanded from macro ''CHERIOT_DURING'''
        FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
        FileOffset:      2204
        Replacements:    []
        Ranges:
          - FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
            FileOffset:      2204
            Length:          34
      - Message:         Taking true branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      29082
        Replacements:    []
      - Message:         'expanded from macro ''CHERIOT_DURING'''
        FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
        FileOffset:      2200
        Replacements:    []
      - Message:         'Control jumps to ''case IPv4:''  at line 944'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      29371
        Replacements:    []
      - Message:         'Assuming field ''protocol'' is equal to UDP'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      29876
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      29876
            Length:          45
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      29872
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      30294
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      30294
            Length:          54
      - Message:         'Left side of ''&&'' is false'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      30350
        Replacements:    []
      - Message:         Assuming the condition is true
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      30599
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      30599
            Length:          48
      - Message:         Taking true branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      30595
        Replacements:    []
      - Message:         'Calling ''process_incoming_dns_packet'''
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      30658
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      30658
            Length:          107
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      19559
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      19559
            Length:          26
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      19555
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      19866
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      19866
            Length:          31
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      19862
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      20021
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      20021
            Length:          76
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      20017
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      20620
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      20620
            Length:          30
      - Message:         'Left side of ''||'' is false'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      20620
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      20654
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      20654
            Length:          30
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      20616
        Replacements:    []
      - Message:         Loop condition is true.  Entering loop body
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      21992
        Replacements:    []
      - Message:         'Assuming ''nameLength'' is >= 0'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22229
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      22229
            Length:          14
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22225
        Replacements:    []
      - Message:         '''isQuestion'' is true'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22306
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      22306
            Length:          10
      - Message:         Taking true branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22302
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22474
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      22474
            Length:          30
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22470
        Replacements:    []
      - Message:         Loop condition is true.  Entering loop body
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      21992
        Replacements:    []
      - Message:         'Assuming ''nameLength'' is >= 0'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22229
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      22229
            Length:          14
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22225
        Replacements:    []
      - Message:         '''isQuestion'' is false'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22306
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      22306
            Length:          10
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22302
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22727
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      22727
            Length:          29
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22723
        Replacements:    []
      - Message:         'Assuming ''type'' is not equal to ''DNSRecordTypeA'''
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22870
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      22870
            Length:          22
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22866
        Replacements:    []
      - Message:         'Assuming ''type'' is equal to ''DNSRecordTypeAAAA'''
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22945
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      22945
            Length:          25
      - Message:         Taking true branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      22941
        Replacements:    []
      - Message:         ' Execution continues on line 755'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      23023
        Replacements:    []
      - Message:         '''valid'' is true'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      23516
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      23516
            Length:          5
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      23511
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      23700
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      23700
            Length:          30
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      23696
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      23845
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      23845
            Length:          76
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      23841
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24171
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      24171
            Length:          35
      - Message:         'Left side of ''||'' is false'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24171
        Replacements:    []
      - Message:         '''isIPv6'' is true'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24218
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      24218
            Length:          6
      - Message:         'Left side of ''&&'' is false'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24225
        Replacements:    []
      - Message:         '''isIPv6'' is true'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24249
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      24249
            Length:          6
      - Message:         'Left side of ''&&'' is true'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24249
        Replacements:    []
      - Message:         'Assuming ''ipLength'' is equal to 16'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24260
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      24260
            Length:          14
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24167
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24582
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      24582
            Length:          42
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24578
        Replacements:    []
      - Message:         '''isIPv6'' is true'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24884
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      24884
            Length:          6
      - Message:         Taking true branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24880
        Replacements:    []
      - Message:         'Pointer value aligned to a 1 byte boundary cast to type ''uint16_t * __capability'' with 2-byte alignment'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      24971
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      24971
            Length:          50
    Level:           Warning
    BuildDirectory:  '/Users/resistor/Documents/network-stack'
  - DiagnosticName:  clang-analyzer-optin.portability.PointerAlignment
    DiagnosticMessage:
      Message:         'Pointer value aligned to a 1 byte boundary cast to type ''uint16_t * __capability'' with 2-byte alignment'
      FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
      FileOffset:      34918
      Replacements:    []
      Ranges:
        - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
          FileOffset:      34918
          Length:          50
    Notes:
      - Message:         'Original allocation of type ''unsigned char[16]'' has an alignment requirement 1 byte'
        FilePath:        'include/NetAPI.h'
        FileOffset:      517
        Replacements:    []
        Ranges:
          - FilePath:        'include/NetAPI.h'
            FileOffset:      517
            Length:          4
      - Message:         Assuming the condition is true
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32488
        Replacements:    []
        Ranges:
          - FilePath:        ''
            FileOffset:      0
            Length:          0
      - Message:         'expanded from macro ''CHERIOT_DURING'''
        FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
        FileOffset:      2204
        Replacements:    []
        Ranges:
          - FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
            FileOffset:      2204
            Length:          34
      - Message:         Taking true branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32488
        Replacements:    []
      - Message:         'expanded from macro ''CHERIOT_DURING'''
        FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
        FileOffset:      2200
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32927
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      32927
            Length:          27
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32923
        Replacements:    []
      - Message:         'Assuming ''length'' is not equal to 0'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32983
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      32983
            Length:          11
      - Message:         'Left side of ''||'' is false'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32982
        Replacements:    []
      - Message:         'Assuming ''length'' is <= ''maxLength'''
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33000
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      33000
            Length:          18
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32978
        Replacements:    []
      - Message:         Loop condition is true.  Entering loop body
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33192
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33274
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      33274
            Length:          112
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33270
        Replacements:    []
      - Message:         ' Execution continues on line 1063'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33518
        Replacements:    []
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33534
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33952
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      33952
            Length:          36
      - Message:         'Left side of ''&&'' is false'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33990
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      34111
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      34111
            Length:          36
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      34107
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      34215
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      34215
            Length:          38
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      34211
        Replacements:    []
      - Message:         'Assuming field ''kind'' is not equal to AddressKindIPv4'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      34450
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      34450
            Length:          51
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      34446
        Replacements:    []
      - Message:         'Pointer value aligned to a 1 byte boundary cast to type ''uint16_t * __capability'' with 2-byte alignment'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      34918
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      34918
            Length:          50
    Level:           Warning
    BuildDirectory:  '/Users/resistor/Documents/network-stack'
  - DiagnosticName:  clang-analyzer-optin.portability.PointerAlignment
    DiagnosticMessage:
      Message:         'Pointer value aligned to a 1 byte boundary cast to type ''const uint16_t * __capability'' with 2-byte alignment'
      FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/protocol-headers.hh'
      FileOffset:      1388
      Replacements:    []
    Notes:
      - Message:         'Original allocation of type ''struct IPv4Header'' has an alignment requirement 1 byte'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      1949
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      1949
            Length:          4
      - Message:         Assuming the condition is true
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32488
        Replacements:    []
        Ranges:
          - FilePath:        ''
            FileOffset:      0
            Length:          0
      - Message:         'expanded from macro ''CHERIOT_DURING'''
        FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
        FileOffset:      2204
        Replacements:    []
        Ranges:
          - FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
            FileOffset:      2204
            Length:          34
      - Message:         Taking true branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32488
        Replacements:    []
      - Message:         'expanded from macro ''CHERIOT_DURING'''
        FilePath:        '../cheriot-rtos/sdk/include/unwind.h'
        FileOffset:      2200
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32927
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      32927
            Length:          27
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32923
        Replacements:    []
      - Message:         'Assuming ''length'' is not equal to 0'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32983
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      32983
            Length:          11
      - Message:         'Left side of ''||'' is false'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32982
        Replacements:    []
      - Message:         'Assuming ''length'' is <= ''maxLength'''
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33000
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      33000
            Length:          18
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      32978
        Replacements:    []
      - Message:         Loop condition is true.  Entering loop body
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33192
        Replacements:    []
      - Message:         Assuming the condition is false
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33274
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      33274
            Length:          112
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33270
        Replacements:    []
      - Message:         ' Execution continues on line 1063'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33518
        Replacements:    []
      - Message:         Taking false branch
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33534
        Replacements:    []
      - Message:         'Calling ''perform_dns_lookup'''
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      33889
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      33889
            Length:          54
      - Message:         '''maxRetries'' is > 0'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      26712
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      26712
            Length:          10
      - Message:         'Left side of ''&&'' is true'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      26711
        Replacements:    []
      - Message:         Loop condition is true.  Entering loop body
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      26663
        Replacements:    []
      - Message:         'Calling ''send_dns_query'''
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      26967
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      26967
            Length:          41
      - Message:         'Calling ''compute_ipv4_checksum'''
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
        FileOffset:      8461
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/dns.cc'
            FileOffset:      8461
            Length:          90
      - Message:         Loop condition is true.  Entering loop body
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/protocol-headers.hh'
        FileOffset:      1356
        Replacements:    []
      - Message:         'Pointer value aligned to a 1 byte boundary cast to type ''const uint16_t * __capability'' with 2-byte alignment'
        FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/protocol-headers.hh'
        FileOffset:      1388
        Replacements:    []
        Ranges:
          - FilePath:        '/Users/resistor/Documents/network-stack/lib/dns/protocol-headers.hh'
            FileOffset:      1388
            Length:          42
    Level:           Warning
    BuildDirectory:  '/Users/resistor/Documents/network-stack'
...

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions