Fixing doxygen comments (#728)

* updating doxygen config

* fixing doxygen comments

* adding IPv6 files and fixing comments

* fix doxygen cfg and file names in comments

* wip doxygen v6 docs

* adding doxygen comments

* include RA src file to doxgendocs generation

* fix spell check issues

* Uncrustify: triggered by comment.

* fix minor build issue

* fix spell check issues

* Uncrustify: triggered by comment

* fix trailing white space

* Dev integration hein.v8 (#738)

* Updating tcp utilities

* Some more change in dev_integration_hein.v8

* In FreeRTOS_DNS_Parser.c : use 'ipUDP_PAYLOAD_OFFSET_IPv4' in stead of 'ipIP_PAYLOAD_OFFSET'

* And a few more corrections

* Changes to WinPCap network interface, removed debugging code

* After applying uncrustify

* Oops, I forgot the push changes in include files.

* Now removing it, hopefully

---------

Co-authored-by: Nikhil Kamath <[email protected]>
Co-authored-by: Monika Singh <[email protected]>

* Fix CBMC proofs for DNS (#718)

* Use CBMC XML output to enable VSCode debugger (#673)

Prior to this commit, CBMC would emit logging information in plain text
format, which does not contain information required for the CBMC VSCode
debugger. This commit makes CBMC use XML instead of plain text.

Co-authored-by: Mark Tuttle <[email protected]>

* wip

* wip DNSgetHostByName

* wip DNSgetHostByName

* fixed cbmc proof for DNS_ReadNameField

* wip DNSgetHostByName_a_harness

* Fix CBMC prooff for DNSgetHostByName

* wip fix DNSgetHostByName_a CBMC proof

* fixed cbmc target func not called issue in DNSclear

* fixed cbmc target func not called issue in DNSlookup

* fix DNSgetHostByName_a CBMC proof

* update comments

* more asserts

* fixing formatting

* updating as per review comments

* fix dns after review comments

* adding more asserts

* adds more asserts

* minor fix

* fixing comments

* fixing comments

* fixing minor issue

* fixing DNS_ReadReply() signature

* making code more consistant

* adding more  asserts

* making code more consistent

---------

Co-authored-by: Kareem Khazem <[email protected]>
Co-authored-by: Mark Tuttle <[email protected]>

* Uncrustify: triggered by comment

* fixing formatting

---------

Co-authored-by: GitHub Action <[email protected]>
Co-authored-by: Hein Tibosch <[email protected]>
Co-authored-by: Nikhil Kamath <[email protected]>
Co-authored-by: Monika Singh <[email protected]>
Co-authored-by: Kareem Khazem <[email protected]>
Co-authored-by: Mark Tuttle <[email protected]>

Author: 7 people

.github/lexicon.txt

@@ -211,6 +211,7 @@ earpcachehit
 earpcachemiss
 earpgetcacheentry
 earpgetcacheentrybymac
+earpprocesspacket
 earptimerevent
 ec
 ecantsendpacket
@@ -240,7 +241,6 @@ eestablished
 eevent
 eeventtype
 eexpectedstate
-eexpectedstate
 eframeconsumed
 eg
 egetlinklayeraddress
@@ -300,6 +300,7 @@ esocketsetdeleteevent
 esocketsignalevent
 espressif
 estacktxevent
+estatus
 esuccess
 etcpacceptevent
 etcpnetstat
@@ -900,7 +901,6 @@ pxendpoint
 pxevent
 pxeventbits
 pxfrom
-pxfrom
 pxgatewayaddress
 pxgetnetworkbuffer
 pxgetnetworkbufferwithdescriptor
@@ -918,11 +918,14 @@ pxinfo
 pxinterface
 pxip
 pxipaddress
+pxipaddressfrom
+pxipaddressto
 pxipheader
 pxippacket
 pxiswaitingforarpresolution
 pxiterator
 pxlastaddress
+pxleft
 pxlength
 pxlist
 pxlistfindlistitemwithvalue
@@ -932,6 +935,7 @@ pxmacaddress
 pxmessage
 pxnetprefix
 pxnetworkbuffer
+pxnetworkendpoints
 pxnetworkinterface
 pxnewlistitem
 pxnewsocket
@@ -1219,7 +1223,6 @@ uclinklayeripaddress
 ucmacaddress
 ucmaxresponsetime
 ucmessagetype
-ucmessagetype
 ucmywinscalefactor
 ucname
 ucnamecode
@@ -1427,6 +1430,7 @@ usdnstype
 usduidtype
 uselapsedtime
 userdaata
+usexpected
 usflags
 usflowlabel
 usfragmentoffset
@@ -1443,6 +1447,7 @@ usinitmss
 uslength
 uslifetime
 uslocalport
+usmask
 usmss
 usmssinit
 usnbflags
@@ -1473,6 +1478,7 @@ usurgent
 usvalue
 uswindow
 utf
+util
 uuid
 uxaddresslength
 uxarpclashcounter
@@ -1494,6 +1500,7 @@ uxflags
 uxfront
 uxgetminimumipqueuespace
 uxhead
+uxheaderbytes
 uxheaderlength
 uxhostlen
 uxhosttype
@@ -1531,6 +1538,7 @@ uxpayloadsize
 uxprefixlength
 uxprotocolheaderlength
 uxptr
+uxreloadtime
 uxremainingbytes
 uxremainingtime
 uxremaningtime
@@ -1552,7 +1560,6 @@ uxtail
 uxtargetindex
 uxtaskgetsystemstate
 uxtickstowait
-uxtickstowait
 uxtimeout
 uxtimeoutstate
 uxtotaldatalength
@@ -1658,6 +1665,7 @@ xboundsocketlistitem
 xboundtcpsocketslist
 xboundudpsocketslist
 xbroadcastmacaddress
+xbuffer
 xbufferlength
 xbufferlistitem
 xbytecount
@@ -1670,7 +1678,6 @@ xclientsocket
 xcolon
 xconnected
 xcount
-xcount
 xcurlength
 xcurstart
 xdatalength
@@ -1856,6 +1863,7 @@ xsizewithoutdata
 xsocket
 xsocketbits
 xsocketset
+xsocketvalid
 xsource
 xsourceaddress
 xstatus