1. 2023. addr2line. https://man7.org/linux/man-pages/man1/addr2line.1.html. 2023. addr2line. https://man7.org/linux/man-pages/man1/addr2line.1.html.
2. 2023. GNU core utilities. https://www.gnu.org/software/coreutils/. 2023. GNU core utilities. https://www.gnu.org/software/coreutils/.
3. 2023. Leveldb - An open-source on-disk key-value store. https://en.wikipedia.org/wiki/LevelDB. 2023. Leveldb - An open-source on-disk key-value store. https://en.wikipedia.org/wiki/LevelDB.
4. 2023. Linux Userfaultfd. https://www.kernel.org/doc/html/latest/admin-guide/mm/userfaultfd.html. 2023. Linux Userfaultfd. https://www.kernel.org/doc/html/latest/admin-guide/mm/userfaultfd.html.
5. 2023. Memcached - Free open source high-performance distributed memory object caching system. https://memcached.org/. 2023. Memcached - Free open source high-performance distributed memory object caching system. https://memcached.org/.