Статический анализатор для C/C++, основанный на теории абстрактной интерпретации.
https://www.libhunt.com/r/ikos
https://www.libhunt.com/r/ikos
Libhunt
Ikos Alternatives and Reviews (Dec 2022)
Which is the best alternative to ikos? Based on common mentions it is: ✅Ardupilot, ✅JonathanSalwan/Triton, ✅Cppbestpractices or ✅IntegerAbsoluteDifferenceCpp
Algorithms + Data Structures = Programs: Эпизод 72 — семейная вражда алгоритмов C++.
https://adspthepodcast.com/2022/04/08/Episode-72.html
https://adspthepodcast.com/2022/04/08/Episode-72.html
ADSP: The Podcast
Episode 72: C++ Algorithm Family Feud!
In this episode, Bryce and Conor play C++ Algorithm Family Feud!Twitter ADSP: The Podcast Conor Hoekstra Bryce Adelstein LelbachShow NotesDate Recorded: 2...
Видео о том, как я разработал библиотеку C++20 для реализации удаленных вызовов функций с очень небольшим количеством кода.
https://youtu.be/5CttEQ9CJ1A
https://youtu.be/5CttEQ9CJ1A
YouTube
C++ library for remote function calls with as little code as possible (development diary)
A step by step description how I created a C++ library that requires minimum code to make a function remotely callable over the network, with a simple autogenerated GUI in browser.
Github link:
https://github.com/Dugy/bomba
Github link:
https://github.com/Dugy/bomba