| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | History.txt | 4 + Unified code for both IPv4 and IPv6 protocols.
18 + Achieved 100% unit test coverage for both IPv4 and IPv6.
19 + MISRA c-2012 compliance for both IPv4 and IPv6.
21 …+ Memory safety proofs for IPv6 code using[ CBMC automated reasoning tool ] (https://www.cprover.o…
28 3. Code size details for various build configurations
30 4. Documentation added for IPv6 protocol support.
31 …5. Documentation added for various IPv6 functionalities like DHCPv6, ND (Neighbour Discovery), RA …
32 6. README added for the network ports.
34 We thank the following people for their inputs in these enhancements:
35 + Add mDNS fixes for IPv6. Contributed by @evpopov.
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Sockets.h | 19 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
20 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
60 #ifndef TASK_H /* For compatibility with older FreeRTOS versions. */
87 /* Values for the parameters to FreeRTOS_socket(), inline with the Berkeley
88 * standard. See the documentation of FreeRTOS_socket() for more information. */
98 /* Values for xFlags parameter of Receive/Send functions. */
101 … * See the documentation for FreeRTOS_sockets() for more information. */
125 /* Supply pointer to 'F_TCP_UDP_Handler_t' for pvOptionValue parameter in
127 …#define FREERTOS_SO_TCP_CONN_HANDLER ( 6 ) /* Install a callback for (dis) connection events. …
128 … #define FREERTOS_SO_TCP_RECV_HANDLER ( 7 ) /* Install a callback for receiving TCP data. */
[all …]
|
| D | FreeRTOSIPConfigDefaults.h | 19 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
20 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
47 /* This file provides default values for configuration options that are missing
50 /* These macros are used to define away static keyword for CBMC proofs */
56 * happened for a good reason: clarity or consistency.
171 * For other tasks any priority can be chosen.
186 /* Include all API's and code that is needed for the TCP protocol.
207 /* 'ipconfigUSE_TCP_WIN' enables support for TCP sliding windows. When
222 * This is an option used for testing. It is recommended to
230 * For debugging/logging: check if the port number is used for e.g. telnet.
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/lib/ |
| D | summarize.py | 16 """Parse arguments for summarize script."""
18 for arg in [{
29 ret = [len(item) + 1 for item in data[0]]
30 for row in data[1:]:
31 for idx, item in enumerate(row):
38 for max_length_of_word_in_col in max_length_per_column_list:
46 for row in row_data:
48 for idx, word in enumerate(row):
61 for idx, entry in enumerate(entries):
88 for proof_pipeline in run_dict["pipelines"]:
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/ |
| D | config.doxyfile | 4 # doxygen (www.doxygen.org) for a project.
12 # For lists, items can also be appended using:
30 # This tag specifies the encoding used for all characters in the configuration
31 # file that follow. The default is UTF-8 which is also the encoding used for all
33 # iconv built into libc) for the transcoding. See
34 # https://www.gnu.org/software/libiconv/ for the list of possible encodings.
41 # project for which the documentation is generated. This name is used in the
48 # could be handy for archiving the generated documentation or if some version
54 # for a project that appears at the top of each page and should give viewer a
78 # performance problems for the file system. Adapt CREATE_SUBDIRS_LEVEL to
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 19 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
20 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
118 /* Test for prvCheckOptions function. */
123 /* Setup TCP option for tests */ in test_prvCheckOptions_No_Option()
141 /* Test for prvCheckOptions function. */
146 /* Setup TCP option for tests */ in test_prvCheckOptions_Invalid_Data_Length()
165 /* Test for prvCheckOptions function. */
170 /* Setup TCP option for tests */ in test_prvCheckOptions_Invalid_Option_Length()
189 /* Test for prvCheckOptions function. */
194 /* Setup TCP option for tests */ in test_prvCheckOptions_MSS_WSF()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | make_cbmc_batch_files.py | 3 # Generation of the cbmc-batch.yaml files for the CBMC proofs.
19 # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
20 # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
31 for dyr, _, files in os.walk("."):
33 for file in files if file == "cbmc-batch.yaml"]
34 for file in cbmc_batch_files:
42 for dyr, _, files in os.walk("."):
43 harness = [file for file in files if file.endswith("_harness.c")]
|
| D | make_configuration_directories.py | 19 # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
20 # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
42 looking for Configurations.json files. Every found Configurations.json
69 The key is later taken as the name for the configuration subdirectory
72 So for the above script, we get two subdirectories:
76 As an example, the resulting Makefile.json for the
95 These Makefile.json files then can be turned into Makefiles for running
108 for config in def_list:
111 configname = [name for name in config.keys()
117 The expected layout for an entry in the Configurations.json
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ConfigFiles/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
33 /* suppressing the use of _static as it is used for other tools like cbmc */
49 /* Set to 1 to print out non debugging messages, for example the output of the
68 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
74 /* Include support for DNS caching. For TCP, having a small DNS cache is very
103 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
106 * own random number generation method. For example, it might be possible to
126 * free) the network buffers are themselves blocked waiting for a network buffer.
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | readme.md | 1 This is a FreeeRTOS+TCP driver that works for STM32Fxx parts.
46 For instance, you can pass it to the compiler with the `-D` option:
73 Recommended settings for STM32Fxx Network Interface:
95 The best size for `ETH_RXBUFNB` and `ETH_TXBUFNB` depends on the speed of the CPU. These macro's de…
96 for reception and for transmission. In general, if the CPU is very fast, you will need less buffers…
103 Having well aligned buffers is important for CPU with memory cache. Often the caching system divide…
106 Without memory caching, let the size be at least a multiple of 8 ( for DMA ), and make it at least …
114 The linker script must be changed for this, for instance as follows:
138 These files are copied from ST's HAL library. These work both for STM32F4 and STM32F7.
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ConfigFiles/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
54 /* Set to 1 to print out non debugging messages, for example the output of the
73 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
79 /* Include support for DNS caching. For TCP, having a small DNS cache is very
110 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
113 * own random number generation method. For example, it might be possible to
133 * free) the network buffers are themselves blocked waiting for a network buffer.
143 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Enable_IPv6/ |
| D | FreeRTOSIPConfig.h | 17 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
18 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
29 * See the following URL for configuration information.
79 /* Set to 1 to print out non debugging messages, for example the output of the
98 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
104 /* Include support for DNS caching. For TCP, having a small DNS cache is very
133 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
136 * own random number generation method. For example, it might be possible to
156 * free) the network buffers are themselves blocked waiting for a network buffer.
166 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
49 /* Set to 1 to print out non debugging messages, for example the output of the
68 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
74 /* Include support for DNS caching. For TCP, having a small DNS cache is very
105 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
108 * own random number generation method. For example, it might be possible to
128 * free) the network buffers are themselves blocked waiting for a network buffer.
138 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
24 * See the following URL for configuration information.
51 /* Set to 1 to print out non debugging messages, for example the output of the
70 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
76 /* Include support for DNS caching. For TCP, having a small DNS cache is very
107 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
110 * own random number generation method. For example, it might be possible to
130 * free) the network buffers are themselves blocked waiting for a network buffer.
140 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
53 /* Set to 1 to print out non debugging messages, for example the output of the
74 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
80 /* Include support for DNS caching. For TCP, having a small DNS cache is very
111 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
114 * own random number generation method. For example, it might be possible to
134 * free) the network buffers are themselves blocked waiting for a network buffer.
144 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigCompatibleWithSingle/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
57 /* Set to 1 to print out non debugging messages, for example the output of the
78 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
84 /* Include support for DNS caching. For TCP, having a small DNS cache is very
115 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
118 * own random number generation method. For example, it might be possible to
138 * free) the network buffers are themselves blocked waiting for a network buffer.
148 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
49 /* Set to 1 to print out non debugging messages, for example the output of the
68 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
74 /* Include support for DNS caching. For TCP, having a small DNS cache is very
105 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
108 * own random number generation method. For example, it might be possible to
128 * free) the network buffers are themselves blocked waiting for a network buffer.
138 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
49 /* Set to 1 to print out non debugging messages, for example the output of the
68 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
74 /* Include support for DNS caching. For TCP, having a small DNS cache is very
105 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
108 * own random number generation method. For example, it might be possible to
128 * free) the network buffers are themselves blocked waiting for a network buffer.
138 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
51 /* Set to 1 to print out non debugging messages, for example the output of the
70 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
76 /* Include support for DNS caching. For TCP, having a small DNS cache is very
107 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
110 * own random number generation method. For example, it might be possible to
130 * free) the network buffers are themselves blocked waiting for a network buffer.
140 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/AllDisable/ |
| D | FreeRTOSIPConfig.h | 17 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
18 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
29 * See the following URL for configuration information.
45 /* Set to 1 to print out non debugging messages, for example the output of the
64 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
70 /* Include support for DNS caching. For TCP, having a small DNS cache is very
99 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
102 * own random number generation method. For example, it might be possible to
122 * free) the network buffers are themselves blocked waiting for a network buffer.
132 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/ |
| D | FreeRTOSIPConfig.h | 14 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
15 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
25 * See the following URL for configuration information.
47 /* Set to 1 to print out non debugging messages, for example the output of the
66 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
72 /* Include support for DNS caching. For TCP, having a small DNS cache is very
103 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
106 * own random number generation method. For example, it might be possible to
126 * free) the network buffers are themselves blocked waiting for a network buffer.
136 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/AllEnable/ |
| D | FreeRTOSIPConfig.h | 17 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
18 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
29 * See the following URL for configuration information.
76 /* Set to 1 to print out non debugging messages, for example the output of the
95 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
101 /* Include support for DNS caching. For TCP, having a small DNS cache is very
130 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
133 * own random number generation method. For example, it might be possible to
153 * free) the network buffers are themselves blocked waiting for a network buffer.
163 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Enable_IPv4/ |
| D | FreeRTOSIPConfig.h | 17 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
18 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
29 * See the following URL for configuration information.
79 /* Set to 1 to print out non debugging messages, for example the output of the
98 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
104 /* Include support for DNS caching. For TCP, having a small DNS cache is very
133 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
136 * own random number generation method. For example, it might be possible to
156 * free) the network buffers are themselves blocked waiting for a network buffer.
166 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Enable_IPv4_IPv6/ |
| D | FreeRTOSIPConfig.h | 17 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
18 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
29 * See the following URL for configuration information.
79 /* Set to 1 to print out non debugging messages, for example the output of the
98 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
104 /* Include support for DNS caching. For TCP, having a small DNS cache is very
133 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
136 * own random number generation method. For example, it might be possible to
156 * free) the network buffers are themselves blocked waiting for a network buffer.
166 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Enable_IPv4_TCP/ |
| D | FreeRTOSIPConfig.h | 17 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
18 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
29 * See the following URL for configuration information.
79 /* Set to 1 to print out non debugging messages, for example the output of the
98 * performed, for example FreeRTOS_send() and FreeRTOS_recv(). The timeouts can be
104 /* Include support for DNS caching. For TCP, having a small DNS cache is very
133 /* ipconfigRAND32() is called by the IP stack to generate random numbers for
136 * own random number generation method. For example, it might be possible to
156 * free) the network buffers are themselves blocked waiting for a network buffer.
166 * set to 1 if a valid configuration cannot be obtained from a DHCP server for any
[all …]
|
