/FreeRTOS-Plus-TCP-v3.1.0/.github/workflows/ |
HD | release.yml | 1 name: Release automation 15 name: Tag commit 18 - name: Checkout code 22 - name: Configure git identity 24 git config --global user.name ${{ github.actor }} 26 - name: create a new branch that references commit id 28 - name: Generate SBOM 33 - name: commit SBOM file 38 - name: Tag Commit and Push to remote 42 - name: Verify tag on remote [all …]
|
HD | ci.yml | 1 name: CI Checks 14 - name: Clone This Repo 18 - name: Build 28 - name: Test 33 - name: Coverage 37 - name: Check Coverage 45 - name: Checkout Parent Repo 51 - name: Clone This Repo 55 - name: Install spell 59 - name: Check spelling [all …]
|
HD | uncrustify.yml | 1 name: Uncrustify the source code 9 name: Run_Uncrustify 13 - name: Dump GitHub context 17 - name: get pullrequest url 20 - name: get upstream repo 23 …echo "::set-output name=RemoteRepo::$(curl -H "Accept: application/vnd.github.sailor-v-preview+jso… 24 - name: get upstream branch 27 …echo "::set-output name=branchname::$(curl -H "Accept: application/vnd.github.sailor-v-preview+jso… 28 - name: echo upstream repo:branch 31 - name: Checkout upstream repo [all …]
|
/FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
HD | FreeRTOS_DNS_Globals.h | 57 /** @brief If the top two bits in the first character of a name field are set then the 58 * name field is an offset to the string, rather than the string itself. */ 93 #define dnsNBNS_NAME_FLAGS 0x6000U /**< NBNS name flags. */ 94 #define dnsNBNS_ENCODED_NAME_LENGTH 32 /**< NBNS encoded name length. */ 96 /** @brief If the queried NBNS name matches with the device's name, 113 /* The Link-local Multicast Name Resolution (LLMNR) 130 #define ipNBNS_PORT 137 /* NetBIOS Name Service. */ 154 uint16_t usAuthorityRRs; /**< Authoritative name server resource records. */ 165 uint8_t ucNameCode; /**< Name type. */ 166 …uint8_t ucNameOffset; /**< The name is not repeated in the answer, only the offset is given with … [all …]
|
HD | FreeRTOS_DNS.h | 55 * Inspect a NetBIOS Names-Service message. If the name matches with ours 57 * Note that LLMNR is a better protocol for name services on a LAN as it is
|
HD | FreeRTOS_DHCP.h | 53 #define dhcpSERVER_HOST_NAME_LENGTH 64 /**< Server host name length. */ 54 #define dhcpBOOT_FILE_NAME_LENGTH 128 /**< Boot file name length. */ 73 #define dhcpIPv4_DNS_SERVER_OPTIONS_CODE ( 6U ) /**< Domain name server. See RFC 213… 74 #define dhcpIPv4_DNS_HOSTNAME_OPTIONS_CODE ( 12U ) /**< Host name. See RFC 2132. */
|
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ |
HD | run-cbmc-proofs.py | 39 for proof in $(find . -name cbmc-batch.yaml); do 79 "flags": ["--project-name"], 80 "metavar": "NAME", 82 "help": "Project name for report. Default: %(default)s", 116 proof_name = str(pathlib.Path(root).name) 168 # Neither the harness name nor the proof directory is unique enough, 181 "--pipeline-name", proof_name, 195 "--pipeline-name", proof_name, 210 "--pipeline-name", proof_name, 222 "--pipeline-name", proof_name, [all …]
|
HD | make_configuration_directories.py | 69 The key is later taken as the name for the configuration subdirectory 111 configname = [name for name in config.keys() 112 if name != "EXPECTED"][0]
|
HD | make_proof_makefiles.py | 165 for name, value in data.items(): 169 new_value.append(compute(item, so_far, system, name, dyr, True)) 170 makefile[name] = " ".join(new_value) 172 makefile[name] = compute(value, so_far, system, name, dyr)
|
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ThirdParty/MSP432/ |
HD | NetworkMiddleware.c | 49 /* Holds the device name used for LLMNR */ 62 /* Call this function before starting the scheduler and after the MAC address and device name has … 66 /* setup a device name */ in vPublicSetupFreeRTOSTasks() 265 * Function that returns pdTRUE if the pcName matches the LLMNR node name */ 278 * Hook to return a human-readable name */ 281 const char * name; in pcApplicationHostnameHook() local 283 name = DEV_NAME; in pcApplicationHostnameHook() 284 return name; in pcApplicationHostnameHook() 288 /* Call this function to assign a device name before the stack is up */
|
HD | README.md | 19 | Task Name | Purpose … 29 | Task Name | Purpose … 69 Set the device name using vPublicSetupDeviceName()
|
/FreeRTOS-Plus-TCP-v3.1.0/source/ |
HD | FreeRTOS_DNS_Parser.c | 53 * @brief Read the Name field out of a DNS response packet. 57 * @param[out] pcName: The pointer in which the name in the DNS response will be returned. 60 * @return If a fully formed name was found, then return the number of bytes processed in pucByte. 81 /* Determine if the name is the fully coded name, or an offset to the name in DNS_ReadNameField() 97 /* 'uxIndex' points to the full name. Walk over the string. */ in DNS_ReadNameField() 142 /* Confirm that a fully formed name was found. */ in DNS_ReadNameField() 168 * @brief Simple routine that jumps over the NAME field of a resource record. 187 /* Determine if the name is the fully coded name, or an offset to the name in DNS_SkipNameField() 203 /* pucByte points to the full name. Walk over the string. */ in DNS_SkipNameField() 222 /* Confirm that a fully formed name was found. */ in DNS_SkipNameField() [all …]
|
HD | FreeRTOS_DNS_Cache.c | 57 … char pcName[ ipconfigDNS_CACHE_NAME_LENGTH ]; /*!< The name of the host */ 98 * @param pcHostName the lookup name 117 * @param pcName the lookup name 148 * @param[in] pcName: the name of the host
|
/FreeRTOS-Plus-TCP-v3.1.0/ |
HD | manifest.yml | 1 name : "FreeRTOS-Plus-TCP" 6 - name: "FreeRTOS-Kernel"
|
/FreeRTOS-Plus-TCP-v3.1.0/docs/doxygen/ |
HD | config.doxyfile | 31 # project for which the documentation is generated. This name is used in the 117 # following values are used ($name is automatically replaced with the name of 118 # the entity):The $name class, The $name widget, The $name file, is, provides, 121 ABBREVIATE_BRIEF = "The $name class" \ 122 "The $name widget" \ 123 "The $name file" \ 149 # before files name in the file list and in the header files. If set to NO the 150 # shortest path that makes the file name unique will be used 169 # header file to include in order to use a class. If left blank only the name of 251 # name=value [all …]
|
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ReadNameField/ |
HD | Makefile.json | 13 # This is the size of the buffer into which the name is copied. 21 # should be min of buffer size and name size 28 # should be min of buffer size and name size
|
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/cmock/ |
HD | create_test.cmake | 52 add_test(NAME ${test_name} 88 # @param mock_name: name of the target name
|
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Cache/ |
HD | FreeRTOS_DNS_Cache_utest.c | 97 * @brief catch assertion on name being non-NULL. 257 char * name = mktemp( template ); in test_processDNS_CACHE_exceed_host_entry_limit() local 258 memcpy( hosts, name, ipconfigDNS_CACHE_ENTRIES ); in test_processDNS_CACHE_exceed_host_entry_limit() 279 * @brief Exceeding dns name limit
|
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/ |
HD | FreeRTOS_DNS_Parser_utest.c | 132 ret = DNS_ReadNameField( pucByte, 0, "name", 4 ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes() 137 * @brief ensures that if the dns name is dnsNAME_IS_OFFSET and the source 148 ret = DNS_ReadNameField( pucByte, 2, "name", 4 ); in test_DNS_ReadNameField_fail_offset_dns_name() 154 * @brief ensures that if the dns name is dnsNAME_IS_OFFSET and the source 166 ret = DNS_ReadNameField( pucByte, 8, "name", 234 ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16() 172 * @brief ensures when the next name field size is zero, zero is returned 183 ret = DNS_ReadNameField( pucByte, 300, "name", 234 ); in test_DNS_ReadNameField_zero_size_walk_over_nothing_to_do() 189 * @brief ensures when the name is 8 bytes 10 is returned . + '\0', and the name 209 * @brief ensures when the name is 8 bytes and the size passed is smaller 256 * total string name field, zero is returned and the string is truncated i [all …]
|
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/RX/ |
HD | ether_callback.c | 21 * File Name : ether_callback.c 57 * Function Name: callback_ether 93 * Function Name: callback_ether 130 * Function Name: callback_wakeon_lan 147 * Function Name: callback_link_on 165 * Function Name: callback_link_off
|
HD | NetworkInterface.c | 21 * File Name : NetworkInterface.c 112 * Function Name: xNetworkInterfaceInitialise () 158 * Function Name: xNetworkInterfaceOutput () 203 * Function Name: prvEMACDeferredInterruptHandlerTask () 373 * Function Name: vNetworkInterfaceAllocateRAMToBuffers () 395 * Function Name: prvLinkStatusChange () 410 * Function Name: InitializeNetwork () 466 * Function Name: SendData () 510 * Function Name: EINT_Trig_isr
|
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
HD | cbmc-viewer.json | 7 "proof-name": "DNSgetHostByName",
|
/FreeRTOS-Plus-TCP-v3.1.0/.github/ISSUE_TEMPLATE/ |
HD | config.yml | 3 - name: FreeRTOS Community Support Forum
|
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
HD | cbmc-viewer.json | 11 "proof-name": "DNSgetHostByName_a",
|
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
HD | cbmc-viewer.json | 14 "proof-name": "DHCPProcess",
|